AERN-Real-Interval

arbitrary precision real interval arithmetic http://code.google.com/p/aern/

Latest on Hackage:2011.1.0.1

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

BSD3 licensed by Michal Konecny (Aston University)
Maintained by mikkonecny@gmail.com

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.

Changes

2011.1.0.1: 11th May 2011
* minor update of dependencies and documentation to reflect inability to build with ghc 7.0.*
2011.1: 6th May 2011
* initial release of AERN-Real-Interval

comments powered byDisqus