next up previous notation contents
Next: 3.4 Polynomial Interval Arithmetic Up: 3.3 Linear Interval Arithmetic Previous: 3.3.29 Concave UpDown Functions

3.3.30 Floating Point

 

We will now demonstrate an evaluation of tex2html_wrap_inline37355 , for tex2html_wrap_inline37357 . The evaluation of tex2html_wrap_inline37359 proceeds as follows:

math24525

with

math24538

The following diagram illustrates the variables used.

figure24550

The same procedure may be used when evaluating tex2html_wrap_inline37355 , after specifying which rounding mode is used for each operation. The evaluation of tex2html_wrap_inline37377 proceeds as follows:

math24638

with

math24653

assuming that tex2html_wrap_inline37383 . There is some freedom in the assignment of rounding modes; the above is intended as a guide to producing a valid model, not necessarily an optimal one. Even with a fixed assignment of rounding modes, the choice of rounding modes will influence the optimality of the model, as well as the execution cost.


next up previous notation contents
Next: 3.4 Polynomial Interval Arithmetic Up: 3.3 Linear Interval Arithmetic Previous: 3.3.29 Concave UpDown Functions
Jeff TupperMarch 1996