AngouriMath
IsPositiveReal(AngouriMath.Entity)
Method (no overloads)
Summary
Reads a factor of a product as a base and an exponent.
Remarks
The nested case is not cosmetic: LinearChildren(AngouriMath.Entity) writes a
divisor as(...)^(-1) , so x^3 / x^2 arrives as
x^3 * (x^2)^(-1) , whose second factor has base x^2 rather than
x and would be read as an unrelated base. Unwrapping it is
(a^b)^n = a^(b*n) , which holds for a whole n whatever the sign of
a -- the same guard the ({}^{})^{} rule above carries, and for the
same reason. https://github.com/asc-community/AngouriMath/issues/752
divisor as
same reason. https://github.com/asc-community/AngouriMath/issues/752
Summary
Whether entity is a real strictly above zero, decided rather than
assumed.ln of such a number is a real, so a real multiple of it stays on the
real line and insideln 's principal strip.
assumed.
real line and inside
Remarks
Finiteness is checked separately because IsPositive is
!IsNegative && !IsZero , which NaN and +oo both satisfy.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online