aern2-mfun-0.2.9.0: Multi-variate real function optimisation and proving
Safe HaskellNone
LanguageHaskell2010

AERN2.Util.Util

Documentation

upperBound :: IsInterval i => i -> i Source #

lowerBound :: IsInterval i => i -> i Source #

intersectCN :: CN MPBall -> CN MPBall -> CN MPBall Source #