AngouriMath
Navigation
IsRealOnTheApproach(AngouriMath.Entity,AngouriMath.Entity.Variable,AngouriMath.Entity)
Method (no overloads)
Summary
Whether expr is real as x runs along the real line to
dest , decided structurally, as IsRealAlong(AngouriMath.Entity,AngouriMath.Entity.Variable) is. A power's
base and a logarithm's argument count as positive where their values at the destination
are, which they then are near it. Anything else is
IsRealValued(AngouriMath.Entity,AngouriMath.Entity.Variable)'s, and unlisted is not real, which costs
coverage and never correctness.
base and a logarithm's argument count as positive where their values at the destination
are, which they then are near it. Anything else is
IsRealValued(AngouriMath.Entity,AngouriMath.Entity.Variable)'s, and unlisted is not real, which costs
coverage and never correctness.
Angouri © 2019-2026 · Project's repo · Site's repo · Octicons · Transparency · 5629 pages online