@hackage aern2-real0.1.0.1

Exact real numbers via Cauchy sequences and MPFR

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
Michal Konecny <mikkonecny@gmail.com>
Links
Versions
- 0.2.16.1 Sat, 5 Oct 2024
- 0.2.16.0 Sat, 21 Sep 2024
- 0.2.15.1 Fri, 20 Sep 2024
- 0.2.15 Tue, 11 Apr 2023
- 0.2.14.1 Mon, 10 Apr 2023
- 0.2.14 Mon, 10 Apr 2023

Installation
In your cabal file:
Tested Compilers
- 8.0.2
- 7.10.3
Dependencies (12)
- base >=4 && <5
- bytestring >=0.10 && <0.11
- containers >=0.5 && <0.6
- stm >=2.4 && <2.5
- transformers >=0.4 && <0.6
- QuickCheck >=2.7 && <2.10
Dependents (1)
@hackage/aern2-fun

Exact real numbers as Cauchy sequences of MPFR approximations.

See module AERN2.Real for further documentation.