AngouriMath
EvaluableAtSamplePoints(AngouriMath.Entity)
Method (no overloads)
Summary
Whether a proposed collapse is the same number as what it replaces, checked at
PerfectSquareSamplePoints with each free variable offset from the
last so that two of them never take the same value.
PerfectSquareSamplePoints with each free variable offset from the
last so that two of them never take the same value.
Summary
Whether the sum evaluates to a number at the sample points at all, which
AgreesNumerically(AngouriMath.Entity,AngouriMath.Entity) requires of any collapse this proposes.
AgreesNumerically(AngouriMath.Entity,AngouriMath.Entity) requires of any collapse this proposes.
Remarks
A sum with no free variables is exempt, because AgreesNumerically(AngouriMath.Entity,AngouriMath.Entity) exempts it too — it returns true without evaluating anything, so a rule that fires
on a constant sum must not be stopped here.
on a constant sum must not be stopped here.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online