AngouriMath
Normalization
Property
Summary
Puts commutative chains into a canonical order, so that expressions which differ
only in the arrangement of their operands become the same tree.
only in the arrangement of their operands become the same tree.
Remarks
Not a simplification: it makes an expression comparable, not shorter. It has
always been available insideSimplify and had no name of its own until
this layer gave the rule set one.
always been available inside
this layer gave the rule set one.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online