AngouriMath
IsRealAlong(AngouriMath.Entity,AngouriMath.Entity.Variable)
Method (no overloads)
Summary
Whether expr is real wherever x is, decided
structurally. On an approach to a real destination the variable runs along the real
line, which is the one thing that makes this answerable for a symbol at all.
structurally. On an approach to a real destination the variable runs along the real
line, which is the one thing that makes this answerable for a symbol at all.
Remarks
A power is admitted only with a whole exponent or a decidably positive base, because a
real raised to a real leaves the real line as soon as the base goes negative:
(-2)^(1/2) is imaginary. Any other symbol answers false , since
a second variable carries no approach and may be complex. Anything unlisted answers
false as well, which costs coverage and never correctness.
real raised to a real leaves the real line as soon as the base goes negative:
a second variable carries no approach and may be complex. Anything unlisted answers
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online