floating point inconsistency

Vincent Lefevre vincent+gcc@vinc17.org
Wed Feb 17 15:38:00 GMT 2010

On 2010-02-17 14:50:33 +0000, Andrew Haley wrote:
> What is the current state of libraries for correctly rounded
> functions?

The last CRlibm beta is 1-year old:


But the main work is now done with much better tools (written by
Arénaire) than before, meaning that new functions could be written
in a few hours (well, except range reduction):


> The main paper I see on making this faster dates from
> November 1998, although there is [2], not online.  Are we in a
> position where we can use something faster than the IBM Accurate
> Mathematical Library?

I'm not sure. You can contact Florent for more information.


(I'll tell him about this thread.)

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

More information about the Gcc-help mailing list