next up previous notation contents
Next: 3.2.4 Constant Functions Up: 3.2 Constant Interval Arithmetic Previous: 3.2.2 Interpolating Polynomials

3.2.3 tex2html_wrap_inline34257 Charts

 

Consider the following chart:

figure11476

The tex2html_wrap_inline34257 chart is used to predict the sign of tex2html_wrap_inline34221 , for tex2html_wrap_inline34273 , given tex2html_wrap_inline34275 . The chart divides tex2html_wrap_inline34277 into six disjoint regions, as listed below. If the point (x,y) resides in a region labelled with tex2html_wrap_inline34293 , then tex2html_wrap_inline34295 .

The rules for constructing a tex2html_wrap_inline34297 chart are as follows:

  1. The forbidden region, where tex2html_wrap_inline34299 , is indicated by a dashed line.
  2. The zero region, where tex2html_wrap_inline34301 , is labelled with 0. The zero region, along with the forbidden region divide the remainder of tex2html_wrap_inline34277 into a checkerboard of regions.
  3. The upper right region is an up region, labelled with tex2html_wrap_inline34287 .
  4. The remaining regions are up and down regions, labelled with tex2html_wrap_inline34287 and tex2html_wrap_inline34289 in checkerboard fashion, as shown above.
These rules work for any tex2html_wrap_inline34297 chart, and are defended in section gif. There is a special case; when tex2html_wrap_inline34315 the sign of tex2html_wrap_inline34221 is arbitrary. This is forbidden with the above rules, since tex2html_wrap_inline34319 . These undercontrained cases are not important to us.


next up previous notation contents
Next: 3.2.4 Constant Functions Up: 3.2 Constant Interval Arithmetic Previous: 3.2.2 Interpolating Polynomials
Jeff TupperMarch 1996