{-# OPTIONS_GHC -Wno-orphans #-}
module AERN2.MP.Ball
(
module AERN2.Norm
, module AERN2.MP.Precision
, module AERN2.MP.Accuracy
, module AERN2.MP.ErrorBound
, module AERN2.MP.Enclosure
, MPBall(..), CanBeMPBall, mpBall, cnMPBall, CanBeMPBallP, mpBallP, cnMPBallP
, reducePrecionIfInaccurate
, giveUpIfVeryInaccurate
, piBallP
, intersectCNMPBall
, hullMPBall
, byEndpointsMP
, fromApproxWithLipschitz
)
where
import MixedTypesNumPrelude
import AERN2.Norm
import AERN2.MP.Precision
import AERN2.MP.Accuracy
import AERN2.MP.Enclosure
import AERN2.MP.ErrorBound (ErrorBound, CanBeErrorBound, errorBound)
import AERN2.MP.Ball.Type
import AERN2.MP.Ball.Conversions ()
import AERN2.MP.Ball.Comparisons
import AERN2.MP.Ball.Field ()
import AERN2.MP.Ball.Limit ()
import AERN2.MP.Ball.Elementary
import AERN2.MP.Ball.PreludeOps ()
instance Ring MPBall
instance Ring (CN MPBall)
instance OrderedRing MPBall
instance OrderedRing (CN MPBall)
instance OrderedCertainlyRing MPBall
instance OrderedCertainlyRing (CN MPBall)