System variable
oppropertiesopproperties is the list of the special operator properties recognized by
the Maxima simplifier:
linear, additive, multiplicative, outative, evenfun,
oddfun, commutative, symmetric, antisymmetric, nary,
lassociative, rassociative.