Intervals is a library implementing an interval system in the extended
real set that is closed under arithmetic operations. Correct rounding
ensures that the operations are inclusion-wise monotonic.
Intervals pre-1 is an experimental release that has has been tested on
Mac Os X/powerpc and on linux/intel. For the C package implementing
rounding-mode control to compile, a C99-compliant compiler is needed
(or at least one that knows about fenv.h).
Feedback and suggestions are welcome!