Next: 3.2.22 Common Binary Functions
Up: 3.2 Constant Interval Arithmetic
Previous: 3.2.20 Bumpy Functions
We will evaluate a model of the multiplicative
inverse, for the interval : let ,
The evaluation of ,
, proceeds as follows:
In section we showed that
.
We will evaluate a model of the floor function,
for the interval : let ,
The evaluation of ,
, proceeds as follows:
In section we showed that
.
Next: 3.2.22 Common Binary Functions
Up: 3.2 Constant Interval Arithmetic
Previous: 3.2.20 Bumpy Functions