@hackage AERN-Real-Interval2011.1
arbitrary precision real interval arithmetic
Categories
License
BSD-3-Clause
Maintainer
mikkonecny@gmail.com
Links
- Homepage
- Documentation
- No source repository
- Changelog
- Security
Versions
- 2011.1.0.1 Wed, 11 May 2011
- 2011.1 Fri, 6 May 2011
Deprecated
Dependencies (7)
- AERN-Basics ==2011.1
- AERN-Real ==2011.1
- QuickCheck >=2.1 && <3
- base >=4 && <5
- deepseq >=1.1 && <2.0
- test-framework >=0.2 && <0.4 Show all…
Dependents (2)
@hackage/acme-everything, @hackage/AERN-Real-Double
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.