The AERN-Real-Interval package

[Tags: bsd3, library]

A concrete implementation for the refinement-order type classes from AERN-Real in the form of interval arithmetic. The arithmetic supports also anti-consistent intervals (ie [l,r] with l >= r) and maintains monotonicity in the refinement order so that both inner and outer approximations of exact interval expressions can be safely computed.

The package AERN-Real-Double makes it possible to use ordinary machine Double values as endpoints, although limited to its fixed granularity (ie precision).

A package AERN-Real-MPFR will be provided in future to facilitate (via package hmpfr) the use of the MPFR arbitrary granularity (ie precision) floating point numbers as endpoints.


Versions2011.1, 2011.1.0.1
DependenciesAERN-Basics (==2011.1), AERN-Real (==2011.1), base (==4.*), deepseq (>=1.1 && <2.0), QuickCheck (>=2.1 && <3), test-framework (>=0.2 && <0.4), test-framework-quickcheck2 (>=0.2 && <0.4)
Copyright(c) 2011 Michal Konecny, Jan Duracz
AuthorMichal Konecny (Aston University)
CategoryData, Math
Home page
Upload dateFri May 6 00:26:13 UTC 2011
Uploaded byMichalKonecny
Downloads280 total (23 in last 30 days)



Maintainers' corner

For package maintainers and hackage trustees