The latest version of aern2-mp is 0.2.16.1-0.

aern2-mp

Version 0.1.3.1 revision 0 uploaded by MichalKonecny.

Package meta

Synopsis
Multi-precision ball (interval) arithmetic
Description

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.

Author
Michal Konecny
Bug reports
n/a
Category
Math
Copyright
(c) 2015-2018 Michal Konecny
Homepage
https://github.com/michalkonecny/aern2
Maintainer
Michal Konecny <mikkonecny@gmail.com>
Package URL
n/a
Stability
experimental

Components