Bug#322534: ITP: mpfi -- multiple precision floating-point in terval computation
> * Package name : mpfi
> Version : 1.3.3
> Upstream Authors: Nathalie Revol, Fabrice Rouillier (email ommited)
> * URL :
> * License : LGPL 2.1 or later
> Description : multiple precision floating-point interval
> The basic principle of interval arithmetic consists in enclosing
> every number by an interval containing it and being representable
> by machine numbers: for instance it can be stored as its lower
> and upper endpoints and these bounds are machine numbers, or as a
> centre and a radius which are machine numbers.
> The arithmetic operations are extended for interval operands in
> such a way that the exact result of the operation belongs to the
> computed interval.
> The purpose of an arbitrary precision interval arithmetic is on
> the one hand to get guaranteed results, thanks to interval
> computation, and on the other hand to obtain accurate results,
> thanks to multiple precision arithmetic. The MPFI library is
> built upon MPFR in order to benefit from the correct roundings
> provided by MPFR. Further advantages of using MPFR are its
> portability and compliance with the IEEE 754 standard for
> floating-point arithmetic.
Yeah, but what does it *DO*? If it is a library, it oughta be called
libmpfi ... and it should be stated. If it is an utility program,
the "what is arbitrary precision foo" is secondary WRT what the
program actually does.