math/crlibm 1.0.b4_2 DragonFly

Correctly-rounded mathematics library

System: DragonFly
Repository: DPorts
Maintainer: [email protected] (as in FreeBSD)
License: LGPL21
Categories: math
Package size: 1520.2 KiB, 5617.6 KiB installed

Description

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.

In the other systems

System

Port

Version

DragonFly

math/crlibm

1.0.b4_2

FreeBSD

math/crlibm

1.0.b4_2

Install

Binary package:

pkg install crlibm

From DPorts:

cd /usr/dports/math/crlibm && make install clean

Dependencies

Run dependencies 2

No port depends on this one.

Configuration

No options to configure.

Service scripts: none

Message after installing

===>   NOTICE:

The crlibm port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:

https://bugs.freebsd.org/bugzilla

More information about port maintainership is available at:

https://docs.freebsd.org/en/articles/contributing/#ports-contributing