Information:
As a computing environment, this program offers multi-precision floating-point arithmetic, sharp interval arithmetic with multi-precision floating-point endpoints, exactly rounded complex multi-precision floating-point arithmetic and exact rational arithmetic.
The multi-precision floating-point implementation is fully compliant with the principles of the IEEE standard and provides exactly rounded operations in all four rounding modes.
The rational class library of the program is built on top of the GMP rational C library. It provides a C++ wrapper and extends it in a consistent mathematical way to deal with results of operations that cannot be represented as rationals or are mathematically undefined.
The integrated environment is built on top of the class libraries and provides as additional functionality an IEEE compliant multi-precision and rational verbose calculator, a parser for simple expressions, and a precompiler for the automatic transcription of numeric C/C++ code.
