AERN-Real-Double: arbitrary precision real interval arithmetic

[ bsd3, data, deprecated, library, math, program ] [ Propose Tags ]
Deprecated in favor of aern2-mp, aern2-real

This package provides bindings and tests for using machine Double values as endpoints for the interval arithmetic defined in packages AERN-Basics and AERN-Real.

Most users of this package will only need to import one end-user API module. There is a choice of three such modules, each providing a different level of abstraction for the type of intervals with Double endpoints:

  • Numeric.AERN.DoubleBasis.RealApprox gives RealApprox - an abstract data type limited to operations that interpret each interval strictly as an approximation to a single real number. As an instance of Fractional, the numerical operations safely overapproximate the exact real operations by rounding the intervals outwards.

  • Numeric.AERN.DoubleBasis.RealIntervalApprox gives RealIntervalApprox - an abstract data type limited to operations that interpret each interval strictly as an approximation to a set of real numbers. All RealApprox operations are available also for RealIntervalApprox. Additionally, one can create approximations that certainly cover two given approximations and one can perform all operations rounding inwards to allow safe semi-deciding of set inclusions. As a consequence of inner rounding, anti-consistent intervals such as [1,0] may arise and are treated using Kaucher arithmetic.

  • Numeric.AERN.DoubleBasis.Interval gives full access to the interval type, including the Double endpoints.

The accompanying modules Numeric.AERN.DoubleBasis.MRealApprox, Numeric.AERN.DoubleBasis.MRealIntervalApprox and Numeric.AERN.DoubleBasis.MInterval add in-place versions of most of the pure operations provided by the respective above module.

For further information, please refer to the documentation of these six modules and the sample programs in the demo folder.

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


  • Numeric
    • AERN
      • DoubleBasis
        • Numeric.AERN.DoubleBasis.Interval
        • Numeric.AERN.DoubleBasis.MInterval
        • Numeric.AERN.DoubleBasis.MRealApprox
        • Numeric.AERN.DoubleBasis.MRealIntervalApprox
        • Numeric.AERN.DoubleBasis.RealApprox
        • Numeric.AERN.DoubleBasis.RealIntervalApprox
      • RealArithmetic
        • Basis
          • Numeric.AERN.RealArithmetic.Basis.Double
        • Interval
          • Numeric.AERN.RealArithmetic.Interval.Double


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 2011.1, 2011.1.0.1, 2011.1.0.2
Change log CHANGES
Dependencies AERN-Basics (==2011.1.0.1), AERN-Real (==2011.1.0.1), AERN-Real-Interval (==2011.1.0.1), base (>=4 && <4.3), criterion (>=0.5 && <0.6), ieee-utils (>=0.4 && <0.5), QuickCheck (>=2.1 && <3), test-framework (>=0.2 && <0.4), test-framework-quickcheck2 (>=0.2 && <0.4) [details]
License BSD-3-Clause
Copyright (c) 2011 Michal Konecny, Jan Duracz
Author Michal Konecny (Aston University)
Category Data, Math
Home page
Uploaded by MichalKonecny at 2011-05-11T13:37:45Z
Reverse Dependencies 1 direct, 0 indirect [details]
Executables demoAERN-Real-Double-Zero, demoAERN-Real-Double-Riemann, demoAERN-Real-Double-Quadratic, benchAERN-Real-Double, testAERN-Real-Double
Downloads 3434 total (7 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-10-24 [all 14 reports]