aern2-mp-0.1.0.1: Multi-precision floats via MPFR

Index

*.AERN2.MP.UseMPFR.Float.Operators, AERN2.MP.UseMPFR.Float
*^AERN2.MP.UseMPFR.Float.Operators, AERN2.MP.UseMPFR.Float
+.AERN2.MP.UseMPFR.Float.Operators, AERN2.MP.UseMPFR.Float
+^AERN2.MP.UseMPFR.Float.Operators, AERN2.MP.UseMPFR.Float
-.AERN2.MP.UseMPFR.Float.Operators, AERN2.MP.UseMPFR.Float
-^AERN2.MP.UseMPFR.Float.Operators, AERN2.MP.UseMPFR.Float
/.AERN2.MP.UseMPFR.Float.Operators, AERN2.MP.UseMPFR.Float
/^AERN2.MP.UseMPFR.Float.Operators, AERN2.MP.UseMPFR.Float
=~=AERN2.MP.UseMPFR.Float.Tests, AERN2.MP.UseMPFR.Float
absMPAERN2.MP.UseMPFR.ErrorBound, AERN2.MP.ErrorBound, AERN2.MP
ac2precAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
AccuracyAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
addDownAERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float
addUpAERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float
adjustAccuracyGuideAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
approxEqualAERN2.MP.UseMPFR.Float.Tests, AERN2.MP.UseMPFR.Float
approxEqualWithArgsAERN2.MP.UseMPFR.Float.Tests, AERN2.MP.UseMPFR.Float
ApproximateAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
avgDownAERN2.MP.UseMPFR.Float
avgUpAERN2.MP.UseMPFR.Float
ball_errorAERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
ball_valueAERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
bitsAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
byEndpointsMPAERN2.MP.UseMPFR.Ball.Comparisons, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball
CanBeDyadicAERN2.MP.UseMPFR.Dyadic, AERN2.MP.Dyadic
CanBeErrorBoundAERN2.MP.UseMPFR.ErrorBound, AERN2.MP.ErrorBound, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
CanBeMPBallAERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
CanBeMPBallPAERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
CanBeMPFloatAERN2.MP.UseMPFR.Float.Conversions, AERN2.MP.UseMPFR.Float
CanIntersectAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
CanIntersectAsymmetricAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
CanIntersectCNByAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
CanIntersectCNSameTypeAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
CanMapInsideAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
CanNormalizeAERN2.Normalize
CanReduceSizeUsingAccuracyGuideAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
CanSetAccuracyGuideAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
CanSetPrecisionAERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
CanTestContainsAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
CanUnionAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
CanUnionAsymmetricAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
CanUnionCNByAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
CanUnionCNSameTypeAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
centreAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
centreAsBallAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
centreAsBallAndRadiusAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
CentreTypeAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
containsAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
convergentList2CauchySeqAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
ConvertibleWithPrecisionAERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
convertPAERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
convertPFirstAERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
convertPSecondAERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
cosDownAERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float
cosUpAERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float
defaultPrecisionAERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
distDownAERN2.MP.UseMPFR.Float
distUpAERN2.MP.UseMPFR.Float
divDownAERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float
divUpAERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float
DyadicAERN2.MP.UseMPFR.Dyadic, AERN2.MP.Dyadic
dyadicAERN2.MP.UseMPFR.Dyadic, AERN2.MP.Dyadic
endpointsAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
endpointsMPAERN2.MP.UseMPFR.Ball.Type
ErrorBoundAERN2.MP.UseMPFR.ErrorBound, AERN2.MP.ErrorBound, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
errorBoundAERN2.MP.UseMPFR.ErrorBound, AERN2.MP.ErrorBound, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
ExactAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
expDownAERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float
expUpAERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float
frequencyElementsAERN2.MP.UseMPFR.Float.Tests, AERN2.MP.UseMPFR.Float
fromAccuracyAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
fromApproxWithLipschitzAERN2.MP.UseMPFR.Ball.Elementary, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball
fromEndpointsAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
fromEndpointsMPAERN2.MP.UseMPFR.Ball.Type
fromIntegerDownAERN2.MP.UseMPFR.Float.Conversions, AERN2.MP.UseMPFR.Float
fromIntegerUpAERN2.MP.UseMPFR.Float.Conversions, AERN2.MP.UseMPFR.Float
fromRationalDownAERN2.MP.UseMPFR.Float.Conversions, AERN2.MP.UseMPFR.Float
fromRationalUpAERN2.MP.UseMPFR.Float.Conversions, AERN2.MP.UseMPFR.Float
getAccuracyAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
getAccuracyGuideAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
getApproximateAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
getFiniteAccuracyAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
getNormLogAERN2.Norm, AERN2.MP.UseMPFR.Ball.Comparisons, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
getPrecisionAERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
HasAccuracyAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
HasAccuracyGuideAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
HasApproximateAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
HasDyadicsAERN2.MP.UseMPFR.Dyadic, AERN2.MP.Dyadic
HasNormAERN2.Norm, AERN2.MP.UseMPFR.Ball.Comparisons, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
HasPrecisionAERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
infinityAERN2.MP.UseMPFR.Float.Constants, AERN2.MP.UseMPFR.Float
integerBoundsAERN2.MP.UseMPFR.Ball.Conversions
intersectAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
IntersectionTypeAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
intervalFunctionByEndpointsAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
intervalFunctionByEndpointsUpDownAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
invertNormLogAERN2.Norm, AERN2.MP.UseMPFR.Ball.Comparisons, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
IsBallAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
IsIntervalAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
iterateUntilAccurateAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
iterateUntilOKAERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
listFromGenAERN2.Utils.Bench
logDownAERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float
logUpAERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float
lowerPrecisionIfAboveAERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
makeExactCentreAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
mapInsideAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
maximumPrecisionAERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
MPBall 
1 (Type/Class)AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
2 (Data Constructor)AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
mpBallAERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
mpBallPAERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
MPFloatAERN2.MP.UseMPFR.Float.Type, AERN2.MP.UseMPFR.Float
mpFloatAERN2.MP.UseMPFR.Float.Conversions, AERN2.MP.UseMPFR.Float
mulDownAERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float
mulUpAERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float
nanAERN2.MP.UseMPFR.Float.Constants, AERN2.MP.UseMPFR.Float
NoInformationAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
normalizeAERN2.Normalize
NormBitsAERN2.Norm, AERN2.MP.UseMPFR.Ball.Comparisons, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
NormLogAERN2.Norm, AERN2.MP.UseMPFR.Ball.Comparisons, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
NormZeroAERN2.Norm, AERN2.MP.UseMPFR.Ball.Comparisons, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
oneAERN2.MP.UseMPFR.Float.Constants, AERN2.MP.UseMPFR.Float
p2mpfrPrecAERN2.MP.UseMPFR.Float.Type, AERN2.MP.UseMPFR.Float
piBallPAERN2.MP.UseMPFR.Ball.Elementary, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball
piDownAERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float
piUpAERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float
precAERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
PrecisionAERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
precisionTimes2AERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
radiusAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
raisePrecisionIfBelowAERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
recipDownAERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float
recipUpAERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float
reducePrecionIfInaccurateAERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball.Comparisons, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball
reduceSizeUsingAccuracyGuideAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
safeConvertPAERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
seqByPrecision2CauchySeqAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
setAccuracyGuideAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
setPrecisionAERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
setPrecisionAtLeastAccuracyAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
setPrecisionDownAERN2.MP.UseMPFR.Float.Type, AERN2.MP.UseMPFR.Float
setPrecisionUpAERN2.MP.UseMPFR.Float.Type, AERN2.MP.UseMPFR.Float
sinDownAERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float
sinUpAERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float
specCanMapInsideAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
specCanReduceSizeUsingAccuracyGuideAERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
specCanSetPrecisionAERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
specDyadicAERN2.MP.UseMPFR.Dyadic, AERN2.MP.Dyadic
specMPBallAERN2.MP.Ball.Tests
specMPFloatAERN2.MP.UseMPFR.Float.Tests, AERN2.MP.UseMPFR.Float
sqrtDownAERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float
sqrtUpAERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float
standardPrecisionsAERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
subDownAERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float
subMPAERN2.MP.UseMPFR.ErrorBound, AERN2.MP.ErrorBound, AERN2.MP
subUpAERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float
tDyadicAERN2.MP.UseMPFR.Dyadic, AERN2.MP.Dyadic
tMPBallAERN2.MP.Ball.Tests
tMPFloatAERN2.MP.UseMPFR.Float.Tests, AERN2.MP.UseMPFR.Float
toDoubleDownAERN2.MP.UseMPFR.Float.Conversions, AERN2.MP.UseMPFR.Float
toDoubleUpAERN2.MP.UseMPFR.Float.Conversions, AERN2.MP.UseMPFR.Float
unionAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
UnionTypeAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
updateRadiusAERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP
zeroAERN2.MP.UseMPFR.Float.Constants, AERN2.MP.UseMPFR.Float