@hackage aern2-mp0.1.3.1

Multi-precision ball (interval) arithmetic

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 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

Installation
In your cabal file:
Dependencies (10)
- base >=4 && <5
- template-haskell
- QuickCheck
- cdar
- convertible
- hspec
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)

This package provides the following types:

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

The types have instances of both MixedTypeNumPrelude type classes as well as with traditional Prelude type classes.

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