@hackage AERN-Real0.9.9
arbitrary precision interval arithmetic for approximating exact real numbers
Categories
License
BSD-3-Clause
Maintainer
mik@konecny.aow.cz
Links
- Documentation
- No source repository
- Changelog
- Security
Versions
Deprecated
Dependencies (8)
- base >=3
- binary >=0.4
- containers
- hmpfr ==0.1.3
- html >=1.0
- regex-compat >=0.71 Show all…
Dependents (6)
@hackage/AERN-RnToRm, @hackage/acme-everything, @hackage/AERN-Real-Double, @hackage/AERN-Net, @hackage/AERN-RnToRm-Plot, @hackage/AERN-Real-Interval
Package Flags
use-hmpfr(off by default)
Datatypes and abstractions for approximating exact real numbers and a basic arithmetic over such approximations. The main datatype is interval with arbitrary precision endpoints supported by safely rounding field and elementary operations whose precision can be increased arbitrarily, so that they all converge to the exact operations.
The design of the library is inspired to some degree by Mueller's iRRAM and Lambov's RealLib (both are C++ libraries for exact real arithmetic).
For an architectural overview, see module Data.Number.ER.Real.
Simple examples of usage can be found in module Demo.hs in folder tests.