Next: 3.3.29 Concave UpDown Functions
Up: 3.3 Linear Interval Arithmetic
Previous: 3.3.27 Partial Binary Functions
Consider the division function, 
, which
is both partial and 
-bumpy. For the division function,
The evaluation of 
,
proceeds as follows:
The division function is defined unless the divisor is zero:
In the evaluation above,
is evaluated:
For general binary functions, it may be natural to introduce more than
a single new constraint after a function application.
Enhancing 
and 
allows this; the common
binary functions do not naturally introduce multiple constraints.
The members of 
influence this decision.
Next: 3.3.29 Concave UpDown Functions
Up: 3.3 Linear Interval Arithmetic
Previous: 3.3.27 Partial Binary Functions
