AERN-Real-Interval: arbitrary precision real interval arithmetic
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
- Numeric.AERN.RealArithmetic.Interval
- Basics
- AERN
Downloads
- AERN-Real-Interval-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] | 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] |
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 | 2528 total (0 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] |