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.37:	0.2.15.1
Stackage Nightly 2024-10-10:	0.2.16.1
Latest on Hackage:	0.2.16.1

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

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 lts-11.22(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