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

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

or possibly something like

{a,b,c}::Indices.
{x,y}::Coordinate(space); 
{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.

Question

Is something like this implemented?

in General questions by (15.1k points)
edited by

Please log in or register to answer this question.

...