@hackage aern2-mp0.1.3.0

Multi-precision floats via rounded (MPFR)

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
Michal Konecny <mikkonecny@gmail.com>
Links
Versions
- 0.2.15.1 Sat, 19 Aug 2023
- 0.2.15.0 Tue, 11 Apr 2023
- 0.2.14.0 Mon, 10 Apr 2023
- 0.2.11.0 Thu, 25 Aug 2022
- 0.2.10.0 Sat, 20 Aug 2022
- 0.2.9.1 Wed, 13 Jul 2022

Installation
In your cabal file:
Dependencies (10)
- base >=4 && <5
- template-haskell
- QuickCheck
- convertible
- hspec
- integer-logarithms
Dependents (5)
@hackage/aern2-fun, @hackage/aern2-real, @hackage/LPPaver, @hackage/aern2-mfun, @hackage/PropaFP

Package Flags

usecdar

(off by default)

Use an integer-only backend (work in progress, not default)

Arbitrary-precision dyadic numbers and safely-rounded interval arithmetic:

Dyadic: variable-precision floats with exact ring operations
MPBall: float ± error bound with field & elementary (interval-like) operations

There is a plan to add an Integer-only backend so that aern2-mp can be used without MPFR.