-- Declaration: antisymmetric If
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
commutative, where n is the number of interchanges of two arguments necessary to convert it to that form.
(%o1) true (%i2)
IP: (%K1 *(%PBase+(PB...
declare (IP, antisymm...