AERN-RnToRm-0.3.0.3: polynomial function enclosures (PFEs) approximating exact real functionsContentsIndex
Search:
affine
1 (Function)
2 (Function)
applyTupleFn
bestSplit
bisect
BisectionTree
BisecTreePath
bisectUnbisectDepth
bistrDepth
bistrDir
bistrDom
bistrHI
bistrLO
bistrPt
bistrVal
bottomApprox
1 (Function)
2 (Function)
Box
BTP_H
BTP_L
BTP_R
chebToXBasis
chebyEvalTsExact
chebyEvalTsRoundDownUp
chebyXCoeffs
chebyXCoeffsLists
check
1 (Function)
2 (Function)
chplAffine
chplCheck
chplCoeffs
chplCompose
chplConst
chplConstTermKey
chplDifferentiate
chplEval
chplEvalApprox
chplEvalDown
chplEvalUp
chplExp
chplGetDegree
chplGetGranularity
chplGetVars
chplIntegrate
chplIsConstTermKey
chplLog
chplMax
chplNonneg
chplNonnegCubic
chplNormalise
chplNormaliseDown
chplNormaliseUp
chplPartialEvalApprox
chplPow
chplRecip
chplReduceDegree
chplReduceDegreeDown
chplReduceDegreeUp
chplScale
chplScaleApprox
chplScaleDown
chplScaleUp
chplSetGranularity
chplSetMinGranularity
chplShow
chplSineCosine
chplSqrt
chplTermArity
chplTermOrder
chplUpperBoundAffine
chplUpperBoundAffineCorners
chplUpperBoundQuadr
chplVar
chplVolumeAboveZero
classifyPosition
collectDomValues
collectValues
combineWith
compatible
compose
composeDown
composeThin
composeUp
const
1 (Function)
2 (Function)
3 (Function)
4 (Function)
cos
defaultVar
delete
Depth
difference
doBistr
dom
DomainBox
DomainBoxMappable
DomainIntBox
doMap
doMapLeaves
domra2ranra
DomTransl
1 (Data Constructor)
2 (Type/Class)
dtrDom
dtrFromUnitConst
dtrFromUnitSlope
dtrToUnitConst
dtrToUnitSlope
elems
ERChebPoly
1 (Data Constructor)
2 (Type/Class)
ERFnApprox
erfnCoeffGranularity
ERFnContext
1 (Data Constructor)
2 (Type/Class)
erfnContext
ERFnDomApprox
ERFnDomEdgesApprox
1 (Data Constructor)
2 (Type/Class)
erfnDomTransl
ERFnDomTranslApprox
1 (Data Constructor)
2 (Type/Class)
erfnEdges
erfnGlobal
ERFnInterval
1 (Data Constructor)
2 (Type/Class)
ERFnIntervalAny
erfnLowerNeg
erfnMainVolume
erfnMaxDegree
ERFnPiecewise
1 (Data Constructor)
2 (Type/Class)
ERFnTuple
1 (Data Constructor)
2 (Type/Class)
erfnTuple
erfnUnitApprox
erfnUpper
errorModule
ERUnitFnApprox
ERUnitFnBase
eval
1 (Function)
2 (Function)
evalApprox
evalDown
evalUp
exp
FA
FAPD
fapd04X0
fapd12X1
fapd13X0
fapdConst01
fapdConst1
fapdConstU
fapdUX0
fapdUX1
FAPE
fape12X1
fape13X0
fapeConst01
fapeConst1
fapeConstU
fapeMultiVar
fapeTestMult
fapeTestPEval
fapeUConst1
fapeUConst13
fapeUConst13InitPt
fapeUX0
fapeUX1
FAPT
FAPU
fapuConst1
FAPWP
fapwUConst1
fapwUConst13
fapwUConst13InitPt
fapwUUX0
fapwUUX1
fapwUX0
fapwUX1
filter
findWithDefault
fn1
fn2
fn3
FnZipper
FnZ_H
FnZ_L
FnZ_R
fold
foldWithKey
fromAscList
fromList
getBestPrecision
getDegree
1 (Function)
2 (Function)
getGranularity
getMaxDegree
getRangeApprox
getTupleSize
insert
insertWith
integrate
1 (Function)
2 (Function)
3 (Function)
integrateDown
integrateMeasureImprovement
integrateMeasureImprovementUnary
integrateUnary
integrateUp
intersectionWith
intersectMeasureImprovement
1 (Function)
2 (Function)
isLeaf
isNoinfo
keys
Leaf
log
lookup
lookupSubdomain
lookupSubtreeDom
lowerBound
map
mapLeaves
mapWithDom
mapWithKey
max
maxDown
maxUp
member
min
minDown
minUp
newVarID
Node
noinfo
nonneg
notMember
partialEval
partialEvalApprox
partialEvalApproxDown
partialEvalApproxUp
partialIntersect
path2dom
proj
raEndpoints
raFromEndpoints
ranra2domra
recip
recipDown
recipUp
reduceDegree
reduceDegreeDown
reduceDegreeUp
removeVars
scale
1 (Function)
2 (Function)
scaleApprox
scaleApproxDown
scaleApproxUp
setGranularity
setMaxDegree
setMinGranularity
showVar
sin
singleton
split
1 (Function)
2 (Function)
sqrt
sync2
syncMany
TermKey
termXterms
testIntegrE
testIntegrP
toAscList
toList
tuple
unary
unBisect
unify
union
unionWith
updateFnZ
upperBound
ValueCombiner
ValueSplitter
VariableID
VarID
volume
1 (Function)
2 (Function)
volumeAboveZero
x
zipFromOrigin
zipOnSubdomain
zipWith
zipWithDefault
zipWithDefaultSecond