The AERN-Basics package

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.

Properties

Versions	2011.1, 2011.1.0.1
Dependencies	base (≥4 & <4.3), containers (0.3.), criterion (0.5.), deepseq (≥1.1.0.0 & <1.2), directory (1.*), QuickCheck (≥2.1 & <3), random (≥1.0 & <2.0), test-framework (≥0.2 & <0.4), test-framework-quickcheck2 (≥0.2 & <0.4)
License	BSD3
Copyright	(c) 2011 Michal Konecny, Jan Duracz
Author	Michal Konecny (Aston University)
Maintainer	mikkonecny@gmail.com
Stability	experimental
Category	Data, Math
Home page	http://code.google.com/p/aern/
Executables	toolAERN-bench-csv-to-gnuplot
Upload date	Wed May 11 11:25:48 UTC 2011
Uploaded by	MichalKonecny
Build failure	ghc-7.0 (log), ghc-7.4 (log)

Modules

Numeric
- AERN
  - Basics
    - Numeric.AERN.Basics.Bench
    - Numeric.AERN.Basics.Consistency
    - Numeric.AERN.Basics.Effort
    - Numeric.AERN.Basics.Exception
    - Laws
      - Numeric.AERN.Basics.Laws.Operation
      - Numeric.AERN.Basics.Laws.OperationRelation
      - Numeric.AERN.Basics.Laws.PartialRelation
      - Numeric.AERN.Basics.Laws.Relation
      - Numeric.AERN.Basics.Laws.RoundedOpInPlace
      - Numeric.AERN.Basics.Laws.RoundedOperation
      - Numeric.AERN.Basics.Laws.Utilities
    - Numeric.AERN.Basics.Mutable
    - Numeric.AERN.Basics.NumericOrder
      - InPlace
        Numeric.AERN.Basics.NumericOrder.InPlace.OpsDefaultEffort
        Numeric.AERN.Basics.NumericOrder.InPlace.OpsImplicitEffort
      - Numeric.AERN.Basics.NumericOrder.OpsDefaultEffort
      - Numeric.AERN.Basics.NumericOrder.OpsImplicitEffort
    - Numeric.AERN.Basics.PartialOrdering
    - Numeric.AERN.Basics.RefinementOrder
      - InPlace
        Numeric.AERN.Basics.RefinementOrder.InPlace.OpsDefaultEffort
        Numeric.AERN.Basics.RefinementOrder.InPlace.OpsImplicitEffort
      - Numeric.AERN.Basics.RefinementOrder.OpsDefaultEffort
      - Numeric.AERN.Basics.RefinementOrder.OpsImplicitEffort
    - Numeric.AERN.Basics.ShowInternals
  - Misc
    - Numeric.AERN.Misc.Bool
    - Numeric.AERN.Misc.Debug
    - Numeric.AERN.Misc.List
    - Numeric.AERN.Misc.Maybe
    - Numeric.AERN.Misc.QuickCheck

Downloads

AERN-Basics-2011.1.0.1.tar.gz (Cabal source package)
package description (included in the package)