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.

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), base (==4.*), 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 Fri May 6 00:15:17 UTC 2011 by MichalKonecny
Distributions NixOS:2011.1.0.1
Downloads 6243 total (40 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