*. | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring |
*^ |
1 (Function) | Data.Number.ER.RnToRm.UnitDom.Base |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring |
+. | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring |
+: | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure |
+^ |
1 (Function) | Data.Number.ER.RnToRm.UnitDom.Base |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring |
-. | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring |
-: | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure |
-^ |
1 (Function) | Data.Number.ER.RnToRm.UnitDom.Base |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring |
addConsts2 | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
addConsts3 | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
affine |
1 (Function) | Data.Number.ER.RnToRm.UnitDom.Approx |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.Base |
applyTupleFn | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
atanEncl | Data.Number.ER.RnToRm.UnitDom.Base |
bestSplit | Data.Number.ER.RnToRm |
bisect | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
BisectionTree | Data.Number.ER.RnToRm.BisectionTree |
BisecTreePath | Data.Number.ER.RnToRm.BisectionTree.Path |
bisectUnbisectDepth | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
bistrDepth | Data.Number.ER.RnToRm.BisectionTree |
bistrDir | Data.Number.ER.RnToRm.BisectionTree |
bistrDom | Data.Number.ER.RnToRm.BisectionTree |
bistrHI | Data.Number.ER.RnToRm.BisectionTree |
bistrLO | Data.Number.ER.RnToRm.BisectionTree |
bistrPt | Data.Number.ER.RnToRm.BisectionTree |
bistrVal | Data.Number.ER.RnToRm.BisectionTree |
bottomApprox |
1 (Function) | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.Approx |
Box | Data.Number.ER.RnToRm.DefaultRepr, Data.Number.ER.RnToRm |
BTP_H | Data.Number.ER.RnToRm.BisectionTree.Path |
BTP_L | Data.Number.ER.RnToRm.BisectionTree.Path |
BTP_R | Data.Number.ER.RnToRm.BisectionTree.Path |
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.Approx, Data.Number.ER.RnToRm |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.Base |
chplAdd | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring |
chplAddConst | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring |
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 |
chplAtKeyPointsCanBeLeq | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
chplAtKeyPointsPointwiseBinaryDownUpConsistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
chplBounds | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds |
chplBoundsAffine | 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 |
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 |
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 |
chplMultiply | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring |
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 |
chplScale | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring |
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 |
chplSquare | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring |
chplTermArity | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic |
chplTermOrder | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic |
chplTestOptions | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Run |
chplTests | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Run |
chplTimesLoHi | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds |
chplUpperBound | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds |
chplUpperBoundQuadr | 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 |
composeEncl | Data.Number.ER.RnToRm.UnitDom.Base |
composeManyEncls | 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.ChebyshevBase.Polynom.Tests.Compose |
const |
1 (Function) | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
2 (Function) | Data.Number.ER.RnToRm.BisectionTree |
3 (Function) | Data.Number.ER.RnToRm.UnitDom.Approx |
4 (Function) | Data.Number.ER.RnToRm.UnitDom.Base |
constEncl | Data.Number.ER.RnToRm.UnitDom.Base |
cosEncl | Data.Number.ER.RnToRm.UnitDom.Base |
defaultVar | Data.Number.ER.RnToRm |
Deg20Size20 |
1 (Type/Class) | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
2 (Data Constructor) | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
delete | Data.Number.ER.RnToRm |
Depth | Data.Number.ER.RnToRm.BisectionTree |
difference | Data.Number.ER.RnToRm |
doBistr | Data.Number.ER.RnToRm.BisectionTree |
dom | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
DomainBox | Data.Number.ER.RnToRm |
DomainBoxMappable | Data.Number.ER.RnToRm |
DomainIntBox | Data.Number.ER.RnToRm |
doMap | Data.Number.ER.RnToRm.BisectionTree |
doMapLeaves | Data.Number.ER.RnToRm.BisectionTree |
domra2ranra | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
DomTransl |
1 (Type/Class) | Data.Number.ER.RnToRm.Approx.DomTransl |
2 (Data Constructor) | Data.Number.ER.RnToRm.Approx.DomTransl |
dtrDom | Data.Number.ER.RnToRm.Approx.DomTransl |
dtrFromUnitConst | Data.Number.ER.RnToRm.Approx.DomTransl |
dtrFromUnitSlope | Data.Number.ER.RnToRm.Approx.DomTransl |
dtrToUnitConst | Data.Number.ER.RnToRm.Approx.DomTransl |
dtrToUnitSlope | Data.Number.ER.RnToRm.Approx.DomTransl |
E | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
elems | Data.Number.ER.RnToRm |
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.ChebyshevBase.Polynom.Tests.Generate |
enclAtKeyPointsPointwiseBinaryDownUpConsistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
enclAtKeyPointsPointwiseUnaryDownUpConsistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
enclBounds | 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.Enclosure |
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.Enclosure |
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.ChebyshevBase.Polynom.Tests.Generate |
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 |
enclTests | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Run |
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.ChebyshevBase.Polynom.Tests.Elementary |
encl_op_ThickEncl_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Elementary |
encl_op_ThinEncl_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.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 |
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 |
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 |
erfnGlobal | Data.Number.ER.RnToRm.UnitDom.Approx.Interval |
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 |
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 |
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 |
eval | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
evalApprox | Data.Number.ER.RnToRm.UnitDom.Base |
evalUp | Data.Number.ER.RnToRm.UnitDom.Base |
expEncl | Data.Number.ER.RnToRm.UnitDom.Base |
f | Data.Number.ER.RnToRm.TestingDefs |
FA | Data.Number.ER.RnToRm.DefaultRepr, Data.Number.ER.RnToRm |
failed2 | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Run |
FAPD | Data.Number.ER.RnToRm.DefaultRepr, Data.Number.ER.RnToRm |
fapd04X0 | Data.Number.ER.RnToRm.TestingDefs |
fapd12X1 | Data.Number.ER.RnToRm.TestingDefs |
fapd13X0 | Data.Number.ER.RnToRm.TestingDefs |
fapdConst01 | Data.Number.ER.RnToRm.TestingDefs |
fapdConst1 | Data.Number.ER.RnToRm.TestingDefs |
fapdConstU | Data.Number.ER.RnToRm.TestingDefs |
fapdT1 | Data.Number.ER.RnToRm.TestingDefs |
fapdT2 | Data.Number.ER.RnToRm.TestingDefs |
fapdT3 | Data.Number.ER.RnToRm.TestingDefs |
fapdUX0 | Data.Number.ER.RnToRm.TestingDefs |
fapdUX1 | Data.Number.ER.RnToRm.TestingDefs |
fapdUX2 | Data.Number.ER.RnToRm.TestingDefs |
FAPE | Data.Number.ER.RnToRm.DefaultRepr, Data.Number.ER.RnToRm |
fape12X1 | Data.Number.ER.RnToRm.TestingDefs |
fape13X0 | Data.Number.ER.RnToRm.TestingDefs |
fapeConst01 | Data.Number.ER.RnToRm.TestingDefs |
fapeConst1 | Data.Number.ER.RnToRm.TestingDefs |
fapeConstU | Data.Number.ER.RnToRm.TestingDefs |
fapeMultiVar | Data.Number.ER.RnToRm.TestingDefs |
fapeTestMult | Data.Number.ER.RnToRm.TestingDefs |
fapeTestPEval | Data.Number.ER.RnToRm.TestingDefs |
fapeUConst1 | Data.Number.ER.RnToRm.TestingDefs |
fapeUConst13 | Data.Number.ER.RnToRm.TestingDefs |
fapeUConst13InitPt | Data.Number.ER.RnToRm.TestingDefs |
fapeUX0 | Data.Number.ER.RnToRm.TestingDefs |
fapeUX1 | Data.Number.ER.RnToRm.TestingDefs |
FAPT | Data.Number.ER.RnToRm.DefaultRepr, Data.Number.ER.RnToRm |
FAPU | Data.Number.ER.RnToRm.DefaultRepr, Data.Number.ER.RnToRm |
fapuConst1 | Data.Number.ER.RnToRm.TestingDefs |
FAPWP | Data.Number.ER.RnToRm.DefaultRepr, Data.Number.ER.RnToRm |
fapwUConst1 | Data.Number.ER.RnToRm.TestingDefs |
fapwUConst13 | Data.Number.ER.RnToRm.TestingDefs |
fapwUConst13InitPt | Data.Number.ER.RnToRm.TestingDefs |
fapwUMX0 | Data.Number.ER.RnToRm.TestingDefs |
fapwUMX1 | Data.Number.ER.RnToRm.TestingDefs |
fapwUPX0 | Data.Number.ER.RnToRm.TestingDefs |
fapwUPX1 | Data.Number.ER.RnToRm.TestingDefs |
fapwUUX0 | Data.Number.ER.RnToRm.TestingDefs |
fapwUUX1 | Data.Number.ER.RnToRm.TestingDefs |
filter | Data.Number.ER.RnToRm |
findWithDefault | Data.Number.ER.RnToRm |
fn1 | Data.Number.ER.RnToRm.TestingDefs |
fn2 | Data.Number.ER.RnToRm.TestingDefs |
fn3 | Data.Number.ER.RnToRm.TestingDefs |
FnZipper | Data.Number.ER.RnToRm.BisectionTree.Path |
FnZ_H | Data.Number.ER.RnToRm.BisectionTree.Path |
FnZ_L | Data.Number.ER.RnToRm.BisectionTree.Path |
FnZ_R | Data.Number.ER.RnToRm.BisectionTree.Path |
fold | Data.Number.ER.RnToRm |
foldWithKey | Data.Number.ER.RnToRm |
fromAscList | Data.Number.ER.RnToRm |
fromList | Data.Number.ER.RnToRm |
getBestPrecision | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
getDegree |
1 (Function) | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.Base |
getGranularity | Data.Number.ER.RnToRm.UnitDom.Base |
getKeyPoints | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
getKeyPointsForVars | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
getMaxDegree | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
getMaxSize | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
getRangeApprox | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
getSize |
1 (Function) | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.Base |
getTupleSize | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
getVariables |
1 (Function) | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.Base |
huge | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
hugeE | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
initArith | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Run |
initialiseBaseArithmetic | Data.Number.ER.RnToRm.UnitDom.Base |
insert | Data.Number.ER.RnToRm |
insertWith | Data.Number.ER.RnToRm |
Int20 |
1 (Type/Class) | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
2 (Data Constructor) | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
integrate |
1 (Function) | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.Approx |
3 (Function) | Data.Number.ER.RnToRm.UnitDom.Base |
integrateMeasureImprovement | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
integrateMeasureImprovementUnary | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
integrateUnary | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
intersectionWith | Data.Number.ER.RnToRm |
intersectMeasureImprovement |
1 (Function) | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.Approx |
isLeaf | Data.Number.ER.RnToRm.BisectionTree |
isNoinfo | Data.Number.ER.RnToRm |
isValid | Data.Number.ER.RnToRm.UnitDom.Base |
jas1 | Data.Number.ER.RnToRm.TestingDefs |
keyPointsConsistencyCheck |
1 (Function) | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.Approx |
keyPointsPointwiseConsistencyCheck |
1 (Function) | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.Approx |
keys | Data.Number.ER.RnToRm |
Leaf | Data.Number.ER.RnToRm.BisectionTree |
logEncl | Data.Number.ER.RnToRm.UnitDom.Base |
lookup | Data.Number.ER.RnToRm |
lookupSubdomain | Data.Number.ER.RnToRm.BisectionTree.Path |
lookupSubtreeDoms | Data.Number.ER.RnToRm.BisectionTree |
makeParalEncl | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
makeThickEncl | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
map | Data.Number.ER.RnToRm |
mapLeaves | Data.Number.ER.RnToRm.BisectionTree |
mapWithDom | Data.Number.ER.RnToRm.BisectionTree |
mapWithKey | Data.Number.ER.RnToRm |
maxUp | Data.Number.ER.RnToRm.UnitDom.Base |
member | Data.Number.ER.RnToRm |
million | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
millionE | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
minUp | Data.Number.ER.RnToRm.UnitDom.Base |
mkRunTests | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Run |
mone | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
moneE | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
multConsts2 | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
multConsts3 | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
multiplyEncl | Data.Number.ER.RnToRm.UnitDom.Base |
neg | Data.Number.ER.RnToRm.UnitDom.Base |
newVarID | Data.Number.ER.RnToRm |
Node | Data.Number.ER.RnToRm.BisectionTree |
noDomainRestriction | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Elementary |
noinfo | Data.Number.ER.RnToRm |
notMember | Data.Number.ER.RnToRm |
one | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
oneE | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
P | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
partialEval | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
partialEvalApproxUp | Data.Number.ER.RnToRm.UnitDom.Base |
partialIntersect | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
path2dom | Data.Number.ER.RnToRm.BisectionTree.Path |
PNoLimits |
1 (Type/Class) | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
2 (Data Constructor) | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
polyBase13 | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
polyBase5 | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
polynomials1200ish | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
polynomials1200ishSize10 | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
polynomials1200ishSize10Degree10 | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
polynomials1200ishSize10Degree3 | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
polynomials1200ishSize30 | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
polynomials200ish | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
polynomials200ishSize30 | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
polynomials200ishSmall | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
polynomials40ish | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
polynomials40ishSmall | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
powers10 | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
powers2 | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
powers2Small | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
powers4 | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
powers4Small | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
powersAll | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
powersForExps | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
proj | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
prop_chplAddConst_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Ring |
prop_chplAdd_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Ring |
prop_chplBounds_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Bounds |
prop_chplMax_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Bounds |
prop_chplMin_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Bounds |
prop_chplMult_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Ring |
prop_chplReduceDegree_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Reduce |
prop_chplReduceTermCount_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Reduce |
prop_chplScale_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Ring |
prop_enclAdd_ThickEncls_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Enclosure |
prop_enclAtan_ParalEncl_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Elementary |
prop_enclAtan_ThickEncl_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Elementary |
prop_enclAtan_ThinEncl_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Elementary |
prop_enclCompose_ParalEncl_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Compose |
prop_enclCompose_ThickEncl_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Compose |
prop_enclCompose_ThinEncl_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Compose |
prop_enclCosine_ParalEncl_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Elementary |
prop_enclCosine_ThickEncl_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Elementary |
prop_enclCosine_ThinEncl_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Elementary |
prop_enclExp_ParalEncl_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Elementary |
prop_enclExp_ThickEncl_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Elementary |
prop_enclExp_ThinEncl_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Elementary |
prop_enclMultiply_ParalEncls_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Enclosure |
prop_enclMultiply_ThickEncls_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Enclosure |
prop_enclRecip_ParalEncl_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Division |
prop_enclRecip_ThickEncl_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Division |
prop_enclScale_ParalEncl_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Enclosure |
prop_enclScale_ThickEncl_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Enclosure |
prop_enclSine_ParalEncl_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Elementary |
prop_enclSine_ThickEncl_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Elementary |
prop_enclSine_ThinEncl_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Elementary |
PSize10 |
1 (Type/Class) | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
2 (Data Constructor) | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
PSize10Degree10 |
1 (Type/Class) | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
2 (Data Constructor) | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
PSize10Degree3 |
1 (Type/Class) | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
2 (Data Constructor) | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
PSize30 |
1 (Type/Class) | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
2 (Data Constructor) | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
raEndpoints | Data.Number.ER.RnToRm.UnitDom.Base |
raFromEndpoints | Data.Number.ER.RnToRm.UnitDom.Base |
ranra2domra | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
recipEncl | Data.Number.ER.RnToRm.UnitDom.Base |
recipUp | Data.Number.ER.RnToRm.UnitDom.Base |
recip_encl_consistent | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Division |
reduceDegreeUp | Data.Number.ER.RnToRm.UnitDom.Base |
reduceSizeUp | Data.Number.ER.RnToRm.UnitDom.Base |
removeVars | Data.Number.ER.RnToRm.BisectionTree |
runPolynomTests | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Run |
scale | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
scaleApproxUp | Data.Number.ER.RnToRm.UnitDom.Base |
scaleUp | Data.Number.ER.RnToRm.UnitDom.Base |
setDepth | Data.Number.ER.RnToRm.BisectionTree |
setGranularity | Data.Number.ER.RnToRm.UnitDom.Base |
setMaxDegree | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
setMaxSize | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
setMinGranularity | Data.Number.ER.RnToRm.UnitDom.Base |
seven | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
sevenE | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
showDiGrCmp | Data.Number.ER.RnToRm.UnitDom.Base |
showVar | Data.Number.ER.RnToRm |
sincosDomain | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Elementary |
sincosTaylorAux | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Elementary |
sinEncl | Data.Number.ER.RnToRm.UnitDom.Base |
singleton | Data.Number.ER.RnToRm |
size | Data.Number.ER.RnToRm |
SmallRatio |
1 (Type/Class) | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
2 (Data Constructor) | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
split |
1 (Function) | Data.Number.ER.RnToRm |
2 (Function) | Data.Number.ER.RnToRm.BisectionTree |
sqrtEncl | Data.Number.ER.RnToRm.UnitDom.Base |
sync2 | Data.Number.ER.RnToRm.BisectionTree |
syncMany | Data.Number.ER.RnToRm.BisectionTree |
TermKey | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic, Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom |
termXterms | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic |
testIntegrE | Data.Number.ER.RnToRm.TestingDefs |
testIntegrP | Data.Number.ER.RnToRm.TestingDefs |
thousand | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
thousandE | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
three | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
threeE | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
tiny | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
tinyE | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
toAscList | Data.Number.ER.RnToRm |
toList | Data.Number.ER.RnToRm |
tuple | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
two | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
twoE | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
unary | Data.Number.ER.RnToRm |
unBisect | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
unify | Data.Number.ER.RnToRm |
union | Data.Number.ER.RnToRm |
unionWith | Data.Number.ER.RnToRm |
updateFnZ | Data.Number.ER.RnToRm.BisectionTree.Path |
upperBound | Data.Number.ER.RnToRm.UnitDom.Base |
ValueCombiner | Data.Number.ER.RnToRm.BisectionTree |
ValueSplitter | Data.Number.ER.RnToRm.BisectionTree |
VariableID | Data.Number.ER.RnToRm |
VarID | Data.Number.ER.RnToRm.DefaultRepr, Data.Number.ER.RnToRm |
vars | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
varsE | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
volume |
1 (Function) | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.Approx |
volumeAboveZeroUp | Data.Number.ER.RnToRm.UnitDom.Base |
x | Data.Number.ER.RnToRm.TestingDefs |
x0 | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
x0E | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
x1 | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
x1E | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
x2 | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
x2E | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
x3 | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
x3E | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
x4 | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
x4E | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate |
xLR | Data.Number.ER.RnToRm.TestingDefs |
y | Data.Number.ER.RnToRm.TestingDefs |
zipFromOrigin | Data.Number.ER.RnToRm.BisectionTree.Integration |
zipOnSubdomain | Data.Number.ER.RnToRm.BisectionTree.Integration |
zipWith | Data.Number.ER.RnToRm |
zipWithDefault | Data.Number.ER.RnToRm |
zipWithDefaultSecond | Data.Number.ER.RnToRm |