next up previous notation contents
Next: 3.2.19 Example with a Discontinuous Up: 3.2 Constant Interval Arithmetic Previous: 3.2.17 Examples with a Partial

3.2.18 Discontinuous Functions

We now consider implementing tex2html_wrap_inline35013 . The property tex2html_wrap_inline33465 is of interest; consider tex2html_wrap_inline35017 ,   defined in terms of tex2html_wrap_inline33465 :

math14054

For the function tex2html_wrap_inline34165 , an evaluation of the model tex2html_wrap_inline35013 proceeds as follows:

math14059

The resulting continuity description d', tex2html_wrap_inline34957 , is determined using d, tex2html_wrap_inline35031 , and tex2html_wrap_inline34937 :  

math14069

The resulting value v', tex2html_wrap_inline34967 , is given by the methods outlined earlier.


next up previous notation contents
Next: 3.2.19 Example with a Discontinuous Up: 3.2 Constant Interval Arithmetic Previous: 3.2.17 Examples with a Partial
Jeff TupperMarch 1996