AERN-Real: arbitrary precision real interval arithmetic
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.
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
- InPlace
- 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
- ElementaryFromFieldOps
- Misc
- AERN
Downloads
- AERN-Real-2011.1.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 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 && <0.6), 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:11Z |
Distributions | |
Reverse Dependencies | 6 direct, 0 indirect [details] |
Downloads | 19096 total (21 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] |