ienclAdd | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.EnclosureInner |
ienclAddConst | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.EnclosureInner |
ienclAddErr | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.EnclosureInner |
ienclConst | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.EnclosureInner |
ienclEval | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.EnclosureInner |
ienclMultiply | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.EnclosureInner |
ienclNeg | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.EnclosureInner |
ienclRAConst | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.EnclosureInner |
ienclRAEval | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.EnclosureInner |
ienclRecipPositive | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.DivisionInner |
ienclReduceDegree | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.EnclosureInner |
ienclReduceSize | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.EnclosureInner |
ienclScaleNonneg | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.EnclosureInner |
ienclSqrt | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.ElementaryInner |
ienclSquare | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.EnclosureInner |
ienclThin | Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.EnclosureInner |
initialiseBaseArithmetic | Data.Number.ER.RnToRm.UnitDom.Base |
insert | Data.Number.ER.RnToRm |
insertWith | Data.Number.ER.RnToRm |
integrate | |
1 (Function) | Data.Number.ER.RnToRm.UnitDom.Base |
2 (Function) | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
3 (Function) | Data.Number.ER.RnToRm.UnitDom.Approx |
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 |