Contents
Index
AERN-RnToRm-0.5: polynomial function enclosures (PFEs) approximating exact real functions
A
B
C
D
E
F
G
I
J
K
L
M
N
P
R
S
T
U
V
X
Y
Z
*
+
-
Index - C
chebToXBasis
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
chebyEvalTsExact
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Eval
chebyXCoeffs
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
chebyXCoeffsLists
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
check
1 (Function)
Data.Number.ER.RnToRm.UnitDom.Base
2 (Function)
Data.Number.ER.RnToRm.Approx
, Data.Number.ER.RnToRm
chplAddConstDown
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring
chplAddConstUp
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring
chplAffine
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
chplBall2Down
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring
chplBall2DownUp
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring
chplBall2DownUpWd
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring
chplBall2Up
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring
chplBounds
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
chplBoundsAffine
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
chplBoundsByDerivative
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
chplBoundsExpensive
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
chplCheck
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
chplCoeffs
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
,
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom
chplCompareApprox
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
chplConst
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
chplConstTermKey
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
chplCountTerms
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
chplDifferentiate
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Derivative
chplEval
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Eval
chplEvalDown
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Eval
chplEvalUp
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Eval
chplGetConst
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
chplGetDegree
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
chplGetGranularity
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
chplGetVars
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
chplHasNoNaN
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
chplHasNoNaNOrInfty
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
chplIntegrate
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Integration
chplIsConstTermKey
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
chplLowerBound
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
chplLowerBoundExpensive
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
chplMax
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
chplMaxDn
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
chplMaxUp
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
chplMin
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
chplMinDn
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
chplMinUp
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
chplNeg
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring
chplNonneg
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
chplNonnegCubic
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
chplNonnegDown
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
chplNonnegUp
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
chplNonpos
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
chplNonposDown
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
chplNonposUp
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
chplPartialRAEval
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Eval
chplRAEval
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Eval
chplReduceDegree
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Reduce
chplReduceDegreeDown
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Reduce
chplReduceDegreeUp
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Reduce
chplReduceTermCount
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Reduce
chplReduceTermCountDown
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Reduce
chplReduceTermCountUp
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Reduce
chplRemoveZeroTermsUp
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
chplScaleDown
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring
chplScaleRA
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
chplScaleRADown
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
chplScaleRAUp
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
chplScaleUp
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring
chplSetGranularity
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
chplSetMinGranularity
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
chplShow
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
chplTermArity
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
chplTermOrder
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
chplTimesLoHi
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
chplUpperBound
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
chplUpperBoundExpensive
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
chplVar
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
classifyPosition
Data.Number.ER.RnToRm
collectDomValues
Data.Number.ER.RnToRm.BisectionTree
collectValues
Data.Number.ER.RnToRm.BisectionTree
combineWith
Data.Number.ER.RnToRm.BisectionTree
compare
1 (Function)
Data.Number.ER.RnToRm
2 (Function)
Data.Number.ER.RnToRm.BisectionTree
compareApprox
Data.Number.ER.RnToRm.UnitDom.Base
compatible
Data.Number.ER.RnToRm
composeDown
Data.Number.ER.RnToRm.UnitDom.Base
composeEncl
Data.Number.ER.RnToRm.UnitDom.Base
composeIEncl
Data.Number.ER.RnToRm.UnitDom.Base
composeManyDown
Data.Number.ER.RnToRm.UnitDom.Base
composeManyEncls
Data.Number.ER.RnToRm.UnitDom.Base
composeManyIEncls
Data.Number.ER.RnToRm.UnitDom.Base
composeManyUp
Data.Number.ER.RnToRm.UnitDom.Base
composeNonDecreasing
Data.Number.ER.RnToRm.Approx
, Data.Number.ER.RnToRm
composeNonIncreasing
Data.Number.ER.RnToRm.Approx
, Data.Number.ER.RnToRm
composeUp
Data.Number.ER.RnToRm.UnitDom.Base
composeWithThin
Data.Number.ER.RnToRm.UnitDom.Approx
compose_encl_consistent
Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Compose
const
1 (Function)
Data.Number.ER.RnToRm.BisectionTree
2 (Function)
Data.Number.ER.RnToRm.UnitDom.Base
3 (Function)
Data.Number.ER.RnToRm.Approx
, Data.Number.ER.RnToRm
4 (Function)
Data.Number.ER.RnToRm.UnitDom.Approx
constEncl
Data.Number.ER.RnToRm.UnitDom.Base
constIEncl
Data.Number.ER.RnToRm.UnitDom.Base
cosEncl
Data.Number.ER.RnToRm.UnitDom.Base
cosIEncl
Data.Number.ER.RnToRm.UnitDom.Base