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 - E
elems
Data.Number.ER.RnToRm
enclAdd
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
enclAddConst
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
enclAddErr
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
enclAtan
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Elementary
enclAtanAux
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Elementary
enclAtKeyPointsConsistent
Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Common
enclAtKeyPointsPointwiseBinaryInnerInOuter
Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Common
enclAtKeyPointsPointwiseUnaryInnerInOuter
Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Common
enclBounds
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
enclBoundsExpensive
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
enclCompose
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Compose
enclComposeMany
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Compose
enclConst
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
enclCosine
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Elementary
enclEval
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
enclEvalInner
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.EnclosureInner
enclEvalTs
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
enclExp
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Elementary
enclLog
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Elementary
enclMultiply
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
enclNeg
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
enclPow
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Elementary
enclRAConst
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
enclRAEval
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
enclRAEvalInner
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.EnclosureInner
enclRAScale
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
enclRecip
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Division
enclReduceDegree
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
enclReduceSize
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
enclRestrictRange
Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Common
enclScale
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
enclScaleNonneg
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
enclSine
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Elementary
enclSqrt
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Elementary
enclSquare
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
enclThin
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
enclThinTimes
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
encl_op_ParalEncl_consistent
Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Elementary
encl_op_ThickEncl_consistent
Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Elementary
encl_op_ThinEncl_consistent
Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Elementary
ERChebPoly
1 (Type/Class)
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
,
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom
2 (Data Constructor)
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
,
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom
ERFnApprox
Data.Number.ER.RnToRm.Approx
, Data.Number.ER.RnToRm
ERFnApproxApprox
Data.Number.ER.RnToRm.Approx
, Data.Number.ER.RnToRm
erfnCoeffGranularity
Data.Number.ER.RnToRm.UnitDom.Approx.Interval
ERFnContext
1 (Type/Class)
Data.Number.ER.RnToRm.UnitDom.Approx.Interval
2 (Data Constructor)
Data.Number.ER.RnToRm.UnitDom.Approx.Interval
erfnContext
Data.Number.ER.RnToRm.UnitDom.Approx.Interval
erfnContextDefault
Data.Number.ER.RnToRm.UnitDom.Approx.Interval
erfnContextUnify
Data.Number.ER.RnToRm.UnitDom.Approx.Interval
ERFnDomApprox
Data.Number.ER.RnToRm.Approx
, Data.Number.ER.RnToRm
ERFnDomEdgesApprox
1 (Type/Class)
Data.Number.ER.RnToRm.Approx.DomEdges
2 (Data Constructor)
Data.Number.ER.RnToRm.Approx.DomEdges
erfnDomTransl
Data.Number.ER.RnToRm.Approx.DomTransl
ERFnDomTranslApprox
1 (Type/Class)
Data.Number.ER.RnToRm.Approx.DomTransl
2 (Data Constructor)
Data.Number.ER.RnToRm.Approx.DomTransl
erfnEdges
Data.Number.ER.RnToRm.Approx.DomEdges
ERFnInterval
1 (Type/Class)
Data.Number.ER.RnToRm.UnitDom.Approx.Interval
2 (Data Constructor)
Data.Number.ER.RnToRm.UnitDom.Approx.Interval
ERFnIntervalAny
Data.Number.ER.RnToRm.UnitDom.Approx.Interval
ERFnIntervalOI
1 (Type/Class)
Data.Number.ER.RnToRm.UnitDom.Approx.IntervalOI
2 (Data Constructor)
Data.Number.ER.RnToRm.UnitDom.Approx.IntervalOI
ERFnIntervalOIAny
Data.Number.ER.RnToRm.UnitDom.Approx.IntervalOI
erfnLowerNeg
Data.Number.ER.RnToRm.UnitDom.Approx.Interval
erfnMainVolume
Data.Number.ER.RnToRm.Approx.DomEdges
erfnMaxDegree
Data.Number.ER.RnToRm.UnitDom.Approx.Interval
erfnMaxSize
Data.Number.ER.RnToRm.UnitDom.Approx.Interval
erfnoiContext
Data.Number.ER.RnToRm.UnitDom.Approx.IntervalOI
erfnoiInner
Data.Number.ER.RnToRm.UnitDom.Approx.IntervalOI
erfnoiOuter
Data.Number.ER.RnToRm.UnitDom.Approx.IntervalOI
ERFnPiecewise
1 (Type/Class)
Data.Number.ER.RnToRm.Approx.PieceWise
2 (Data Constructor)
Data.Number.ER.RnToRm.Approx.PieceWise
ERFnTuple
1 (Type/Class)
Data.Number.ER.RnToRm.Approx.Tuple
2 (Data Constructor)
Data.Number.ER.RnToRm.Approx.Tuple
erfnTuple
Data.Number.ER.RnToRm.Approx.Tuple
erfnUnitApprox
Data.Number.ER.RnToRm.Approx.DomTransl
erfnUpper
Data.Number.ER.RnToRm.UnitDom.Approx.Interval
errorModule
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
ERUnitFnApprox
Data.Number.ER.RnToRm.UnitDom.Approx
ERUnitFnBase
Data.Number.ER.RnToRm.UnitDom.Base
ERUnitFnBaseElementary
Data.Number.ER.RnToRm.UnitDom.Base
ERUnitFnBaseEncl
Data.Number.ER.RnToRm.UnitDom.Base
ERUnitFnBaseIElementary
Data.Number.ER.RnToRm.UnitDom.Base
ERUnitFnBaseIEncl
Data.Number.ER.RnToRm.UnitDom.Base
eval
Data.Number.ER.RnToRm.Approx
, Data.Number.ER.RnToRm
evalAA
Data.Number.ER.RnToRm.Approx
, Data.Number.ER.RnToRm
evalApprox
Data.Number.ER.RnToRm.UnitDom.Base
evalEncl
Data.Number.ER.RnToRm.UnitDom.Base
evalEnclInner
Data.Number.ER.RnToRm.UnitDom.Base
evalIEncl
Data.Number.ER.RnToRm.UnitDom.Base
evalUp
Data.Number.ER.RnToRm.UnitDom.Base
expEncl
Data.Number.ER.RnToRm.UnitDom.Base
expIEncl
Data.Number.ER.RnToRm.UnitDom.Base