AERN-Real-Interval: arbitrary precision real interval arithmetic

[ bsd3, data, deprecated, library, math ] [ Propose Tags ]
Deprecated. in favor of aern2-mp, aern2-real
Versions 2011.1, 2011.1.0.1
Change log CHANGES
Dependencies AERN‑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) [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 Fri May 6 00:26:13 UTC 2011
Distributions NixOS:2011.1.0.1
Downloads 1229 total (14 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-28 [all 6 reports]
Hackage Matrix CI

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.


  • 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


Maintainer's Corner

For package maintainers and hackage trustees