packages feed

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