AngouriMath
PolynomialLongDivision
Property
Summary
Remarks
One rule with no side condition, deliberately. The work that decides whether it
applies is the division itself, and asking it in a guard would run it twice on a path
the simplifier takes for every quotient; the helper hands back the expression
unchanged where it declines, which ApplyHere(AngouriMath.Entity) reads as no
rewrite exactly as theswitch 's own fallthrough does.
applies is the division itself, and asking it in a guard would run it twice on a path
the simplifier takes for every quotient; the helper hands back the expression
unchanged where it declines, which ApplyHere(AngouriMath.Entity) reads as no
rewrite exactly as the
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online