AERN-Real: arbitrary precision interval arithmetic for approximating exact real numbers
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 folder demos
.
There is a built-in test suite and it can be evoked using
the module in the folder tests
.
Modules
[Index]
- Data
- Number
- Data.Number.ER
- Data.Number.ER.BasicTypes
- Data.Number.ER.Misc
- Data.Number.ER.Real
- Data.Number.ER.ShowHTML
- Data.Number.ER
- Number
Flags
Automatic Flags
Name | Description | Default |
---|---|---|
use-hmpfr | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- AERN-Real-0.10.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 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, 0.10.0, 0.10.0.1, 0.10.0.2, 2011.1, 2011.1.0.1 |
---|---|
Change log | ChangeLog |
Dependencies | base (>=3 && <4), binary, containers, directory, filepath, hmpfr (==0.2), html (>=1.0), QuickCheck (==1.2.0.0), regex-compat (>=0.71), stm, time [details] |
License | BSD-3-Clause |
Copyright | (c) 2007-2009 Michal Konecny, Amin Farjudian, Jan Duracz |
Author | Michal Konecny (Aston University) |
Maintainer | mikkonecny@gmail.com |
Category | Data, Math |
Home page | http://www-users.aston.ac.uk/~konecnym/DISCERN |
Uploaded | by MichalKonecny at 2009-07-28T21:19:08Z |
Distributions | |
Reverse Dependencies | 6 direct, 0 indirect [details] |
Downloads | 19029 total (61 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |