aern2-mp

Multi-precision ball (interval) arithmetic

https://github.com/michalkonecny/aern2

Version on this page:0.1.3.1
LTS Haskell 24.18:0.2.16.1
Stackage Nightly 2025-11-03:0.2.16.1
Latest on Hackage:0.2.16.1

See all snapshots aern2-mp appears in

BSD-3-Clause licensed by Michal Konecny
Maintained by Michal Konecny
This version can be pinned in stack with:aern2-mp-0.1.3.1@sha256:3b304d35075f0bffce05c4647031fa6ee0b1f2c40a8d0df9df29b52e5bff09e7,3150

Module documentation for 0.1.3.1

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.

Changes

Change log for aern2-mp

  • v 0.1.3.1 2018-11-21
    • small fixes, mainly documentation
  • v 0.1.3.0 2018-11-20
    • only one MPFR backend - rounded
    • reduce backend-specific code
  • v 0.1.2.0 2017-11-14
    • fix compilation with haskell-mpfr
  • v 0.1.1.0 2017-11-14
    • using Claude Heiland-Allen’s Numeric.Rounded.Simple
  • v 0.1.0.1 2017-09-12
    • first release on Hackage
    • backends: hmpfr and (tweaked) rounded