R-module/algebra valued differential forms

asked 2015-07-31 01:50:41 -0600

David Roberts gravatar image

I know one can work with real differential forms using SageManifolds, but what are the chances one can use out of the box code to extend to values in some vector space, or better, algebra? I'm thinking matrix Lie algebras, so one could work quite concretely, rather than over some abstract module.

edit retag flag offensive close merge delete



There's the related question http://ask.sagemath.org/question/9297... which asks specifically for the case of Lie algebra-valued forms.

David Roberts gravatar imageDavid Roberts ( 2015-07-31 02:44:20 -0600 )edit

Yes this would be a nice extension of what is currently available in SageManifolds. Consider it is on the todo list ;-). Note that there is also some development work around Lie algebras http://trac.sagemath.org/ticket/14901, which could be used for this purpose.

eric_g gravatar imageeric_g ( 2015-08-01 04:12:14 -0600 )edit

@eric_g thanks for pointing that out.

David Roberts gravatar imageDavid Roberts ( 2015-08-02 07:43:34 -0600 )edit

@david-roberts Once I try to bypass this issue thinking the other way around... and construct matrices with differential forms as entries.

Dox gravatar imageDox ( 2015-08-04 07:15:50 -0600 )edit