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