affine |
1 (Function) | Data.Number.ER.RnToRm.UnitDom.Approx |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.Base |
applyTupleFn | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
bestSplit | Data.Number.ER.RnToRm |
bisect | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
BisectionTree | Data.Number.ER.RnToRm.BisectionTree |
BisecTreePath | Data.Number.ER.RnToRm.BisectionTree.Path |
bisectUnbisectDepth | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
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, Data.Number.ER.RnToRm.Approx |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.Approx |
Box | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.DefaultRepr |
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 |
chebyEvalTsRoundDownUp | 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, Data.Number.ER.RnToRm.Approx |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.Base |
chplAffine | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Field |
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 |
chplCompose | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Eval |
chplConst | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic |
chplConstTermKey | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic |
chplDifferentiate | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Integration |
chplEval | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Eval |
chplEvalApprox | 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 |
chplExp | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Elementary |
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 |
chplIntegrate | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Integration |
chplIsConstTermKey | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic |
chplLog | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Elementary |
chplMax | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds |
chplNonneg | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds |
chplNonnegCubic | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds |
chplNormalise | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic |
chplNormaliseDown | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic |
chplNormaliseUp | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic |
chplPartialEvalApprox | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Eval |
chplPow | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Elementary |
chplRecip | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Elementary |
chplReduceDegree | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Field |
chplReduceDegreeDown | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Field |
chplReduceDegreeUp | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Field |
chplScale | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Field |
chplScaleApprox | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Field |
chplScaleDown | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Field |
chplScaleUp | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Field |
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 |
chplSineCosine | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Elementary |
chplSqrt | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Elementary |
chplTermArity | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic |
chplTermOrder | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic |
chplUpperBoundAffine | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds |
chplUpperBoundAffineCorners | 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 |
chplVolumeAboveZero | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Integration |
classifyPosition | Data.Number.ER.RnToRm |
collectDomValues | Data.Number.ER.RnToRm.BisectionTree |
collectValues | Data.Number.ER.RnToRm.BisectionTree |
combineWith | Data.Number.ER.RnToRm.BisectionTree |
compatible | Data.Number.ER.RnToRm |
compose | Data.Number.ER.RnToRm.UnitDom.Base |
composeDown | Data.Number.ER.RnToRm.UnitDom.Base |
composeThin | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
composeUp | Data.Number.ER.RnToRm.UnitDom.Base |
const |
1 (Function) | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.Approx |
3 (Function) | Data.Number.ER.RnToRm.UnitDom.Base |
4 (Function) | Data.Number.ER.RnToRm.BisectionTree |
cos | Data.Number.ER.RnToRm.UnitDom.Base |
defaultVar | Data.Number.ER.RnToRm |
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, Data.Number.ER.RnToRm.Approx |
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, Data.Number.ER.RnToRm.Approx |
DomTransl |
1 (Data Constructor) | Data.Number.ER.RnToRm.Approx.DomTransl |
2 (Type/Class) | 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 |
elems | Data.Number.ER.RnToRm |
ERChebPoly |
1 (Data Constructor) | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic, Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom |
2 (Type/Class) | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic, Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom |
ERFnApprox | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
erfnCoeffGranularity | Data.Number.ER.RnToRm.UnitDom.Approx.Interval |
ERFnContext |
1 (Data Constructor) | Data.Number.ER.RnToRm.UnitDom.Approx.Interval |
2 (Type/Class) | Data.Number.ER.RnToRm.UnitDom.Approx.Interval |
erfnContext | Data.Number.ER.RnToRm.UnitDom.Approx.Interval |
ERFnDomApprox | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
ERFnDomEdgesApprox |
1 (Data Constructor) | Data.Number.ER.RnToRm.Approx.DomEdges |
2 (Type/Class) | Data.Number.ER.RnToRm.Approx.DomEdges |
erfnDomTransl | Data.Number.ER.RnToRm.Approx.DomTransl |
ERFnDomTranslApprox |
1 (Data Constructor) | Data.Number.ER.RnToRm.Approx.DomTransl |
2 (Type/Class) | Data.Number.ER.RnToRm.Approx.DomTransl |
erfnEdges | Data.Number.ER.RnToRm.Approx.DomEdges |
erfnGlobal | Data.Number.ER.RnToRm.UnitDom.Approx.Interval |
ERFnInterval |
1 (Data Constructor) | Data.Number.ER.RnToRm.UnitDom.Approx.Interval |
2 (Type/Class) | 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 |
ERFnPiecewise |
1 (Data Constructor) | Data.Number.ER.RnToRm.Approx.PieceWise |
2 (Type/Class) | Data.Number.ER.RnToRm.Approx.PieceWise |
ERFnTuple |
1 (Data Constructor) | Data.Number.ER.RnToRm.Approx.Tuple |
2 (Type/Class) | 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 |
1 (Function) | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.Base |
evalApprox | Data.Number.ER.RnToRm.UnitDom.Base |
evalDown | Data.Number.ER.RnToRm.UnitDom.Base |
evalUp | Data.Number.ER.RnToRm.UnitDom.Base |
exp | Data.Number.ER.RnToRm.UnitDom.Base |
FA | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.DefaultRepr |
FAPD | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.DefaultRepr |
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 |
fapdUX0 | Data.Number.ER.RnToRm.TestingDefs |
fapdUX1 | Data.Number.ER.RnToRm.TestingDefs |
FAPE | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.DefaultRepr |
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, Data.Number.ER.RnToRm.DefaultRepr |
FAPU | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.DefaultRepr |
fapuConst1 | Data.Number.ER.RnToRm.TestingDefs |
FAPWP | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.DefaultRepr |
fapwUConst1 | Data.Number.ER.RnToRm.TestingDefs |
fapwUConst13 | Data.Number.ER.RnToRm.TestingDefs |
fapwUConst13InitPt | Data.Number.ER.RnToRm.TestingDefs |
fapwUUX0 | Data.Number.ER.RnToRm.TestingDefs |
fapwUUX1 | Data.Number.ER.RnToRm.TestingDefs |
fapwUX0 | Data.Number.ER.RnToRm.TestingDefs |
fapwUX1 | 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, Data.Number.ER.RnToRm.Approx |
getDegree |
1 (Function) | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.Base |
getGranularity | Data.Number.ER.RnToRm.UnitDom.Base |
getMaxDegree | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
getRangeApprox | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
getTupleSize | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
insert | Data.Number.ER.RnToRm |
insertWith | Data.Number.ER.RnToRm |
integrate |
1 (Function) | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.Approx |
3 (Function) | Data.Number.ER.RnToRm.UnitDom.Base |
integrateDown | Data.Number.ER.RnToRm.UnitDom.Base |
integrateMeasureImprovement | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
integrateMeasureImprovementUnary | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
integrateUnary | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
integrateUp | Data.Number.ER.RnToRm.UnitDom.Base |
intersectionWith | Data.Number.ER.RnToRm |
intersectMeasureImprovement |
1 (Function) | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.Approx |
isLeaf | Data.Number.ER.RnToRm.BisectionTree |
isNoinfo | Data.Number.ER.RnToRm |
keys | Data.Number.ER.RnToRm |
Leaf | Data.Number.ER.RnToRm.BisectionTree |
log | Data.Number.ER.RnToRm.UnitDom.Base |
lookup | Data.Number.ER.RnToRm |
lookupSubdomain | Data.Number.ER.RnToRm.BisectionTree.Path |
lookupSubtreeDom | Data.Number.ER.RnToRm.BisectionTree |
lowerBound | Data.Number.ER.RnToRm.UnitDom.Base |
map | Data.Number.ER.RnToRm |
mapLeaves | Data.Number.ER.RnToRm.BisectionTree |
mapWithDom | Data.Number.ER.RnToRm.BisectionTree |
mapWithKey | Data.Number.ER.RnToRm |
max | Data.Number.ER.RnToRm.UnitDom.Base |
maxDown | Data.Number.ER.RnToRm.UnitDom.Base |
maxUp | Data.Number.ER.RnToRm.UnitDom.Base |
member | Data.Number.ER.RnToRm |
min | Data.Number.ER.RnToRm.UnitDom.Base |
minDown | Data.Number.ER.RnToRm.UnitDom.Base |
minUp | Data.Number.ER.RnToRm.UnitDom.Base |
newVarID | Data.Number.ER.RnToRm |
Node | Data.Number.ER.RnToRm.BisectionTree |
noinfo | Data.Number.ER.RnToRm |
nonneg | Data.Number.ER.RnToRm.UnitDom.Base |
notMember | Data.Number.ER.RnToRm |
partialEval | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
partialEvalApprox | Data.Number.ER.RnToRm.UnitDom.Base |
partialEvalApproxDown | Data.Number.ER.RnToRm.UnitDom.Base |
partialEvalApproxUp | Data.Number.ER.RnToRm.UnitDom.Base |
partialIntersect | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
path2dom | Data.Number.ER.RnToRm.BisectionTree.Path |
proj | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
raEndpoints | Data.Number.ER.RnToRm.UnitDom.Base |
raFromEndpoints | Data.Number.ER.RnToRm.UnitDom.Base |
ranra2domra | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
recip | Data.Number.ER.RnToRm.UnitDom.Base |
recipDown | Data.Number.ER.RnToRm.UnitDom.Base |
recipUp | Data.Number.ER.RnToRm.UnitDom.Base |
reduceDegree | Data.Number.ER.RnToRm.UnitDom.Base |
reduceDegreeDown | Data.Number.ER.RnToRm.UnitDom.Base |
reduceDegreeUp | Data.Number.ER.RnToRm.UnitDom.Base |
removeVars | Data.Number.ER.RnToRm.BisectionTree |
scale |
1 (Function) | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.Base |
scaleApprox | Data.Number.ER.RnToRm.UnitDom.Base |
scaleApproxDown | Data.Number.ER.RnToRm.UnitDom.Base |
scaleApproxUp | Data.Number.ER.RnToRm.UnitDom.Base |
setGranularity | Data.Number.ER.RnToRm.UnitDom.Base |
setMaxDegree | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
setMinGranularity | Data.Number.ER.RnToRm.UnitDom.Base |
showVar | Data.Number.ER.RnToRm |
sin | Data.Number.ER.RnToRm.UnitDom.Base |
singleton | Data.Number.ER.RnToRm |
split |
1 (Function) | Data.Number.ER.RnToRm |
2 (Function) | Data.Number.ER.RnToRm.BisectionTree |
sqrt | 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 |
toAscList | Data.Number.ER.RnToRm |
toList | Data.Number.ER.RnToRm |
tuple | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
unary | Data.Number.ER.RnToRm |
unBisect | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
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, Data.Number.ER.RnToRm.DefaultRepr |
volume |
1 (Function) | Data.Number.ER.RnToRm, Data.Number.ER.RnToRm.Approx |
2 (Function) | Data.Number.ER.RnToRm.UnitDom.Approx |
volumeAboveZero | Data.Number.ER.RnToRm.UnitDom.Base |
x | 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 |