AngouriMath
WithoutSpuriousRoots(AngouriMath.Entity.Set,AngouriMath.Entity,AngouriMath.Entity.Variable)
Method (no overloads)
Summary
Substitutes each root back into the equation it came from and drops the ones
that do not satisfy it.
that do not satisfy it.
Remarks
Several of the rewrites the solvers rely on widen the domain of the equation.
ln(a) + ln(b) = ln(a * b) is the plainest: solving
ln(x) + ln(x+1) = 0 goes through x^2 + x - 1 = 0 and hands back
both of its roots, but at -1.618... the original is 2*pi*i, not 0. The
individual rewrites cannot always carry a condition that survives the chain of
substitutions that follows, so the answers are checked once, here, against the
equation as the caller wrote it.
both of its roots, but at -1.618... the original is 2*pi*i, not 0. The
individual rewrites cannot always carry a condition that survives the chain of
substitutions that follows, so the answers are checked once, here, against the
equation as the caller wrote it.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online