The AERN-Real package

[ Tags: bsd3, data, library, math ] [ Propose Tags ]

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 examples.

There is a built-in test suite and it can be evoked using the module in the folder tests.

Properties

Versions 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.*), binary, containers, directory, filepath, hmpfr (==0.2), html (>=1.0), QuickCheck (==1.2.0.0), regex-compat (>=0.71), stm, time [details]
License BSD3
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 Wed Jul 29 10:05:11 UTC 2009 by MichalKonecny
Distributions NixOS:2011.1.0.1
Downloads 7015 total (176 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Flags

NameDescriptionDefaultType
use-hmpfrDisabledAutomatic

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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees