[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 juillet

[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-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

[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 looks

[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

[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

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

2013-07-08 Thread Dox
https://lh4.googleusercontent.com/-0IDPoNIN3ko/Udq6gYqcLMI/PEo/Smdr5rsJse8/s1600/SM_doc.png 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
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 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 = Chart(M,

[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-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

[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.