The AERN-Real-Double package

[Tags:bsd3, library, program]

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:

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.


Versions 2011.1, 2011.1.0.1, 2011.1.0.2
Change log CHANGES
Dependencies AERN-Basics (==2011.1), AERN-Real (==2011.1), AERN-Real-Interval (==2011.1), base (==4.*), criterion (==0.5.*), ieee-utils (==0.4.*), QuickCheck (>=2.1 && <3), test-framework (>=0.2 && <0.4), test-framework-quickcheck2 (>=0.2 && <0.4) [details]
License BSD3
Copyright (c) 2011 Michal Konecny, Jan Duracz
Author Michal Konecny (Aston University)
Stability experimental
Category Data, Math
Home page
Uploaded Fri May 6 00:35:54 UTC 2011 by MichalKonecny
Distributions NixOS:2011.1.0.2
Downloads 1106 total (11 in the last 30 days)
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-12-05 [all 4 reports]


  • 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

For package maintainers and hackage trustees