*sympy.diffgeom* has been inspired by this source: http://groups.csail.mit.edu/mac/users/gjs/6946/calculus-indexed.pdf
The code in that PDF is written in Scheme (a Lisp dialect). I don't know whether you have experience with that programming language, but it's quite hard to read. The module *sympy.diffgeom* can be thought of a kind of translation of the Scheme code into object-oriented Python code. Apparently someone already thought of extending the Scheme code to deal with Lie groups, and did it: http://wmfarr.blogspot.it/2006/06/functional-differential-geometry-in.html I have no idea about this work, anyways. The link to that blogger's code extension looks to be broken. On Saturday, December 27, 2014 12:28:21 PM UTC+1, Joy merwin monteiro wrote: > > Hello, > > I have been looking at the sympy code for a bit, especially the diffgeom > module. > It seems quite comprehensive, and was wondering if there has been thinking > along the lines of creating a Lie Group class which subclasses from > Manifold and Group (? can't > find an abstract class of this type). One could then create various > instances of it, add > a coordinate system and a Lie Algebra to it for computations (analogous to > what is done in diffgeom.rn). > > My motivation for asking this is that Lie group based algorithms are > present in the ode module > and some code is also present in the liealgebra module (though it does > not seem to have an > algorithmic focus), and I felt it would tie things up nicely in terms > of structure. Symmetry methods for differential equations also > conceptualise the DE as a manifold itself, unless I'm mistaken. > In the (distant!) future I would like to contribute some algorithms for > symmetry methods in PDEs, > (which is why I looked at Sympy in the first place), but thought this > would be something more feasible and > will also allow me to familiarise myself with the sympy codebase. > > Look forward to any opinions/suggestions with regards to the feasibility > of something like this. Belated > Xmas wishes to all! > > TIA, > Joy > -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/bb8833fa-0877-433a-ab7f-e935f0e5fdaf%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
