Next: 3.3.20 Bumpy Functions
Up: 3.3 Linear Interval Arithmetic
Previous: 3.3.18 Discontinuous Functions
We now consider an example discontinuous function, the floor function:
The function g is continuous for non-integral arguments:
We let the continuity description set include 
:
This allows a trivial implementation of 
:
Which, in turn, allows a trivial implementation of
:
since v is a member of 
.
If a 
model is evaluated, the
resulting continuity description v may be demoted, as
was done previously with domain descriptions.
The evaluation of 
;
proceeds as follows:
The following figures graphically illustrate portions of the preceding evaluation.
Let 
include 
:
We will now illustate, more fully, the role of 
and 
.
The evaluation of ;
proceeds as follows:
Portions of the preceding evaluation are depicted in the following figures.
Next: 3.3.20 Bumpy Functions
Up: 3.3 Linear Interval Arithmetic
Previous: 3.3.18 Discontinuous Functions
