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