AERN-Real-Interval: arbitrary precision real interval arithmetic

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

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.

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

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 2011.1, 2011.1.0.1
Change log CHANGES
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) [details]
Tested with ghc ==6.12.3
License BSD-3-Clause
Copyright (c) 2011 Michal Konecny, Jan Duracz
Author Michal Konecny (Aston University)
Maintainer mikkonecny@gmail.com
Category Data, Math
Home page http://code.google.com/p/aern/
Uploaded by MichalKonecny at 2011-05-11T11:31:35Z
Distributions
Reverse Dependencies 2 direct, 0 indirect [details]
Downloads 2550 total (2 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]