Declaration
commutative
If declare(h,commutative) is done, this tells the simplifier that h is a commutative function. E.g. h(x,z,y) will simplify to h(x, y, z). This is the same as symmetric.
declare(h,commutative)
h
h(x,z,y)
h(x, y, z)
symmetric