aern2-mp-0.2.2.0: src/AERN2/MP.hs
{-|
Module : AERN2.MP
Description : Multiple-precision ball arithmetic
Copyright : (c) Michal Konecny
License : BSD3
Maintainer : mikkonecny@gmail.com
Stability : experimental
Portability : portable
Multiple-precision ball arithmetic
-}
module AERN2.MP
(
-- * Interval (centre-radius) arithmetic
MPBall(..), CanBeMPBall, mpBall, CanBeMPBallP, mpBallP
, reducePrecionIfInaccurate
, giveUpIfVeryInaccurate
-- * Supporting concepts
, module AERN2.Kleenean
, module AERN2.Norm
, module AERN2.MP.Precision
, module AERN2.MP.Accuracy
, module AERN2.MP.ErrorBound
, module AERN2.MP.Enclosure
)
where
-- import MixedTypesNumPrelude
-- import qualified Prelude as P
-- import Text.Printf
import AERN2.Kleenean
import AERN2.Norm
import AERN2.MP.Precision
import AERN2.MP.Accuracy
import AERN2.MP.ErrorBound
import AERN2.MP.Enclosure
import AERN2.MP.Ball