{-# 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 Field MPBall
instance Field (CN MPBall)
instance OrderedRing MPBall
instance OrderedRing (CN MPBall)
instance OrderedField MPBall
instance OrderedField (CN MPBall)
instance OrderedCertainlyRing MPBall
instance OrderedCertainlyRing (CN MPBall)
instance OrderedCertainlyField MPBall
instance OrderedCertainlyField (CN MPBall)