------- Comment #19 from rob1weld at aol dot com 2007-06-14 08:14 ------- >>You've shown nothing to validate that crlibm is more accurate than mpfr. >>So how did you do this measurement?
Read 1st section of http://www.mpfr.org/faq.html and either crlibm-0.18beta1.pdf or better still crlibm-1.01beta1.pdf (build from the CVS). I've done some tweaking which further doubles the speed in some cases by playing with the gcc 4.3.0 command line options. If all you want is _one_ ulp then the speed increase alone should be enough to prefer it over mpfr; for such a low standard a difference can not be found (except in speed and proof, of which mpfr has none). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32180
