@hackage AERN-Real2011.1.0.1
arbitrary precision real interval arithmetic
Categories
License
BSD-3-Clause
Maintainer
mikkonecny@gmail.com
Links
- Homepage
- Documentation
- No source repository
- Changelog
- Security
Versions
Deprecated
Dependencies (6)
- AERN-Basics ==2011.1.0.1
- QuickCheck >=2.1 && <3
- base >=4 && <4.3
- criterion >=0.5 && <0.6
- test-framework >=0.2 && <0.4
- test-framework-quickcheck2 >=0.2 && <0.4 Show all…
Dependents (6)
@hackage/AERN-RnToRm, @hackage/acme-everything, @hackage/AERN-Real-Double, @hackage/AERN-Net, @hackage/AERN-RnToRm-Plot, @hackage/AERN-Real-Interval
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.