Declaration
antisymmetricIf declare(h,antisymmetric) is done, this tells the
simplifier that h is antisymmetric. E.g. h(x,z,y) will simplify to
- h(x, y, z). That is, it will give (-1)^n times the result given by
symmetric or commutative, where n is the number of interchanges of two
arguments necessary to convert it to that form.