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/01a20b76-a9b8-41d5-bb5f-3c7fb3ef958e%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
