@hackage aern2-real0.1.2

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:
Dependencies (12)
- QuickCheck >=2.7
- aern2-mp >=0.1.4
- aeson >=0.11
- base >=4 && <5
- bytestring >=0.10
- containers >=0.5
Dependents (1)
@hackage/aern2-fun

Exact real numbers as Cauchy sequences of MPFR approximations.

See module AERN2.Real for further documentation.