aern2-mfun-0.2.9.0: src/AERN2/Util/Util.hs
module AERN2.Util.Util where import MixedTypesNumPrelude import AERN2.MP.Ball upperBound :: (IsInterval i) => i -> i upperBound = endpointRAsInterval lowerBound :: (IsInterval i) => i -> i lowerBound = endpointLAsInterval intersectCN :: CN MPBall -> CN MPBall -> CN MPBall intersectCN = intersectCNMPBall