AngouriMath
Rewrites
Property
Summary
The individual rewrites that fired inside this step, in the order they fired.
Remarks
Not the same list as RuleSet being non-null. A step that is one rule set
applied once carries what that set matched; a step that is a chain of them — the
tidying pass every stage of the simplifier runs is six — carries everything that fired
anywhere inside it, and names no single set. And empty is ordinary: a polynomial
rearrangement or an expansion changes the expression without any rule matching.
applied once carries what that set matched; a step that is a chain of them — the
tidying pass every stage of the simplifier runs is six — carries everything that fired
anywhere inside it, and names no single set. And empty is ordinary: a polynomial
rearrangement or an expansion changes the expression without any rule matching.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online