The AERN-Real-Interval package

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.

This package does not compile with ghc 7.0.* due to a compiler bug that has been fixed for the 7.2.1 release. Haddock documentation can be found via http://code.google.com/p/aern/wiki/Main.

Properties

Versions	2011.1, 2011.1.0.1
Dependencies	AERN-Basics (2011.1.0.1), AERN-Real (2011.1.0.1), base (≥4 & <4.3), deepseq (≥1.1 & <2.0), QuickCheck (≥2.1 & <3), test-framework (≥0.2 & <0.4), test-framework-quickcheck2 (≥0.2 & <0.4)
License	BSD3
Copyright	(c) 2011 Michal Konecny, Jan Duracz
Author	Michal Konecny (Aston University)
Maintainer	mikkonecny@gmail.com
Stability	experimental
Category	Data, Math
Home page	http://code.google.com/p/aern/
Upload date	Wed May 11 11:31:35 UTC 2011
Uploaded by	MichalKonecny
Build failure	ghc-7.0 (log), ghc-7.4 (log)

Modules

Numeric
- AERN
  - Basics
    - Numeric.AERN.Basics.Interval
  - RealArithmetic
    - Numeric.AERN.RealArithmetic.Interval
      - Numeric.AERN.RealArithmetic.Interval.ElementaryFromBasis
      - Numeric.AERN.RealArithmetic.Interval.ElementaryFromFieldOps
      - Numeric.AERN.RealArithmetic.Interval.Mutable
        Numeric.AERN.RealArithmetic.Interval.Mutable.ElementaryFromFieldOps

Downloads

AERN-Real-Interval-2011.1.0.1.tar.gz (Cabal source package)
package description (included in the package)