The AERN-Real package

[Tags: bsd3, library]

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


Versions0.9.0, 0.9.1, 0.9.2, 0.9.3,, 0.9.4, 0.9.5, 0.9.6,, 0.9.7,,, 0.9.8, 0.9.9, 0.10.0,,, 2011.1, 2011.1.0.1
Change logCHANGES
DependenciesAERN-Basics (==2011.1.0.1), base (>=4 && <4.3), criterion (==0.5.*), QuickCheck (>=2.1 && <3), test-framework (>=0.2 && <0.4), test-framework-quickcheck2 (>=0.2 && <0.4) [details]
Copyright(c) 2011 Michal Konecny, Jan Duracz
AuthorMichal Konecny (Aston University)
CategoryData, Math
Home page
UploadedWed May 11 11:31:11 UTC 2011 by MichalKonecny
Downloads5094 total (224 in last 30 days)
0 []
StatusDocs pending
Build status unknown [no reports yet]



Maintainers' corner

For package maintainers and hackage trustees