AngouriMath

Navigation

← Back to list of members

ValueWithCondition​(AngouriMath.​Entity)

 Method (no overloads)

Summary

The value of expr where it has one, with the condition it holds
under, or null where there is no value to read.

Remarks

The condition is what separates an argument that is nonzero *throughout its domain*
from one that can itself vanish. x / x evaluates to 1 provided not x = 0,
so it is nonzero wherever it is defined at all and a rule may rely on that, carrying
the condition forward; a bare x has no value and no such promise. Reading only
the argument's DomainCondition conflates the two, which is how
sgn(abs(x)) came to be 1 (https://github.com/asc-community/AngouriMath/issues/892).

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online