AERN-Real



arbitrary precision real interval arithmetic

Category: Data, Math

Hackage Homepage

About AERN-Real

Type classes abstracting typical approximate real number arithmetic operations including rounded field operations and common elementary operations. Two kinds of rounding are supported: rounding up/down in the numerical order or rounding in/out in a refinement order. A concrete implementation of refinement order rounded operations is given for intervals in the package AERN-Real-Interval. Concrete implementations of up/down rounded operations is given in AERN-Real-Double for ordinary Double fixed-precision numbers. These can serve as interval endpoints. In a future release also MPFR arbitrary-precision numbers will be made available as interval endpoints. This package does not compile with ghc 7.0.* due to a compiler bug that has been fixed for the 7.2.1 release. Haddock documentation can be found via <http://code.google.com/p/aern/wiki/Main>.

Author

Michal Konecny (Aston University)

Maintainer

mikkonecny@gmail.com

License

BSD3

Copyright

(c) 2011 Michal Konecny, Jan Duracz

Stability

experimental

Dependencies

base, QuickCheck, test-framework, test-framework-quickcheck2, criterion, AERN-Basics

Modules

Latest Version

2011.1.0.1

Older Versions

0.10.0, 0.10.0.1, 0.10.0.2, 0.9.0, 0.9.1, 0.9.2, 0.9.3, 0.9.3.1, 0.9.4, 0.9.5, 0.9.6, 0.9.6.1, 0.9.7, 0.9.7.1, 0.9.7.2, 0.9.8, 0.9.9, 2011.1, 2011.1.0.1