AngouriMath
IsNormalization
Property
Summary
Whether this set only puts an expression into a canonical shape, rather than moving it
towards an answer.
towards an answer.
Remarks
Declared by the set rather than inferred, because it is a statement about intent that
no amount of looking at a rewrite settles: reorderingy + x to x + y and
collapsingx + x to 2 * x are both equivalences that change the tree, and
only the author knows which one was meant as tidying.
and normalisation is the engine straightening the expression between them. On
x^(-1)/(y/z) it is 251 of the 270 recorded rewrites. See
Derivation and
#28.
no amount of looking at a rewrite settles: reordering
collapsing
only the author knows which one was meant as tidying.
and normalisation is the engine straightening the expression between them. On
Derivation and
#28.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online