[sage-devel] Re: SageManifolds: differential geometry and tensor calculus in Sage

2013-07-12 Thread Travis Scrimshaw
Hey, I disagree; both go against OOP concepts and the Lie function too ambiguous to me (for instance, I would probably try Lie(ZZ['x']) and expect to get the Lie algebra of ZZ['x']). Best, Travis On Friday, July 12, 2013 4:04:53 AM UTC+5:30, Eric Gourgoulhon wrote: > > > > Le jeudi 11 juill

[sage-devel] Re: SageManifolds: differential geometry and tensor calculus in Sage

2013-07-11 Thread Eric Gourgoulhon
Le jeudi 11 juillet 2013 21:26:43 UTC+2, mmarco a écrit : > > > It looks very good. Just one remark: i think that the different functions > you define (Lie, xdef...) should be methods better than external functions. > In general, the use seems a bit confuding to me... i would say that it > loo

[sage-devel] Re: SageManifolds: differential geometry and tensor calculus in Sage

2013-07-11 Thread mmarco
It looks very good. Just one remark: i think that the different functions you define (Lie, xdef...) should be methods better than external functions. In general, the use seems a bit confuding to me... i would say that it looks much more mathematica-like than pythonic. -- You received this mes

[sage-devel] Re: SageManifolds: differential geometry and tensor calculus in Sage

2013-07-11 Thread Eric Gourgoulhon
We have just added a tutorial introducing the package at the page: http://sagemanifolds.obspm.fr/documentation.html A mailing list has also been opened: http://sagemanifolds.obspm.fr/contact.html -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To

[sage-devel] Re: SageManifolds: differential geometry and tensor calculus in Sage

2013-07-08 Thread Dox
Thx Michael, I didn't know that feature of sage notebook! -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this

[sage-devel] Re: SageManifolds: differential geometry and tensor calculus in Sage

2013-07-08 Thread Michal Bejger
On Monday, July 8, 2013 4:31:43 PM UTC+2, Dox wrote: > > I'm trying to reproduce the examples in the page, starting with > "Schwarzschild spacetime" > > So far I'm getting the following: > > * When defining a `Chart`, say `X`, t > from manifolds.all import * > M = Manifold(4, 'M', r'M'); M > X =

[sage-devel] Re: SageManifolds: differential geometry and tensor calculus in Sage

2013-07-08 Thread Dox
I'm trying to reproduce the examples in the page, starting with "Schwarzschild spacetime" So far I'm getting the following: * When defining a `Chart`, say `X`, t from manifolds.all import * M = Manifold(4, 'M', r'M'); M X = Chart(M, r't, r:positive, th:positive:\theta, ph:\phi', 'BL') X does not

[sage-devel] Re: SageManifolds: differential geometry and tensor calculus in Sage

2013-07-08 Thread Dox
I just installed SageManifolds package, and tried > sage: Chart? to review the documentation, and the format is not OK, Is it just me or a documentation `bug`? -- You received this message

[sage-devel] Re: SageManifolds: differential geometry and tensor calculus in Sage

2013-07-08 Thread Dox
Impressive work! I started improving my programming skills to try implementing the Hodge star on DifferentialForms, I see you went much further! I'll immediately install the package, working on several examples, and asap start contributing with it! Congratulations! -- You received this mess

[sage-devel] Re: SageManifolds: differential geometry and tensor calculus in Sage

2013-07-08 Thread Eric Gourgoulhon
Le dimanche 7 juillet 2013 10:39:30 UTC+2, vdelecroix a écrit : > > Cool! It looks nice. How do you intend to define a manifold: numerically > (via fine triangulations) or via symbolic expressions? Both? > > At the moment, a manifold is mostly defined as a set of charts with the associated tra

[sage-devel] Re: SageManifolds: differential geometry and tensor calculus in Sage

2013-07-07 Thread Joris Vankerschaver
This is a very nice package! Are you aware of #9439 (hyperbolic geometry) and #10132 (surfaces embedded > in R^3) which are somewhat related? > > As for #10132, I can see the functionality of that patch being subsumed into this package, once the extrinsic manifold geometry has been implemented

[sage-devel] Re: SageManifolds: differential geometry and tensor calculus in Sage

2013-07-07 Thread vdelecroix
Hi, Cool! It looks nice. How do you intend to define a manifold: numerically (via fine triangulations) or via symbolic expressions? Both? Are you aware of #9439 (hyperbolic geometry) and #10132 (surfaces embedded in R^3) which are somewhat related? Best, Vincent -- You received this message