Re: GMP Inputs

[Kevin Ryde]

Hans Aberg <address@hidden> writes:
>
> - As for the inaccuracy (inverted value of precision) of floating and fixed
> point numbers, I think that a fairly correct mathematical way would be to
> use differentials of the operations involved to compute the new inaccuracy.
> That is, unless the user specifically requests a round-off.

I think mpfr (www.mpfr.org) had ideas for an interval arithmetic along
those lines, made possible by the exact rounding in the mpfr floats.