-- 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
There are also some inexact matches for
?? commutative to see them.
(%o1) true (%i2)