AngouriMath
DiffersNumerically(AngouriMath.Entity,AngouriMath.Entity)
Method (no overloads)
Summary
Whether two expressions are demonstrably different at
PerfectSquareSamplePoints, used to drop a cross term before the
symbolic test costs anything.
PerfectSquareSamplePoints, used to drop a cross term before the
symbolic test costs anything.
Remarks
The asymmetry with AgreesNumerically(AngouriMath.Entity,AngouriMath.Entity) is deliberate and is what makes
this safe to put in front of the symbolic test: that one answers "may I keep this",
so it refuses whatever it cannot evaluate; this one answers "may I drop this", so it
refuses to drop whatever it cannot evaluate. A point it cannot reach is not evidence
of difference, and a rule may not decline on evidence it does not have.
this safe to put in front of the symbolic test: that one answers "may I keep this",
so it refuses whatever it cannot evaluate; this one answers "may I drop this", so it
refuses to drop whatever it cannot evaluate. A point it cannot reach is not evidence
of difference, and a rule may not decline on evidence it does not have.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online