Cadabra
a field theory motivated approach to computer algebra

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.
Copyright © 2001-2017 Kasper Peeters
Questions? info@cadabra.science