Copyright | (c) Michal Konecny |
---|---|
License | BSD3 |
Maintainer | mikkonecny@gmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell98 |
Elementary operations on arbitrary precision dyadic balls
Ball operations (see also instances)
Helpers for constructing ball functions
fromApproxWithLipschitz Source #
:: (MPFloat -> MPFloat) |
|
-> (MPFloat -> MPFloat) |
|
-> MPFloat |
|
-> MPBall -> MPBall |
|
Computes a real function f
from correctly rounded MPFR-approximations and a number lip
which is a
Lipschitz constant for f
, i.e. |f(x) - f(y)| <= lip * |x - y|
for all x
,y
.