The latest version of aern2-mp is 0.2.16.1-0.
aern2-mp
Version 0.1.2.0 revision 1 uploaded by MichalKonecny.
Package meta
- Synopsis
- Multi-precision floats via MPFR
- Description
Arbitrary-precision dyadic numbers and interval arithmetic, via the types:
Dyadic: variable-precision floats with exact ring operations
MPBall: float ± error bound with field & elementary (interval-like) operations
By default, using hmpfr when compiling with ghc >=7.10. Older versions of ghc are no longer tested.
Set flag MPFRRounded to bind MPFR not via hmpfr but via a tweaked version of package rounded:
This backend is considerably faster than hmpfr. It is likely to become the default in future.
There is a plan to add an Integer-only backend so that this library can be used without MPFR.
- Author
- Michal Konecny
- Bug reports
- n/a
- Category
- Math
- Copyright
- (c) 2015-2017 Michal Konecny
- Homepage
- https://github.com/michalkonecny/aern2
- Maintainer
- Michal Konecny <mikkonecny@gmail.com>
- Package URL
- n/a
- Stability
- experimental