AngouriMath

Navigation

← Back to list of members

IsNeverNegative​(AngouriMath.​Entity,​AngouriMath.​Entity.​Variable)

 Method (no overloads)

Summary

Whether an expression is real and not negative wherever it has a value, by its
form: an absolute value, a power of such a thing to a real exponent, a product or a
quotient of them, a positive constant.

Remarks

The sign a vanishing divisor keeps is otherwise read off its derivatives, which an
absolute value does not have where it vanishes: the derivative of abs(x) is sgn(x),
0 at 0, and the next one has no value there. So 1/abs(x) at 0 was left unevaluated
from each side and NaN from both, where it is +oo. Where such an expression vanishes
it does so from above, whatever its argument does.

























Angouri © 2019-2026 · Project's repo · Site's repo · Octicons · Transparency · 5629 pages online