Behavior of mpf_eq near zero

[Vincent Lefevre]

On 2015-04-13 11:58:15 +0200, Marc Glisse wrote:
> On Mon, 13 Apr 2015, Vincent Lefevre wrote:
> 
> >I agree, though I really think that mpf_eq should be properly
> >specified. And how about saying that this function is obsolete
> >and planning to remove it in the future?
> 
> Doesn't the manual already say that the whole mpf is obsolete?

No, it just seems to discourage its use *a little*:

|    Note that the `mpf' functions are _not_ intended as a smooth
| extension to IEEE P754 arithmetic.  In particular results obtained on
| one computer often differ from the results on a computer with a
| different word size.
|
|    The GMP extension library MPFR (`http://mpfr.org') is an alternative
| to GMP's `mpf' functions.  MPFR provides well-defined precision and
| accurate rounding, and thereby naturally extends IEEE P754.

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)