The AERN-Real package

[Tags: bsd3, library]

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.


Properties

Versions0.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
Dependenciesbase (<3), binary (>=0.4), html (>=1.0), regex-compat (>=0.71), stm or
base (>=3), binary (>=0.4), containers, html (>=1.0), regex-compat (>=0.71), stm
LicenseBSD3
Copyright(c) 2007-2008 Michal Konecny, Amin Farjudian, Jan Duracz
AuthorMichal Konecny (Aston University)
Maintainermik@konecny.aow.cz
Stabilityexperimental
CategoryData, Math
Upload dateMon Dec 1 23:14:21 UTC 2008
Uploaded byMichalKonecny
Downloads1706 total (208 in last 30 days)

Modules

Flags

NameDescriptionDefault
containers-in-baseDisabled
use-hmpfrDisabled

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

Downloads

Maintainers' corner

For package maintainers and hackage trustees