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

[ bsd3, data, deprecated, library, math ] [ Propose Tags ]
Deprecated. in favor of aern2-mp, aern2-real
Versions 0.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 log ChangeLog
Dependencies base, binary (>=0.4), containers, hmpfr (==0.1.1) [details]
License BSD-3-Clause
Copyright (c) 2007-2008 Michal Konecny, Amin Farjudian, Jan Duracz
Author Michal Konecny (Aston University)
Category Data, Math
Uploaded by MichalKonecny at Tue Sep 30 10:37:53 UTC 2008
Distributions NixOS:2011.1.0.1
Downloads 9832 total (93 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

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.





Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

For package maintainers and hackage trustees