The latest version of AERN-Real-Interval is 2011.1.0.1-0.
AERN-Real-Interval
Version 2011.1 revision 0 uploaded by MichalKonecny.
Package meta
- Synopsis
- arbitrary precision real interval arithmetic
- Description
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]
withl >= 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.
- Author
- Michal Konecny (Aston University)
- Bug reports
- n/a
- Category
- Data, Math
- Copyright
- (c) 2011 Michal Konecny, Jan Duracz
- Homepage
- http://code.google.com/p/aern/
- Maintainer
- mikkonecny@gmail.com
- Package URL
- n/a
- Stability
- experimental