Next: 3.2.4 Constant Functions
Up: 3.2 Constant Interval Arithmetic
Previous: 3.2.2 Interpolating Polynomials
Consider the following chart:
The chart is used to predict the sign of ,
for , given .
The chart divides
into six disjoint regions, as listed below.
- The forbidden region, indicated above by a dashed line.
The point (x,y) may not reside in the forbidden region,
since G is a function.
The remaining five regions are each labelled with a member of .
- The zero region, indicated above by a solid line, and labelled
with 0.
- Two up regions, each labelled with .
- Two down regions, each labelled with .
If the point (x,y) resides in a region labelled with
, then .
The rules for constructing a chart are as follows:
-
The forbidden region, where ,
is indicated by a dashed line.
-
The zero region, where , is labelled with 0.
The zero region, along with the forbidden region divide the remainder of
into a checkerboard of regions.
-
The upper right region is an up region, labelled with .
-
The remaining regions are up and down regions, labelled with and
in checkerboard fashion, as shown above.
These rules work for any chart, and are
defended in section .
There is a special case; when
the sign of is arbitrary.
This is forbidden with the above rules, since
.
These undercontrained cases are not important to us.
Next: 3.2.4 Constant Functions
Up: 3.2 Constant Interval Arithmetic
Previous: 3.2.2 Interpolating Polynomials