AERN-Basics: foundational type classes for approximating exact real numbers

[ bsd3, data, deprecated, library, math, program ] [ Propose Tags ] [ Report a vulnerability ]
Deprecated in favor of aern2-mp, aern2-real

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.

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

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 2011.1, 2011.1.0.1
Change log CHANGES
Dependencies base (>=4 && <4.3), containers (>=0.3 && <0.4), criterion (>=0.5 && <0.6), deepseq (>=1.1.0.0 && <1.2), directory (>=1 && <2), QuickCheck (>=2.1 && <3), random (>=1.0 && <2.0), test-framework (>=0.2 && <0.4), test-framework-quickcheck2 (>=0.2 && <0.4) [details]
Tested with ghc ==6.12.3
License BSD-3-Clause
Copyright (c) 2011 Michal Konecny, Jan Duracz
Author Michal Konecny (Aston University)
Maintainer mikkonecny@gmail.com
Category Data, Math
Home page http://code.google.com/p/aern/
Uploaded by MichalKonecny at 2011-05-11T11:25:48Z
Distributions
Reverse Dependencies 4 direct, 3 indirect [details]
Executables toolAERN-bench-csv-to-gnuplot
Downloads 2700 total (3 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-10-24 [all 14 reports]