Next: 3.2.18 Discontinuous Functions
Up: 3.2 Constant Interval Arithmetic
Previous: 3.2.16 Partial Functions
We now consider an example partial function, the square root function:
The function g is defined for non-negative extended real numbers:
The evaluation of ,
, proceeds as follows:
The evaluation of ,
, proceeds as follows:
The evaluation of ,
, proceeds as follows:
The evaluation of ,
, proceeds as follows:
Next: 3.2.18 Discontinuous Functions
Up: 3.2 Constant Interval Arithmetic
Previous: 3.2.16 Partial Functions