Correctly-rounded mathematics library Maintained by:bf@FreeBSD.org Port Added: 11 Jan 2012 06:47:22 License: LGPL21
CRlibm is an efficient and proven mathematical library, which
provides implementations of the double-precision C99 standard
elementary functions, correctly rounded in the four IEEE-754 rounding
modes, and sufficiently efficient in average time, worst-case time,
and memory consumption to replace existing libms transparently.
The distribution includes 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.
CRlibm also includes a lightweight library for multiple precision,
scslib (Software Carry Save Library). This library has been developed
specifically to answer the needs of the CRlibm project: precision
up to a few hundred bits, portability, compatibility with IEEE
floating-point standards, performance comparable to or better than
GMP, and a small footprint. It uses a data-structure which allows
carry propagations to be avoided during multiple-precision
multiplications, and supports addition, subtraction, multiplication,
and conversions.
WWW: http://lipforge.ens-lyon.fr/www/crlibm/
To install the port:cd /usr/ports/math/crlibm/ && make install clean To add the package:pkg_add -r crlibm
Configuration Options
===> The following configuration options are available for crlibm-1.0.b4_1:
TEST=on (default) "Include all test capabilities (requires MPFR)"
===> Use 'make config' to modify these settings
use archive in unmodified form; make the MPFR dependency optional;
compile test executables with appropriate flags; enable SSE2 math
by default when possible
