AERN2.BoxFun.Optimisation

Documentation

globalMinimumGreaterThanN :: BoxFun -> Accuracy -> CN Rational -> Precision -> Bool

minFun :: BoxFun -> Accuracy -> Precision -> (Integer, CN MPBall)

data SearchBox

Constructors

SearchBox

Fields

• extents :: Box
• minimum :: CN MPBall

Instances

Eq SearchBox

Defined in AERN2.BoxFun.Optimisation

Methods

(==) :: SearchBox -> SearchBox -> Bool

(/=) :: SearchBox -> SearchBox -> Bool

Ord SearchBox

Defined in AERN2.BoxFun.Optimisation

Methods

compare :: SearchBox -> SearchBox -> Ordering

(<) :: SearchBox -> SearchBox -> Bool

(<=) :: SearchBox -> SearchBox -> Bool

(>) :: SearchBox -> SearchBox -> Bool

(>=) :: SearchBox -> SearchBox -> Bool

max :: SearchBox -> SearchBox -> SearchBox

min :: SearchBox -> SearchBox -> SearchBox

Show SearchBox

Defined in AERN2.BoxFun.Optimisation

Methods

showsPrec :: Int -> SearchBox -> ShowS

show :: SearchBox -> String

showList :: [SearchBox] -> ShowS

HasPrecision SearchBox

Defined in AERN2.BoxFun.Optimisation

Methods

getPrecision :: SearchBox -> Precision

CanSetPrecision SearchBox

Defined in AERN2.BoxFun.Optimisation

Methods

setPrecision :: Precision -> SearchBox -> SearchBox

globalMinimumWithCutoff :: BoxFun -> Accuracy -> CN MPBall -> Precision -> CN MPBall

globalMinimum :: BoxFun -> Accuracy -> Precision -> CN MPBall

bestLocalMinimum :: BoxFun -> Box -> Accuracy -> Precision -> (Integer, CN MPBall)

bestLocalMinimumWithCutoff :: BoxFun -> Box -> Accuracy -> CN MPBall -> Precision -> (Integer, CN MPBall)

lipschitzContraction :: BoxFun -> Box -> SearchBox -> SearchBox

lipschitzRange :: BoxFun -> CN MPBall -> Box -> Box -> Box -> CN MPBall -> CN MPBall

applyLipschitz :: BoxFun -> Box -> CN MPBall

increasePrecision :: Precision -> Precision

newtonStep :: BoxFun -> Accuracy -> Vector (CN MPBall) -> Vector (CN MPBall) -> Matrix (CN MPBall) -> SearchBox -> Bool -> Maybe (Bool, SearchBox)

processBox :: BoxFun -> Accuracy -> CN MPBall -> SearchBox -> (CN MPBall, [SearchBox])

split :: BoxFun -> Vector (CN MPBall) -> CN MPBall -> Box -> (CN MPBall, [SearchBox])

maxBoxFunGreaterThanN :: BoxFun -> BoxFun -> CN Rational -> Precision -> Bool