------- Comment #15 from rob1weld at aol dot com 2007-06-12 17:50 ------- Correctly Rounded mathematical library http://lipforge.ens-lyon.fr/www/crlibm/index.html
CRlibm, an efficient and proven correctly-rounded mathematical library CRlibm is a free mathematical library (libm) which provides: * implementations of the double-precision C99 standard elementary functions, * correctly rounded in the four IEEE-754 rounding modes, * with a comprehensive proof of both the algorithms used and their implementation, * sufficiently efficient in average time, worst-case time, and memory consumption to replace existing libms transparently, CRlibm is distributed under the GNU Lesser General Public License (LGPL). Included in the distribution is an extensive documentation with the proof of each function (currently more than 100 pages), as well as all the Maple scripts used to develop the functions. This makes this library an excellent tutorial on software elementary function development. Note than they provide "proof" for the library. I'll examine this link more closely. Nearly finished my patch testing - may be a few days. Some functions are _many_ times faster than MPFR. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32180