Interval arithmetic

The interval arithmetic is provided by the class

template<class T,int r> Interval

Parameters

T	is the number type of the endpoints.
r	is defined to handle rounding mode associated to T if it exists (defined in fpu.h) The associated value can be 0,1,2 or 3: 0 stands for unsafe mode, 1 for rounding downward, 2 for rounding upward, 3 for automatic rounding mode changes.

Examples:

- Interval<double,1> implements a robust interval arithmetic assuming 
rounding mode "down"
- Interval<double,2> implements a robust interval arithmetic assuming 
rounding mode "up"
- Interval<double,3> implements a robust interval arithmetic without 
assumption on the current rounding mode.

See:

Interval.hpp