Differential forms and tensors
Dear all,
A long time ago I was trying to implement a SAGE code for working with Differential Forms with values in a certain Lie algebra, but due to my lack of programming knowledge, I couldn't.
This kind of objects are important for working with non-Abelin gauge theories.
Question
Is it possible to define and work with those objects?
So far there is no reference of it in the manual.
Thank you!
It is possible, of course, its just a matter of figuring out how to do it. The specific algebras you are interested are fairly special. AFAIK these are not implemented in Sage and implementation of tensor algebras is not very deep. I would like to see someone who has experience developing algebraic computations by extending existing Sage classes and using the categories and coercion framework write a tutorial on this.