/RealLib

Library for exact real number computations

Primary LanguageC++Apache License 2.0Apache-2.0

RealLib: Library for exact real number computations

RealLib is a real number computation package in C++. Its primary aim is to be efficient and to avoid the huge overheads usually associated with real number computations.

RealLib3, which is the current version of the library, makes this possible. In this version of the library, the user can work on both a layer where numbers are represented as terms describing the computation, and a layer where functions on real numbers compute on the level of approximations to the real number. The latter can be very fast, depending on the precision that is actually required by the computation. In the cases where machine precision is sufficient, exact real computations can be executed at a speed comparable to the speed of double precision arithmetic, sometimes even running on par with it.

The library was previously available at http://daimi.au.dk/~barnie/RealLib/ under LGPL.