AERN2.BoxFun.Box

Documentation

type Box = Vector (CN MPBall)

intersectionCertainlyEmpty :: Box -> Box -> Bool

nonEmptyIntersection :: Box -> Box -> Box

inftyNorm :: Box -> CN MPBall

ellOneNorm :: Box -> CN MPBall

width :: Box -> CN MPBall

widestDirection :: Box -> Integer

bisect :: Integer -> Box -> (Box, Box)

fullBisect :: Box -> [Box]

getEndpoints :: Box -> [(MPBall, MPBall)]

lowerBounds :: Box -> Box

upperBounds :: Box -> Box

createEnclosingBox :: Box -> Box -> Box

intersectList :: [Box] -> Box

Orphan instances

IsBall Box

Associated Types

type CentreType Box

Methods

centre :: Box -> CentreType Box

centreAsBallAndRadius :: Box -> (Box, ErrorBound)

centreAsBall :: Box -> Box

radius :: Box -> ErrorBound

updateRadius :: (ErrorBound -> ErrorBound) -> Box -> Box

makeExactCentre :: Box -> Box

CanNeg Box

Associated Types

type NegType Box

Methods

negate :: Box -> NegType Box