Cadabra manual: DAntiSymmetric

DAntiSymmetric

Gives object the symmetries of the derivative of a fully antisymmetric tensor.

Declares an object to have the symmetries of the derivative of a fully anti-symmetric tensor, i.e. to have a TableauSymmetry corresponding to a hook-shape Young tableau.

DF_{m n p q}::DAntiSymmetric; A_{m n p q}::AntiSymmetric; ex:=DF_{m n p q} A^{m n p q};

\(\displaystyle{}\text{Attached property DAntiSymmetric to }{DF}_(mnpq).\)

\(\displaystyle{}\text{Attached property AntiSymmetric to }{A}_(mnpq).\)

\(\displaystyle{}DF_{m n p q} A^{m n p q}\)

\(\displaystyle{}DF^{m n p q} A_{m n p q}\)

The symmetries can also be declared directly using TableauSymmetry but it is usually easier to read the DAntiSymmetric form.