Welcome to Cadabra Q&A, where you can ask questions and receive answers from other members of the community.
0 votes

Dear developers and community in general.

So far, there is a tutorial about the use of differential forms within cadabra, but there is no manual for their related properties.

I've like to know whether it is possible to define forms on a space (or subspace).

Example of desired behaviour

{e^{a}, \omega^{a}_{b}}::DifferentialForm(degree=1, space);

or possibly something like

{e^{a}, \omega^{a}_{b}}::DifferentialForm(degree=1, space);

to denote that $$e^a = e^a_x dx + e^a_y dy,$$ despite the possible values of the indices.


Is something like this implemented?

in General questions by (13.0k points)
edited by

Please log in or register to answer this question.