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

Index

!AERN2.Linear.Vector.Type
+++AERN2.Linear.Vector.Type
ackleyAERN2.BoxFun.TestFunctions
allAERN2.Linear.Vector.Type
anyAERN2.Linear.Vector.Type
applyAERN2.BoxFun.Type
applyLipschitzAERN2.BoxFun.Optimisation
applyMaximumAERN2.BoxFun.Type
applyMaximumOnBoxAERN2.BoxFun.Type
applyMinimumAERN2.BoxFun.Type
applyMinimumOnBoxAERN2.BoxFun.Type
bestLocalMinimumAERN2.BoxFun.Optimisation
bestLocalMinimumWithCutoffAERN2.BoxFun.Optimisation
bf_evalAERN2.BoxFun.Type
bisectAERN2.BoxFun.Box
boundaryRestrictionsAERN2.BoxFun.Type
BoxAERN2.BoxFun.Box
BoxFun 
1 (Type/Class)AERN2.BoxFun.Type
2 (Data Constructor)AERN2.BoxFun.Type
CanBeDifferentialAERN2.AD.Type, AERN2.AD.Differential
clampedCosAERN2.AD.GenericOperations, AERN2.AD.Differential
clampedSinAERN2.AD.GenericOperations, AERN2.AD.Differential
columnsAERN2.Linear.Matrix.Type
consAERN2.Linear.Vector.Type
createAERN2.Linear.Matrix.Type
createEnclosingBoxAERN2.BoxFun.Box
diagAERN2.Linear.Matrix.Type
DifferentialAERN2.AD.Type, AERN2.AD.Differential
differentialAERN2.AD.Type, AERN2.AD.Differential
diff_d2xAERN2.AD.Type, AERN2.AD.Differential
diff_dxAERN2.AD.Type, AERN2.AD.Differential
diff_dxtAERN2.AD.Type, AERN2.AD.Differential
diff_xAERN2.AD.Type, AERN2.AD.Differential
dimensionAERN2.BoxFun.Type
domainAERN2.BoxFun.Type
dropAERN2.Linear.Vector.Type
elemAERN2.Linear.Vector.Type
ellOneNormAERN2.BoxFun.Box
emptyAERN2.Linear.Vector.Type
entriesAERN2.Linear.Matrix.Type
enumFromToAERN2.Linear.Vector.Type
extentsAERN2.BoxFun.Optimisation
findAERN2.Linear.Vector.Type
foldl'AERN2.Linear.Vector.Type
fromListAERN2.Linear.Vector.Type
fromListDomainAERN2.BoxFun.TestFunctions
fullBisectAERN2.BoxFun.Box
getAERN2.Linear.Matrix.Type
getEndpointsAERN2.BoxFun.Box
globalMinimumAERN2.BoxFun.Optimisation
globalMinimumGreaterThanNAERN2.BoxFun.Optimisation
globalMinimumWithCutoffAERN2.BoxFun.Optimisation
gradientAERN2.BoxFun.Type
gradientUsingGradientAERN2.BoxFun.Type
griewankAERN2.BoxFun.TestFunctions
heightAERN2.Linear.Matrix.Type
heron1pAERN2.BoxFun.TestFunctions
heron1qAERN2.BoxFun.TestFunctions
heron2pAERN2.BoxFun.TestFunctions
heron2qAERN2.BoxFun.TestFunctions
heron3pAERN2.BoxFun.TestFunctions
heron3p2AERN2.BoxFun.TestFunctions
heron3qAERN2.BoxFun.TestFunctions
heron3q2AERN2.BoxFun.TestFunctions
heron4pAERN2.BoxFun.TestFunctions
heron4qAERN2.BoxFun.TestFunctions
hessianAERN2.BoxFun.Type
himmelblauAERN2.BoxFun.TestFunctions
iAERN2.BoxFun.TestFunctions
identityAERN2.Linear.Matrix.Type
imap 
1 (Function)AERN2.Linear.Vector.Type
2 (Function)AERN2.Linear.Matrix.Type
increasePrecisionAERN2.BoxFun.Optimisation
inftyNorm 
1 (Function)AERN2.Linear.Vector.Type
2 (Function)AERN2.Linear.Matrix.Type
3 (Function)AERN2.BoxFun.Box
intersectCNAERN2.Util.Util
intersectionCertainlyEmptyAERN2.BoxFun.Box
intersectListAERN2.BoxFun.Box
intLengthAERN2.Linear.Vector.Type
inverseAERN2.Linear.Matrix.Inverse
jacobianAERN2.BoxFun.Type
lengthAERN2.Linear.Vector.Type
lipschitzContractionAERN2.BoxFun.Optimisation
lipschitzRangeAERN2.BoxFun.Optimisation
lowerBoundAERN2.Util.Util
lowerBoundsAERN2.BoxFun.Box
mapAERN2.Linear.Vector.Type
Matrix 
1 (Type/Class)AERN2.Linear.Matrix.Type
2 (Data Constructor)AERN2.Linear.Matrix.Type
maxBoxFunGreaterThanNAERN2.BoxFun.Optimisation
minFunAERN2.BoxFun.Optimisation
minimumAERN2.BoxFun.Optimisation
mxp1AERN2.BoxFun.TestFunctions
newtonStepAERN2.BoxFun.Optimisation
nonEmptyIntersectionAERN2.BoxFun.Box
nullAERN2.Linear.Vector.Type
orderAERN2.AD.Type, AERN2.AD.Differential
OrderOneAERN2.AD.Type, AERN2.AD.Differential
OrderTwoAERN2.AD.Type, AERN2.AD.Differential
OrderZeroAERN2.AD.Type, AERN2.AD.Differential
processBoxAERN2.BoxFun.Optimisation
ratz4AERN2.BoxFun.TestFunctions
rosenbrockAERN2.BoxFun.TestFunctions
rowsAERN2.Linear.Matrix.Type
SearchBox 
1 (Type/Class)AERN2.BoxFun.Optimisation
2 (Data Constructor)AERN2.BoxFun.Optimisation
setValueAERN2.AD.Type, AERN2.AD.Differential
shekelAERN2.BoxFun.TestFunctions
siam4AERN2.BoxFun.TestFunctions
singletonAERN2.Linear.Vector.Type
sliceAERN2.Linear.Vector.Type
splitAERN2.BoxFun.Optimisation
symmetricDomainAERN2.BoxFun.TestFunctions
takeAERN2.Linear.Vector.Type
toListAERN2.Linear.Vector.Type
upperBoundAERN2.Util.Util
upperBoundsAERN2.BoxFun.Box
valueGradientAERN2.BoxFun.Type
valueGradientHessianAERN2.BoxFun.Type
VectorAERN2.Linear.Vector.Type
widestDirectionAERN2.BoxFun.Box
width 
1 (Function)AERN2.Linear.Matrix.Type
2 (Function)AERN2.BoxFun.Box
xe2m1AERN2.BoxFun.TestFunctions
xe2p1AERN2.BoxFun.TestFunctions
xm1AERN2.BoxFun.TestFunctions
zipAERN2.Linear.Vector.Type
zipWithAERN2.Linear.Vector.Type