The AERN-Real package

[Tags:bsd3, library]

Type classes abstracting typical approximate real number arithmetic operations including rounded field operations and common elementary operations. Two kinds of rounding are supported: rounding up/down in the numerical order or rounding in/out in a refinement order.

A concrete implementation of refinement order rounded operations is given for intervals in the package AERN-Real-Interval. Concrete implementations of up/down rounded operations is given in AERN-Real-Double for ordinary Double fixed-precision numbers. These can serve as interval endpoints. In a future release also MPFR arbitrary-precision numbers will be made available as interval 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 0.9.0, 0.9.1, 0.9.2, 0.9.3, 0.9.3.1, 0.9.4, 0.9.5, 0.9.6, 0.9.6.1, 0.9.7, 0.9.7.1, 0.9.7.2, 0.9.8, 0.9.9, 0.10.0, 0.10.0.1, 0.10.0.2, 2011.1, 2011.1.0.1
Change log CHANGES
Dependencies AERN-Basics (==2011.1.0.1), base (>=4 && <4.3), criterion (==0.5.*), 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)
Maintainer mikkonecny@gmail.com
Stability experimental
Category Data, Math
Home page http://code.google.com/p/aern/
Uploaded Wed May 11 11:31:11 UTC 2011 by MichalKonecny
Distributions NixOS:2011.1.0.1
Downloads 5984 total (62 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-12-05 [all 4 reports]

Modules

  • Numeric
    • AERN
      • Misc
        • Numeric.AERN.Misc.IntegerArithmetic
      • RealArithmetic
        • Numeric.AERN.RealArithmetic.Bench
        • Numeric.AERN.RealArithmetic.ExactOps
        • Numeric.AERN.RealArithmetic.Laws
        • Numeric.AERN.RealArithmetic.Measures
        • Numeric.AERN.RealArithmetic.NumericOrderRounding
          • InPlace
            • Numeric.AERN.RealArithmetic.NumericOrderRounding.InPlace.OpsDefaultEffort
            • Numeric.AERN.RealArithmetic.NumericOrderRounding.InPlace.OpsImplicitEffort
          • Numeric.AERN.RealArithmetic.NumericOrderRounding.OpsDefaultEffort
          • Numeric.AERN.RealArithmetic.NumericOrderRounding.OpsImplicitEffort
        • Numeric.AERN.RealArithmetic.RefinementOrderRounding
          • ElementaryFromFieldOps
            • Numeric.AERN.RealArithmetic.RefinementOrderRounding.ElementaryFromFieldOps.Exponentiation
          • InPlace
            • Numeric.AERN.RealArithmetic.RefinementOrderRounding.InPlace.OpsDefaultEffort
            • Numeric.AERN.RealArithmetic.RefinementOrderRounding.InPlace.OpsImplicitEffort
          • Numeric.AERN.RealArithmetic.RefinementOrderRounding.OpsDefaultEffort
          • Numeric.AERN.RealArithmetic.RefinementOrderRounding.OpsImplicitEffort

Downloads

Maintainer's Corner

For package maintainers and hackage trustees