AERN-Real-0.10.0.1: arbitrary precision interval arithmetic for approximating exact real numbers

Portabilitynon-portable (requires fenv.h)
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER

Description

This namespace is the root for the AERN family of packages. AERN stands for Approximated Exact Real Numbers. All AERN packages build on the package AERN-Real.

Module Data.Number.ER.Real contains an overview of the AERN-Real package.

Documentation