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.