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?