AERN-RnToRm-0.4.9.1: polynomial function enclosures (PFEs) approximating exact real functionsContentsIndex
Search:
*.
*^
1 (Function)
2 (Function)
+.
+:
+^
1 (Function)
2 (Function)
-.
-:
-^
1 (Function)
2 (Function)
addConsts2
addConsts3
affine
1 (Function)
2 (Function)
applyTupleFn
atanEncl
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
chebyXCoeffs
chebyXCoeffsLists
check
1 (Function)
2 (Function)
chplAdd
chplAddConst
chplAddConstDown
chplAddConstUp
chplAffine
chplAtKeyPointsCanBeLeq
chplAtKeyPointsPointwiseBinaryDownUpConsistent
chplBounds
chplBoundsAffine
chplCheck
chplCoeffs
chplCompareApprox
chplConst
chplConstTermKey
chplCountTerms
chplEval
chplEvalDown
chplEvalUp
chplGetConst
chplGetDegree
chplGetGranularity
chplGetVars
chplHasNoNaN
chplHasNoNaNOrInfty
chplIntegrate
chplIsConstTermKey
chplLowerBound
chplMax
chplMaxDn
chplMaxUp
chplMin
chplMinDn
chplMinUp
chplMultiply
chplNeg
chplNonneg
chplNonnegCubic
chplNonnegDown
chplNonnegUp
chplNonpos
chplNonposDown
chplNonposUp
chplPartialRAEval
chplRAEval
chplReduceDegree
chplReduceDegreeDown
chplReduceDegreeUp
chplReduceTermCount
chplReduceTermCountDown
chplReduceTermCountUp
chplRemoveZeroTermsUp
chplScale
chplScaleDown
chplScaleRA
chplScaleRADown
chplScaleRAUp
chplScaleUp
chplSetGranularity
chplSetMinGranularity
chplShow
chplSquare
chplTermArity
chplTermOrder
chplTestOptions
chplTests
chplTimesLoHi
chplUpperBound
chplUpperBoundQuadr
chplVar
classifyPosition
collectDomValues
collectValues
combineWith
compare
1 (Function)
2 (Function)
compareApprox
compatible
composeEncl
composeManyEncls
composeManyUp
composeNonDecreasing
composeNonIncreasing
composeUp
composeWithThin
compose_encl_consistent
const
1 (Function)
2 (Function)
3 (Function)
4 (Function)
constEncl
cosEncl
defaultVar
Deg20Size20
1 (Type/Class)
2 (Data Constructor)
delete
Depth
difference
doBistr
dom
DomainBox
DomainBoxMappable
DomainIntBox
doMap
doMapLeaves
domra2ranra
DomTransl
1 (Type/Class)
2 (Data Constructor)
dtrDom
dtrFromUnitConst
dtrFromUnitSlope
dtrToUnitConst
dtrToUnitSlope
E
elems
enclAddConst
enclAddErr
enclAtan
enclAtanAux
enclAtKeyPointsConsistent
enclAtKeyPointsPointwiseBinaryDownUpConsistent
enclAtKeyPointsPointwiseUnaryDownUpConsistent
enclBounds
enclCompose
enclComposeMany
enclConst
enclCosine
enclEval
enclEvalInner
enclEvalTs
enclExp
enclLog
enclMultiply
enclNeg
enclPow
enclRAConst
enclRAEval
enclRAEvalInner
enclRAScale
enclRecip
enclReduceDegree
enclReduceSize
enclRestrictRange
enclScale
enclScaleNonneg
enclSine
enclSqrt
enclSquare
enclTests
enclThin
enclThinTimes
encl_op_ParalEncl_consistent
encl_op_ThickEncl_consistent
encl_op_ThinEncl_consistent
ERChebPoly
1 (Type/Class)
2 (Data Constructor)
ERFnApprox
erfnCoeffGranularity
ERFnContext
1 (Type/Class)
2 (Data Constructor)
erfnContext
ERFnDomApprox
ERFnDomEdgesApprox
1 (Type/Class)
2 (Data Constructor)
erfnDomTransl
ERFnDomTranslApprox
1 (Type/Class)
2 (Data Constructor)
erfnEdges
erfnGlobal
ERFnInterval
1 (Type/Class)
2 (Data Constructor)
ERFnIntervalAny
erfnLowerNeg
erfnMainVolume
erfnMaxDegree
erfnMaxSize
ERFnPiecewise
1 (Type/Class)
2 (Data Constructor)
ERFnTuple
1 (Type/Class)
2 (Data Constructor)
erfnTuple
erfnUnitApprox
erfnUpper
errorModule
ERUnitFnApprox
ERUnitFnBase
eval
evalApprox
evalUp
expEncl
f
FA
failed2
FAPD
fapd04X0
fapd12X1
fapd13X0
fapdConst01
fapdConst1
fapdConstU
fapdT1
fapdT2
fapdT3
fapdUX0
fapdUX1
fapdUX2
FAPE
fape12X1
fape13X0
fapeConst01
fapeConst1
fapeConstU
fapeMultiVar
fapeTestMult
fapeTestPEval
fapeUConst1
fapeUConst13
fapeUConst13InitPt
fapeUX0
fapeUX1
FAPT
FAPU
fapuConst1
FAPWP
fapwUConst1
fapwUConst13
fapwUConst13InitPt
fapwUMX0
fapwUMX1
fapwUPX0
fapwUPX1
fapwUUX0
fapwUUX1
filter
findWithDefault
fn1
fn2
fn3
FnZipper
FnZ_H
FnZ_L
FnZ_R
fold
foldWithKey
fromAscList
fromList
getBestPrecision
getDegree
1 (Function)
2 (Function)
getGranularity
getKeyPoints
getKeyPointsForVars
getMaxDegree
getMaxSize
getRangeApprox
getSize
1 (Function)
2 (Function)
getTupleSize
getVariables
1 (Function)
2 (Function)
huge
hugeE
initArith
initialiseBaseArithmetic
insert
insertWith
Int20
1 (Type/Class)
2 (Data Constructor)
integrate
1 (Function)
2 (Function)
3 (Function)
integrateMeasureImprovement
integrateMeasureImprovementUnary
integrateUnary
intersectionWith
intersectMeasureImprovement
1 (Function)
2 (Function)
isLeaf
isNoinfo
isValid
jas1
keyPointsConsistencyCheck
1 (Function)
2 (Function)
keyPointsPointwiseConsistencyCheck
1 (Function)
2 (Function)
keys
Leaf
logEncl
lookup
lookupSubdomain
lookupSubtreeDoms
makeParalEncl
makeThickEncl
map
mapLeaves
mapWithDom
mapWithKey
maxUp
member
million
millionE
minUp
mkRunTests
mone
moneE
multConsts2
multConsts3
multiplyEncl
neg
newVarID
Node
noDomainRestriction
noinfo
notMember
one
oneE
P
partialEval
partialEvalApproxUp
partialIntersect
path2dom
PNoLimits
1 (Type/Class)
2 (Data Constructor)
polyBase13
polyBase5
polynomials1200ish
polynomials1200ishSize10
polynomials1200ishSize10Degree10
polynomials1200ishSize10Degree3
polynomials1200ishSize30
polynomials200ish
polynomials200ishSize30
polynomials200ishSmall
polynomials40ish
polynomials40ishSmall
powers10
powers2
powers2Small
powers4
powers4Small
powersAll
powersForExps
proj
prop_chplAddConst_consistent
prop_chplAdd_consistent
prop_chplBounds_consistent
prop_chplMax_consistent
prop_chplMin_consistent
prop_chplMult_consistent
prop_chplReduceDegree_consistent
prop_chplReduceTermCount_consistent
prop_chplScale_consistent
prop_enclAdd_ThickEncls_consistent
prop_enclAtan_ParalEncl_consistent
prop_enclAtan_ThickEncl_consistent
prop_enclAtan_ThinEncl_consistent
prop_enclCompose_ParalEncl_consistent
prop_enclCompose_ThickEncl_consistent
prop_enclCompose_ThinEncl_consistent
prop_enclCosine_ParalEncl_consistent
prop_enclCosine_ThickEncl_consistent
prop_enclCosine_ThinEncl_consistent
prop_enclExp_ParalEncl_consistent
prop_enclExp_ThickEncl_consistent
prop_enclExp_ThinEncl_consistent
prop_enclMultiply_ParalEncls_consistent
prop_enclMultiply_ThickEncls_consistent
prop_enclRecip_ParalEncl_consistent
prop_enclRecip_ThickEncl_consistent
prop_enclScale_ParalEncl_consistent
prop_enclScale_ThickEncl_consistent
prop_enclSine_ParalEncl_consistent
prop_enclSine_ThickEncl_consistent
prop_enclSine_ThinEncl_consistent
PSize10
1 (Type/Class)
2 (Data Constructor)
PSize10Degree10
1 (Type/Class)
2 (Data Constructor)
PSize10Degree3
1 (Type/Class)
2 (Data Constructor)
PSize30
1 (Type/Class)
2 (Data Constructor)
raEndpoints
raFromEndpoints
ranra2domra
recipEncl
recipUp
recip_encl_consistent
reduceDegreeUp
reduceSizeUp
removeVars
runPolynomTests
scale
scaleApproxUp
scaleUp
setDepth
setGranularity
setMaxDegree
setMaxSize
setMinGranularity
seven
sevenE
showDiGrCmp
showVar
sincosDomain
sincosTaylorAux
sinEncl
singleton
size
SmallRatio
1 (Type/Class)
2 (Data Constructor)
split
1 (Function)
2 (Function)
sqrtEncl
sync2
syncMany
TermKey
termXterms
testIntegrE
testIntegrP
thousand
thousandE
three
threeE
tiny
tinyE
toAscList
toList
tuple
two
twoE
unary
unBisect
unify
union
unionWith
updateFnZ
upperBound
ValueCombiner
ValueSplitter
VariableID
VarID
vars
varsE
volume
1 (Function)
2 (Function)
volumeAboveZeroUp
x
x0
x0E
x1
x1E
x2
x2E
x3
x3E
x4
x4E
xLR
y
zipFromOrigin
zipOnSubdomain
zipWith
zipWithDefault
zipWithDefaultSecond