next up previous notation contents
Next: 3.2.28 Monotonically IncreasingDecreasing Functions Up: 3.2 Constant Interval Arithmetic Previous: 3.2.26 Partial Binary Functions

3.2.27 Example with a Partial Binary Function

Consider the division function, tex2html_wrap_inline35491 , which is both partial and tex2html_wrap_inline32653 -bumpy. For the division function,

math16326

math16336

The evaluation of tex2html_wrap_inline35495 ,

math16631

proceeds as follows:

math16641

The division function is defined unless the divisor is zero:

math16694

In the evaluation above, tex2html_wrap_inline35515 is evaluated:

math16705

next up previous notation contents
Next: 3.2.28 Monotonically IncreasingDecreasing Functions Up: 3.2 Constant Interval Arithmetic Previous: 3.2.26 Partial Binary Functions
Jeff TupperMarch 1996