aern2-real

Exact real numbers via Cauchy sequences and MPFR

https://github.com/michalkonecny/aern2

Version on this page:	0.1.1.0
LTS Haskell 22.18:	0.2.15
Stackage Nightly 2024-04-22:	0.2.15
Latest on Hackage:	0.2.15

See all snapshots aern2-real appears in

BSD-3-Clause licensed by Michal Konecny

Maintained by Michal Konecny

This version can be pinned in stack with:aern2-real-0.1.1.0@sha256:3bdfabf07683a89ac284253ba69a67bf6c267e52b7442dce33197c6ac145d202,3659

Module documentation for 0.1.1.0

AERN2
- AERN2.AccuracySG
- AERN2.Limit
- AERN2.MPBallWithGlobalPrec
- AERN2.QA
  - AERN2.QA.NetLog
  - AERN2.QA.Protocol
  - AERN2.QA.Strategy
    - AERN2.QA.Strategy.Cached
      - AERN2.QA.Strategy.Cached.Arrow
      - AERN2.QA.Strategy.Cached.NetState
    - AERN2.QA.Strategy.CachedUnsafe
    - AERN2.QA.Strategy.Parallel
- AERN2.Real
  - AERN2.Real.Arithmetic
  - AERN2.Real.Tests
  - AERN2.Real.Type
- AERN2.Sequence
  - AERN2.Sequence.Branching
  - AERN2.Sequence.Comparison
  - AERN2.Sequence.Elementary
  - AERN2.Sequence.Field
  - AERN2.Sequence.Helpers
  - AERN2.Sequence.PreludeOps
  - AERN2.Sequence.Ring
  - AERN2.Sequence.Type
- AERN2.Utils
  - AERN2.Utils.Arrows
- AERN2.WithGlobalParam
  - AERN2.WithGlobalParam.Branching
  - AERN2.WithGlobalParam.Comparison
  - AERN2.WithGlobalParam.Elementary
  - AERN2.WithGlobalParam.Field
  - AERN2.WithGlobalParam.Helpers
  - AERN2.WithGlobalParam.Ring
  - AERN2.WithGlobalParam.Type

Depends on 14 packages(full list with versions):

aern2-mp, aern2-real, aeson, base, bytestring, containers, convertible, hspec, lens, mixed-types-num, QuickCheck, random, stm, transformers

Used by 1 package in nightly-2018-06-15(full list with versions):

Exact real numbers as Cauchy sequences of MPFR approximations.

See module AERN2.Real for further documentation.

Changes

v 0.1.1.0 2017-12-06
- disable aern2-generate-netlog-elm for now
v 0.1.0.3 2017-12-06
- remove further upper bounds
v 0.1.0.2 2017-11-14
- remove most upper bounds, building with ghc 8.2
v 0.1.0.1 2017-09-12
- first release on Hackage
- fast convergent sequences indexed by AccuracySG
- arrow-based networks of nodes communicating via query-answer protocols
- networks executable with cached and parallel strategies
- network execution can be visualised in browser using an Elm frontend