Index
| *. | AERN2.MP.Float.Operators, AERN2.MP.Float |
| *^ | AERN2.MP.Float.Operators, AERN2.MP.Float |
| +- | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| +. | AERN2.MP.Float.Operators, AERN2.MP.Float |
| +^ | AERN2.MP.Float.Operators, AERN2.MP.Float |
| -. | AERN2.MP.Float.Operators, AERN2.MP.Float |
| -^ | AERN2.MP.Float.Operators, AERN2.MP.Float |
| /. | AERN2.MP.Float.Operators, AERN2.MP.Float |
| /^ | AERN2.MP.Float.Operators, AERN2.MP.Float |
| absMP | AERN2.MP.ErrorBound, AERN2.MP |
| ac2prec | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| Accuracy | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| addCEDU | AERN2.MP.Float.Arithmetic, AERN2.MP.Float |
| approxEqual | AERN2.MP.Float.Tests, AERN2.MP.Float |
| approxEqualWithArgs | AERN2.MP.Float.Tests, AERN2.MP.Float |
| Approximate | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP.Ball, AERN2.MP, AERN2.MP |
| avgDown | AERN2.MP.Float |
| avgUp | AERN2.MP.Float |
| ballFunctionUsingLipschitz | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| ball_error | AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| ball_value | AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| bits | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| BoundsCEDU | |
| 1 (Type/Class) | AERN2.MP.Float.Auxi, AERN2.MP.Float |
| 2 (Data Constructor) | AERN2.MP.Float.Auxi, AERN2.MP.Float |
| byEndpointsMP | AERN2.MP.Ball.Comparisons, AERN2.MP.Ball |
| CanBeDyadic | AERN2.MP.Dyadic |
| CanBeErrorBound | AERN2.MP.ErrorBound, AERN2.MP.Ball, AERN2.MP |
| CanBeMPBall | AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| CanBeMPBallP | AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| CanBeMPFloat | AERN2.MP.Float.Conversions, AERN2.MP.Float |
| CanIntersect | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| CanIntersectAsymmetric | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| CanIntersectBy | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| CanIntersectCNBy | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| CanIntersectCNSameType | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| CanIntersectSameType | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| CanMapInside | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| CanNormalize | AERN2.Normalize |
| CanPlusMinus | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| CanSelect | AERN2.Select |
| CanSelectBool | AERN2.Select |
| CanSelectCNBool | AERN2.Select |
| CanSelectCountable | AERN2.Select |
| CanSelectCountableCNInteger | AERN2.Select |
| CanSelectCountableInteger | AERN2.Select |
| CanSetPrecision | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| CanTestContains | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| CanUnion | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| CanUnionAsymmetric | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| CanUnionBy | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| CanUnionCNBy | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| CanUnionCNSameType | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| CanUnionSameType | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| ceduCentre | AERN2.MP.Float.Auxi, AERN2.MP.Float |
| ceduCentreErr | AERN2.MP.Float.Auxi, AERN2.MP.Float |
| ceduDown | AERN2.MP.Float.Auxi, AERN2.MP.Float |
| ceduDownUp | AERN2.MP.Float.Auxi, AERN2.MP.Float |
| ceduErr | AERN2.MP.Float.Auxi, AERN2.MP.Float |
| ceduUp | AERN2.MP.Float.Auxi, AERN2.MP.Float |
| centre | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| centreAsBall | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| centreAsBallAndRadius | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| CentreRadius | |
| 1 (Type/Class) | AERN2.MP.Ball.Conversions, AERN2.MP.Ball |
| 2 (Data Constructor) | AERN2.MP.Ball.Conversions, AERN2.MP.Ball |
| CentreType | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP.Ball, AERN2.MP, AERN2.MP |
| CertainFalse | AERN2.Kleenean, AERN2.MP |
| CertainTrue | AERN2.Kleenean, AERN2.MP |
| cnMPBall | AERN2.MP.Ball.Type, AERN2.MP.Ball |
| cnmpBallCP | AERN2.MP.WithCurrentPrec.Type, AERN2.MP.WithCurrentPrec |
| cnMPBallP | AERN2.MP.Ball.Type, AERN2.MP.Ball |
| contains | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| convergentList2seqByAccuracy | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| ConvertibleWithPrecision | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| convertP | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| convertPFirst | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| convertPSecond | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| cosCEDU | AERN2.MP.Float.Arithmetic, AERN2.MP.Float |
| cosDown | AERN2.MP.Float.Operators, AERN2.MP.Float |
| cosUp | AERN2.MP.Float.Operators, AERN2.MP.Float |
| defaultPrecision | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| distDown | AERN2.MP.Float |
| distUp | AERN2.MP.Float |
| divCEDU | AERN2.MP.Float.Arithmetic, AERN2.MP.Float |
| Dyadic | AERN2.MP.Dyadic |
| dyadic | AERN2.MP.Dyadic |
| endpointL | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| endpointLAsInterval | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| endpointR | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| endpointRAsInterval | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| endpoints | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| endpointsAsIntervals | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| enforceRangeMP | AERN2.MP.Float.Tests, AERN2.MP.Float |
| ErrorBound | AERN2.MP.ErrorBound, AERN2.MP.Ball, AERN2.MP |
| errorBound | AERN2.MP.ErrorBound, AERN2.MP.Ball, AERN2.MP |
| Exact | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| expCEDU | AERN2.MP.Float.Arithmetic, AERN2.MP.Float |
| expDown | AERN2.MP.Float.Operators, AERN2.MP.Float |
| expUp | AERN2.MP.Float.Operators, AERN2.MP.Float |
| frequencyElements | AERN2.MP.Float.Tests, AERN2.MP.Float |
| fromAccuracy | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| fromApproxWithLipschitz | AERN2.MP.Ball.Elementary, AERN2.MP.Ball |
| fromEndpoints | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| fromEndpointsAsIntervals | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| fromIntegerCEDU | AERN2.MP.Float.Conversions, AERN2.MP.Float |
| fromIntegerDown | AERN2.MP.Float.Operators, AERN2.MP.Float |
| fromIntegerUp | AERN2.MP.Float.Operators, AERN2.MP.Float |
| fromMPBallEndpoints | AERN2.MP.Ball.Type |
| fromMPFloatEndpoints | AERN2.MP.Ball.Type |
| fromRationalCEDU | AERN2.MP.Float.Conversions, AERN2.MP.Float |
| fromRationalDown | AERN2.MP.Float.Operators, AERN2.MP.Float |
| fromRationalUp | AERN2.MP.Float.Operators, AERN2.MP.Float |
| getAccuracy | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| getApproximate | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| getBoundsCEDU | AERN2.MP.Float.Type, AERN2.MP.Float |
| getCurrentPrecision | AERN2.MP.WithCurrentPrec.Type |
| getErrorStepSizeLog | AERN2.MP.Float.Type, AERN2.MP.Float |
| getFiniteAccuracy | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| getNormLog | AERN2.Norm, AERN2.MP.Ball.Comparisons, AERN2.MP.Ball, AERN2.MP |
| getPrecision | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| giveUpIfVeryInaccurate | AERN2.MP.Ball, AERN2.MP |
| HasAccuracy | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| HasApproximate | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| HasDyadics | AERN2.MP.Dyadic |
| HasLimits | AERN2.Limit |
| HasLimitsSameType | AERN2.Limit |
| HasNorm | AERN2.Norm, AERN2.MP.Ball.Comparisons, AERN2.MP.Ball, AERN2.MP |
| HasPrecision | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| hullMPBall | AERN2.MP.Ball.Comparisons, AERN2.MP.Ball |
| infinity | AERN2.MP.Float.Conversions, AERN2.MP.Float |
| intersect | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| intersectCNMPBall | AERN2.MP.Ball.Comparisons, AERN2.MP.Ball |
| IntersectionType | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP.Ball, AERN2.MP, AERN2.MP |
| IntervalEndpoint | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP.Ball, AERN2.MP, AERN2.MP |
| intervalFunctionByEndpoints | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| intervalFunctionByEndpointsUpDown | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| invertNormLog | AERN2.Norm, AERN2.MP.Ball.Comparisons, AERN2.MP.Ball, AERN2.MP |
| IsBall | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| IsInterval | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| iterateUntilAccurate | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| iterateUntilOK | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| Kleenean | AERN2.Kleenean, AERN2.MP |
| kleenean | AERN2.Kleenean, AERN2.MP |
| lift1 | |
| 1 (Function) | AERN2.MP.Float.Type, AERN2.MP.Float |
| 2 (Function) | AERN2.MP.WithCurrentPrec.Type |
| lift1T | AERN2.MP.WithCurrentPrec.Type |
| lift1TP | AERN2.MP.WithCurrentPrec.Type |
| lift2 | |
| 1 (Function) | AERN2.MP.Float.Type, AERN2.MP.Float |
| 2 (Function) | AERN2.MP.WithCurrentPrec.Type |
| lift2P | AERN2.MP.WithCurrentPrec.Type |
| lift2R | AERN2.MP.Float.Type, AERN2.MP.Float |
| liftT1 | AERN2.MP.WithCurrentPrec.Type |
| liftT1P | AERN2.MP.WithCurrentPrec.Type |
| limit | AERN2.Limit |
| limitMPBall | AERN2.MP.Ball.Limit |
| LimitType | AERN2.Limit |
| listFromGen | AERN2.Utils.Bench |
| logCEDU | AERN2.MP.Float.Arithmetic, AERN2.MP.Float |
| logDown | AERN2.MP.Float.Operators, AERN2.MP.Float |
| logUp | AERN2.MP.Float.Operators, AERN2.MP.Float |
| lowerPrecisionIfAbove | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| makeExactCentre | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| mapInside | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| maximumPrecision | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| MPBall | |
| 1 (Type/Class) | AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| 2 (Data Constructor) | AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| mpBall | AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| mpBallEndpoints | AERN2.MP.Ball.Type |
| mpBallP | AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| MPFloat | |
| 1 (Type/Class) | AERN2.MP.Float.Type, AERN2.MP.Float |
| 2 (Data Constructor) | AERN2.MP.Float.Type, AERN2.MP.Float |
| mpFloat | AERN2.MP.Float.Conversions, AERN2.MP.Float |
| mulBalls | AERN2.MP.Ball.Field |
| mulByEndpoints | AERN2.MP.Ball.Field |
| mulCEDU | AERN2.MP.Float.Arithmetic, AERN2.MP.Float |
| nan | AERN2.MP.Float.Conversions, AERN2.MP.Float |
| NoInformation | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| normalize | AERN2.Normalize |
| NormBits | AERN2.Norm, AERN2.MP.Ball.Comparisons, AERN2.MP.Ball, AERN2.MP |
| NormLog | AERN2.Norm, AERN2.MP.Ball.Comparisons, AERN2.MP.Ball, AERN2.MP |
| NormZero | AERN2.Norm, AERN2.MP.Ball.Comparisons, AERN2.MP.Ball, AERN2.MP |
| one | AERN2.MP.Float.Conversions, AERN2.MP.Float |
| p2cdarPrec | AERN2.MP.Float.Type, AERN2.MP.Float |
| piBallP | AERN2.MP.Ball.Elementary, AERN2.MP.Ball |
| piCEDU | AERN2.MP.Float.Arithmetic, AERN2.MP.Float |
| piCP | AERN2.MP.WithCurrentPrec.Elementary, AERN2.MP.WithCurrentPrec |
| plusMinus | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| PlusMinusType | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP.Ball, AERN2.MP, AERN2.MP |
| prec | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| Precision | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| precisionTimes2 | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| radius | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| raisePrecisionIfBelow | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| recipCEDU | AERN2.MP.Float.Arithmetic, AERN2.MP.Float |
| reducePrecionIfInaccurate | AERN2.MP.Ball.Type, AERN2.MP.Ball.Comparisons, AERN2.MP.Ball, AERN2.MP |
| runWithPrec | AERN2.MP.WithCurrentPrec.Type, AERN2.MP.WithCurrentPrec |
| safeConvertP | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| select | AERN2.Select |
| selectCountable | AERN2.Select |
| SelectCountableType | AERN2.Select |
| SelectType | AERN2.Select |
| seqByPrecision2seqByAccuracy | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| setPrecision | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| setPrecisionAtLeastAccuracy | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| setPrecisionCEDU | AERN2.MP.Float.Type, AERN2.MP.Float |
| ShowWithAccuracy | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| showWithAccuracy | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| sinCEDU | AERN2.MP.Float.Arithmetic, AERN2.MP.Float |
| sinDown | AERN2.MP.Float.Operators, AERN2.MP.Float |
| sinUp | AERN2.MP.Float.Operators, AERN2.MP.Float |
| specCanMapInside | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| specCanSetPrecision | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| specDyadic | AERN2.MP.Dyadic |
| specMPBall | AERN2.MP.Ball.Tests |
| specMPFloat | AERN2.MP.Float.Tests, AERN2.MP.Float |
| sqrtCEDU | AERN2.MP.Float.Arithmetic, AERN2.MP.Float |
| sqrtDown | AERN2.MP.Float.Operators, AERN2.MP.Float |
| sqrtUp | AERN2.MP.Float.Operators, AERN2.MP.Float |
| standardPrecisions | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| subCEDU | AERN2.MP.Float.Arithmetic, AERN2.MP.Float |
| subMP | AERN2.MP.ErrorBound, AERN2.MP |
| tDyadic | AERN2.MP.Dyadic |
| tKleenean | AERN2.Kleenean, AERN2.MP |
| tMPBall | AERN2.MP.Ball.Tests |
| tMPFloat | AERN2.MP.Float.Tests, AERN2.MP.Float |
| toDouble | AERN2.MP.Float.Conversions, AERN2.MP.Float |
| TrueOrFalse | AERN2.Kleenean, AERN2.MP |
| two | AERN2.MP.Float.Conversions, AERN2.MP.Float |
| union | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| UnionType | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP.Ball, AERN2.MP, AERN2.MP |
| unMPFloat | AERN2.MP.Float.Type, AERN2.MP.Float |
| unWithCurrentPrec | AERN2.MP.WithCurrentPrec.Type, AERN2.MP.WithCurrentPrec |
| updateRadius | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| WithAnyPrec | |
| 1 (Type/Class) | AERN2.MP.WithCurrentPrec.Type, AERN2.MP.WithCurrentPrec |
| 2 (Data Constructor) | AERN2.MP.WithCurrentPrec.Type, AERN2.MP.WithCurrentPrec |
| WithCurrentPrec | |
| 1 (Type/Class) | AERN2.MP.WithCurrentPrec.Type, AERN2.MP.WithCurrentPrec |
| 2 (Data Constructor) | AERN2.MP.WithCurrentPrec.Type, AERN2.MP.WithCurrentPrec |
| zero | AERN2.MP.Float.Conversions, AERN2.MP.Float |
| _example1 | AERN2.MP.WithCurrentPrec.Elementary |
| _example1P | AERN2.MP.WithCurrentPrec.PreludeInstances |
| _example2 | AERN2.MP.WithCurrentPrec.Elementary |
| _example2P | AERN2.MP.WithCurrentPrec.PreludeInstances |
| _example3 | AERN2.MP.WithCurrentPrec.Elementary |
| _example3P | AERN2.MP.WithCurrentPrec.PreludeInstances |