aern2-real-0.1.1.0: Exact real numbers via Cauchy sequences and MPFR

Signatures

Modules

• AERN2
  Submodules

  • AERN2.AccuracySG strict and guide accuracy pairs
  • AERN2.Limit
  • AERN2.MPBallWithGlobalPrec MPBall parametrised by a global precision
  • QA
    Submodules

    • AERN2.QA.NetLog QA network log data structure
    • AERN2.QA.Protocol Cacheable question-answer protocols
    • Strategy
      Submodules

      •  AERN2.QA.Strategy.Cached QA net evaluation with answer caching
        Submodules

        • AERN2.QA.Strategy.Cached.Arrow QA net evaluation with answer caching
        • AERN2.QA.Strategy.Cached.NetState state of a QA net
      • AERN2.QA.Strategy.CachedUnsafe QA net plain evaluation with unsafe IO caching
      • AERN2.QA.Strategy.Parallel QA net parallel evaluation
  •  AERN2.Real Exact real numbers
    Submodules

    • AERN2.Real.Arithmetic arithmetic operations on CR
    • AERN2.Real.Tests Tests for operations on cauchy real numbers
    • AERN2.Real.Type The type of Cauchy real numbers
  •  AERN2.Sequence fast convergent sequences
    Submodules

    • AERN2.Sequence.Branching branching operations for sequences
    • AERN2.Sequence.Comparison comparison operations on sequences
    • AERN2.Sequence.Elementary elementary functions on sequences
    • AERN2.Sequence.Field field operations on sequences
    • AERN2.Sequence.Helpers helper functions for sequence operations
    • AERN2.Sequence.PreludeOps Instances of Prelude.Num etc
    • AERN2.Sequence.Ring ring operations on sequences
    • AERN2.Sequence.Type The type of fast convergent sequences
  • Utils
    Submodules

    • AERN2.Utils.Arrows Miscellaneous arrow-generic functions
  •  AERN2.WithGlobalParam adding a global parameter to a type
    Submodules

    • AERN2.WithGlobalParam.Branching branching operations
    • AERN2.WithGlobalParam.Comparison comparison operations
    • AERN2.WithGlobalParam.Elementary elementary functions on sequences
    • AERN2.WithGlobalParam.Field field operations
    • AERN2.WithGlobalParam.Helpers helper functions for operations
    • AERN2.WithGlobalParam.Ring ring operations
    • AERN2.WithGlobalParam.Type Values that depend on a globale state