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.


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), base (==4.*), 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
UploadedFri May 6 00:15:17 UTC 2011 by MichalKonecny
Downloads5926 total (62 in last 30 days)
0 []
StatusDocs not available [build log]
All reported builds failed as of 2015-12-05 [all 4 reports]



Maintainers' corner

For package maintainers and hackage trustees