AERN-Basics

foundational type classes for approximating exact real numbers 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

Type-classes abstracting various kinds of approximations for exact entities:

  • those that are near to the exact value due to limited granularity (eg floating point numbers with fixed granularity (aka precision) approximating real numbers or bounded-degree polynomials with floating point coefficients approximating continuous functions)

  • those that somehow enclose the exact entity, usually using a pair of endpoints

Type classes are provided to capture:

  • the partial, sometimes semi-decided, natural ordering (<=) used in relation to nearness

  • the partial, sometimes semi-decided, refinement ordering (⊑) used in relation to enclosure

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-Basics

comments powered byDisqus