next up previous notation contents
Next: 3.2.18 Discontinuous Functions Up: 3.2 Constant Interval Arithmetic Previous: 3.2.16 Partial Functions

3.2.17 Examples with a Partial Function

We now consider an example partial function, the square root function:

math13946

The function g is defined for non-negative extended real numbers:

math13951

The evaluation of tex2html_wrap_inline34983 , tex2html_wrap_inline34985 , proceeds as follows:

math13959

The evaluation of tex2html_wrap_inline34983 , tex2html_wrap_inline34993 , proceeds as follows:

math13983

The evaluation of tex2html_wrap_inline34983 , tex2html_wrap_inline35007 , proceeds as follows:

math14007

The evaluation of tex2html_wrap_inline34983 , tex2html_wrap_inline35011 , proceeds as follows:

math14031


next up previous notation contents
Next: 3.2.18 Discontinuous Functions Up: 3.2 Constant Interval Arithmetic Previous: 3.2.16 Partial Functions
Jeff TupperMarch 1996