As with constant interval arithmetic, we will
phrase our discussion in terms of our abstract model;
which, for linear interval arithmetic, is 
.
The procedures used to
evaluate 
may be used to
evaluate 
;
being the underlying number system.
Section 
details how this may be accomplished.
| Jeff Tupper | March 1996 |