Interval arithmetic

[Konrad Hinsen]

On Thursday 28 August 2003 02:40, Andrew J Bromage wrote:

> On Wed, Aug 27, 2003 at 04:03:52PM +0000, Jonas Ritter wrote:
> > >+ :: Intervall -> Intervall -> Intervall
> > >(a,b) + (c,d) =3D (a+c,b+d)
>
> In general this is insufficient because of floating point rounding.

It all depends on the application for the interval arithmetic. One could =
use=20
Rational for the numeric type, for example, if CPU time is not critical a=
nd=20
the range of the numbers is not too large.

Konrad.