AngouriMath

Symbolics for .NET


Table of contents

AngouriMath

Navigation
Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug Donate Contacts

← Back to list of members

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.

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.
 Each evaluation checks for cancellation before it starts, as the other steps that can
run long do. An evaluation is exact, and over coefficients like b^335 one point
is seconds of rational arithmetic: Rubi's x^(7/2)/((a + b x^2)^2 (c + d x^2)^3) spent a minute here after its budget had cancelled it.
https://github.com/asc-community/AngouriMath/issues/718

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4862 pages online