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.