module AERN2.Util.Util where import MixedTypesNumPrelude import AERN2.MP.Ball upperBound :: (IsInterval i) => i -> i upperBound :: i -> i upperBound = i -> i forall i. IsInterval i => i -> i endpointRAsInterval lowerBound :: (IsInterval i) => i -> i lowerBound :: i -> i lowerBound = i -> i forall i. IsInterval i => i -> i endpointLAsInterval intersectCN :: CN MPBall -> CN MPBall -> CN MPBall intersectCN :: CN MPBall -> CN MPBall -> CN MPBall intersectCN = CN MPBall -> CN MPBall -> CN MPBall intersectCNMPBall