next up previous notation contents
Next: 3.2.22 Common Binary Functions Up: 3.2 Constant Interval Arithmetic Previous: 3.2.20 Bumpy Functions

3.2.21 Examples with Bumpy Functions

We will evaluate a tex2html_wrap_inline35051 model of the multiplicative inverse, for the interval tex2html_wrap_inline35077 : let tex2html_wrap_inline33647 ,

math14156

The evaluation of tex2html_wrap_inline35081 , tex2html_wrap_inline35083 , proceeds as follows:

math14166

In section gif we showed that tex2html_wrap_inline35101 .

We will evaluate a tex2html_wrap_inline35051 model of the floor function, for the interval tex2html_wrap_inline35105 : let tex2html_wrap_inline33647 ,

math13181

The evaluation of tex2html_wrap_inline35081 , tex2html_wrap_inline35111 , proceeds as follows:

math14227

In section gif we showed that tex2html_wrap_inline35129 .

next up previous notation contents
Next: 3.2.22 Common Binary Functions Up: 3.2 Constant Interval Arithmetic Previous: 3.2.20 Bumpy Functions
Jeff TupperMarch 1996