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

AERN2.BoxFun.Type

Documentation

data BoxFun Source #

Constructors

BoxFun 

Fields

Instances

Instances details
Show BoxFun Source # 
Instance details

Defined in AERN2.BoxFun.Type

Methods

showsPrec :: Int -> BoxFun -> ShowS #

show :: BoxFun -> String #

showList :: [BoxFun] -> ShowS #

boundaryRestrictions :: BoxFun -> [BoxFun] Source #

valueGradientHessian :: BoxFun -> Vector (CN MPBall) -> (CN MPBall, Vector (CN MPBall), Matrix (CN MPBall)) Source #

valueGradient :: BoxFun -> Vector (CN MPBall) -> (CN MPBall, Vector (CN MPBall)) Source #

apply :: BoxFun -> Vector (CN MPBall) -> CN MPBall Source #

applyMinimum :: BoxFun -> CN MPBall Source #

applyMinimumOnBox :: BoxFun -> Vector (CN MPBall) -> CN MPBall Source #

applyMaximum :: BoxFun -> CN MPBall Source #

applyMaximumOnBox :: BoxFun -> Vector (CN MPBall) -> CN MPBall Source #

gradient :: BoxFun -> Vector (CN MPBall) -> Vector (CN MPBall) Source #

hessian :: BoxFun -> Vector (CN MPBall) -> Matrix (CN MPBall) Source #

jacobian :: [BoxFun] -> Vector (CN MPBall) -> Matrix (CN MPBall) Source #

gradientUsingGradient :: BoxFun -> Box -> Box Source #