aern2-mp-0.1.3.1: Multi-precision ball (interval) arithmetic

Index

*.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
/.AERN2.MP.Float.Operators, AERN2.MP.Float
/^AERN2.MP.Float.Operators, AERN2.MP.Float
=~=AERN2.MP.Float.Tests, AERN2.MP.Float
absAERN2.MP.Float.UseRounded.RoundedAdaptor
absMPAERN2.MP.ErrorBound, AERN2.MP
abs_AERN2.MP.Float.UseRounded.RoundedAdaptor
ac2precAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
AccuracyAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
acosh_AERN2.MP.Float.UseRounded.RoundedAdaptor
acos_AERN2.MP.Float.UseRounded.RoundedAdaptor
addAERN2.MP.Float.UseRounded.RoundedAdaptor
addDownAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
addUpAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
add_AERN2.MP.Float.UseRounded.RoundedAdaptor
adjustAccuracyGuideAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
approxEqualAERN2.MP.Float.Tests, AERN2.MP.Float
approxEqualWithArgsAERN2.MP.Float.Tests, AERN2.MP.Float
ApproximateAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
asinh_AERN2.MP.Float.UseRounded.RoundedAdaptor
asin_AERN2.MP.Float.UseRounded.RoundedAdaptor
atan2AERN2.MP.Float.UseRounded.RoundedAdaptor
atan2_AERN2.MP.Float.UseRounded.RoundedAdaptor
atanh_AERN2.MP.Float.UseRounded.RoundedAdaptor
atan_AERN2.MP.Float.UseRounded.RoundedAdaptor
avgDownAERN2.MP.Float
avgUpAERN2.MP.Float
AwayFromZeroAERN2.MP.Float.UseRounded.RoundedAdaptor
ball_errorAERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
ball_valueAERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
bitsAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
byEndpointsMPAERN2.MP.Ball.Comparisons, AERN2.MP.Ball
CanBeDyadicAERN2.MP.Dyadic
CanBeErrorBoundAERN2.MP.ErrorBound, AERN2.MP.Ball, AERN2.MP
CanBeMPBallAERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
CanBeMPBallPAERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
CanBeMPFloatAERN2.MP.Float.UseRounded.Conversions, AERN2.MP.Float
CanIntersectAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
CanIntersectAsymmetricAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
CanIntersectCNByAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
CanIntersectCNSameTypeAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
CanMapInsideAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
CanNormalizeAERN2.Normalize
CanReduceSizeUsingAccuracyGuideAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
CanSetAccuracyGuideAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
CanSetPrecisionAERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
CanTestContainsAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
CanUnionAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
CanUnionAsymmetricAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
CanUnionCNByAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
CanUnionCNSameTypeAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
ceiling_AERN2.MP.Float.UseRounded.RoundedAdaptor
centreAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
centreAsBallAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
centreAsBallAndRadiusAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
CentreTypeAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
containsAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
convergentList2CauchySeqAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
ConvertibleWithPrecisionAERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
convertPAERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
convertPFirstAERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
convertPSecondAERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
cosAERN2.MP.Float.UseRounded.RoundedAdaptor
cosDownAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
cosh_AERN2.MP.Float.UseRounded.RoundedAdaptor
cosUpAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
cos_AERN2.MP.Float.UseRounded.RoundedAdaptor
decodeFloat'AERN2.MP.Float.UseRounded.RoundedAdaptor
defaultPrecision 
1 (Function)AERN2.MP.Float.UseRounded.RoundedAdaptor
2 (Function)AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
distDownAERN2.MP.Float
distUpAERN2.MP.Float
divAERN2.MP.Float.UseRounded.RoundedAdaptor
divDownAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
divUpAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
div_AERN2.MP.Float.UseRounded.RoundedAdaptor
DownAERN2.MP.Float.UseRounded.RoundedAdaptor
DyadicAERN2.MP.Dyadic
dyadicAERN2.MP.Dyadic
encodeFloat'AERN2.MP.Float.UseRounded.RoundedAdaptor
endpointsAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
endpointsMPAERN2.MP.Ball.Type
ErrorBoundAERN2.MP.ErrorBound, AERN2.MP.Ball, AERN2.MP
errorBoundAERN2.MP.ErrorBound, AERN2.MP.Ball, AERN2.MP
ExactAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
expAERN2.MP.Float.UseRounded.RoundedAdaptor
expDownAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
expm1_AERN2.MP.Float.UseRounded.RoundedAdaptor
exponent'AERN2.MP.Float.UseRounded.RoundedAdaptor
expUpAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
exp_AERN2.MP.Float.UseRounded.RoundedAdaptor
FaithfullyAERN2.MP.Float.UseRounded.RoundedAdaptor
floatDigits'AERN2.MP.Float.UseRounded.RoundedAdaptor
floatRadix'AERN2.MP.Float.UseRounded.RoundedAdaptor
floatRange'AERN2.MP.Float.UseRounded.RoundedAdaptor
floor_AERN2.MP.Float.UseRounded.RoundedAdaptor
frequencyElementsAERN2.MP.Float.Tests, AERN2.MP.Float
fromAccuracyAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
fromApproxWithLipschitzAERN2.MP.Ball.Elementary, AERN2.MP.Ball
fromDoubleAERN2.MP.Float.UseRounded.RoundedAdaptor
fromEndpointsAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
fromEndpointsMPAERN2.MP.Ball.Type
fromIntAERN2.MP.Float.UseRounded.RoundedAdaptor
fromInteger'AERN2.MP.Float.UseRounded.RoundedAdaptor
fromIntegerAAERN2.MP.Float.UseRounded.RoundedAdaptor
fromIntegerDownAERN2.MP.Float.UseRounded.Conversions, AERN2.MP.Float
fromIntegerUpAERN2.MP.Float.UseRounded.Conversions, AERN2.MP.Float
fromLongDoubleAERN2.MP.Float.UseRounded.RoundedAdaptor
fromRational'AERN2.MP.Float.UseRounded.RoundedAdaptor
fromRationalAAERN2.MP.Float.UseRounded.RoundedAdaptor
fromRationalDownAERN2.MP.Float.UseRounded.Conversions, AERN2.MP.Float
fromRationalUpAERN2.MP.Float.UseRounded.Conversions, AERN2.MP.Float
getAccuracyAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
getAccuracyGuideAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
getApproximateAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
getExpAERN2.MP.Float.UseRounded.RoundedAdaptor
getFiniteAccuracyAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
getNormLogAERN2.Norm, AERN2.MP.Ball.Comparisons, AERN2.MP.Ball, AERN2.MP
getPrecAERN2.MP.Float.UseRounded.RoundedAdaptor
getPrecisionAERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
HasAccuracyAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
HasAccuracyGuideAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
HasApproximateAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
HasDyadicsAERN2.MP.Dyadic
HasNormAERN2.Norm, AERN2.MP.Ball.Comparisons, AERN2.MP.Ball, AERN2.MP
HasPrecisionAERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
infinityAERN2.MP.Float.Constants, AERN2.MP.Float
integerBoundsAERN2.MP.Ball.Conversions
intersectAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
IntersectionTypeAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
intervalFunctionByEndpointsAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
intervalFunctionByEndpointsUpDownAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
invertNormLogAERN2.Norm, AERN2.MP.Ball.Comparisons, AERN2.MP.Ball, AERN2.MP
IsBallAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
isDenormalized'AERN2.MP.Float.UseRounded.RoundedAdaptor
isIEEE'AERN2.MP.Float.UseRounded.RoundedAdaptor
isInfinite'AERN2.MP.Float.UseRounded.RoundedAdaptor
IsIntervalAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
isNaN'AERN2.MP.Float.UseRounded.RoundedAdaptor
isNegativeZero'AERN2.MP.Float.UseRounded.RoundedAdaptor
iterateUntilAccurateAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
iterateUntilOKAERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
kCatalanAERN2.MP.Float.UseRounded.RoundedAdaptor
kEulerAERN2.MP.Float.UseRounded.RoundedAdaptor
kLog2AERN2.MP.Float.UseRounded.RoundedAdaptor
kPiAERN2.MP.Float.UseRounded.RoundedAdaptor
listFromGenAERN2.Utils.Bench
logAERN2.MP.Float.UseRounded.RoundedAdaptor
log1p_AERN2.MP.Float.UseRounded.RoundedAdaptor
logDownAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
logUpAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
log_AERN2.MP.Float.UseRounded.RoundedAdaptor
lowerPrecisionIfAboveAERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
makeExactCentreAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
mapInsideAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
maximumPrecisionAERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
max_AERN2.MP.Float.UseRounded.RoundedAdaptor
min_AERN2.MP.Float.UseRounded.RoundedAdaptor
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
mpBallAERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
mpBallPAERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
MPFloatAERN2.MP.Float.UseRounded.Type, AERN2.MP.Float
mpFloatAERN2.MP.Float.UseRounded.Conversions, AERN2.MP.Float
mulAERN2.MP.Float.UseRounded.RoundedAdaptor
mulDownAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
mulUpAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
mul_AERN2.MP.Float.UseRounded.RoundedAdaptor
nanAERN2.MP.Float.Constants, AERN2.MP.Float
negAERN2.MP.Float.UseRounded.RoundedAdaptor
negate_AERN2.MP.Float.UseRounded.RoundedAdaptor
NoInformationAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
normalizeAERN2.Normalize
NormBitsAERN2.Norm, AERN2.MP.Ball.Comparisons, AERN2.MP.Ball, AERN2.MP
NormLogAERN2.Norm, AERN2.MP.Ball.Comparisons, AERN2.MP.Ball, AERN2.MP
NormZeroAERN2.Norm, AERN2.MP.Ball.Comparisons, AERN2.MP.Ball, AERN2.MP
one 
1 (Function)AERN2.MP.Float.UseRounded.RoundedAdaptor
2 (Function)AERN2.MP.Float.Constants, AERN2.MP.Float
p2mpfrPrecAERN2.MP.Float.UseRounded.Type, AERN2.MP.Float
peekRoundedAERN2.MP.Float.UseRounded.RoundedAdaptor
piAERN2.MP.Float.UseRounded.RoundedAdaptor
piBallPAERN2.MP.Ball.Elementary, AERN2.MP.Ball
piDownAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
piUpAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
precAERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
Precision 
1 (Type/Class)AERN2.MP.Float.UseRounded.RoundedAdaptor
2 (Type/Class)AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
precisionAERN2.MP.Float.UseRounded.RoundedAdaptor
precisionTimes2AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
precRoundAERN2.MP.Float.UseRounded.RoundedAdaptor
properFraction_AERN2.MP.Float.UseRounded.RoundedAdaptor
radiusAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
raisePrecisionIfBelowAERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
read'AERN2.MP.Float.UseRounded.RoundedAdaptor
recipDownAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
recipUpAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
reducePrecionIfInaccurateAERN2.MP.Ball.Type, AERN2.MP.Ball.Comparisons, AERN2.MP.Ball
reduceSizeUsingAccuracyGuideAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
reifyRoundedAERN2.MP.Float.UseRounded.RoundedAdaptor
RoundedAERN2.MP.Float.UseRounded.RoundedAdaptor
RoundingModeAERN2.MP.Float.UseRounded.RoundedAdaptor
RoundModeAERN2.MP.Float.UseRounded.RoundedAdaptor
round_AERN2.MP.Float.UseRounded.RoundedAdaptor
safeConvertPAERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
scaleFloat'AERN2.MP.Float.UseRounded.RoundedAdaptor
seqByPrecision2CauchySeqAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
setAERN2.MP.Float.UseRounded.RoundedAdaptor
setAccuracyGuideAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
setPrecisionAERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
setPrecisionAtLeastAccuracyAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
setPrecisionDownAERN2.MP.Float.UseRounded.Type, AERN2.MP.Float
setPrecisionUpAERN2.MP.Float.UseRounded.Type, AERN2.MP.Float
show'AERN2.MP.Float.UseRounded.RoundedAdaptor
significand'AERN2.MP.Float.UseRounded.RoundedAdaptor
simplifyAERN2.MP.Float.UseRounded.RoundedAdaptor
sinAERN2.MP.Float.UseRounded.RoundedAdaptor
sinDownAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
sinh_AERN2.MP.Float.UseRounded.RoundedAdaptor
sinUpAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
sin_AERN2.MP.Float.UseRounded.RoundedAdaptor
specCanMapInsideAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
specCanReduceSizeUsingAccuracyGuideAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
specCanSetPrecisionAERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
specDyadicAERN2.MP.Dyadic
specMPBallAERN2.MP.Ball.Tests
specMPFloatAERN2.MP.Float.Tests, AERN2.MP.Float
sqrtAERN2.MP.Float.UseRounded.RoundedAdaptor
sqrtDownAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
sqrtUpAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
sqrt_AERN2.MP.Float.UseRounded.RoundedAdaptor
standardPrecisionsAERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
subAERN2.MP.Float.UseRounded.RoundedAdaptor
subDownAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
subMPAERN2.MP.ErrorBound, AERN2.MP
subUpAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
sub_AERN2.MP.Float.UseRounded.RoundedAdaptor
tanh_AERN2.MP.Float.UseRounded.RoundedAdaptor
tan_AERN2.MP.Float.UseRounded.RoundedAdaptor
tDyadicAERN2.MP.Dyadic
tMPBallAERN2.MP.Ball.Tests
tMPFloatAERN2.MP.Float.Tests, AERN2.MP.Float
toDoubleAERN2.MP.Float.UseRounded.RoundedAdaptor
toDoubleAAERN2.MP.Float.UseRounded.RoundedAdaptor
toDoubleDownAERN2.MP.Float.UseRounded.Conversions, AERN2.MP.Float
toDoubleUpAERN2.MP.Float.UseRounded.Conversions, AERN2.MP.Float
toInteger'AERN2.MP.Float.UseRounded.RoundedAdaptor
toLongDoubleAERN2.MP.Float.UseRounded.RoundedAdaptor
toRational'AERN2.MP.Float.UseRounded.RoundedAdaptor
toRationalAAERN2.MP.Float.UseRounded.RoundedAdaptor
TowardInfAERN2.MP.Float.UseRounded.RoundedAdaptor
TowardNearestAERN2.MP.Float.UseRounded.RoundedAdaptor
TowardNearestWithTiesAwayFromZeroAERN2.MP.Float.UseRounded.RoundedAdaptor
TowardNegInfAERN2.MP.Float.UseRounded.RoundedAdaptor
TowardZeroAERN2.MP.Float.UseRounded.RoundedAdaptor
truncate_AERN2.MP.Float.UseRounded.RoundedAdaptor
unionAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
UnionTypeAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
UpAERN2.MP.Float.UseRounded.RoundedAdaptor
updateRadiusAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
withInOutRoundedAERN2.MP.Float.UseRounded.RoundedAdaptor
withInOutRounded_AERN2.MP.Float.UseRounded.RoundedAdaptor
withInRoundedAERN2.MP.Float.UseRounded.RoundedAdaptor
withOutRoundedAERN2.MP.Float.UseRounded.RoundedAdaptor
withOutRounded_AERN2.MP.Float.UseRounded.RoundedAdaptor
withRoundModeAERN2.MP.Float.UseRounded.RoundedAdaptor
zero 
1 (Function)AERN2.MP.Float.UseRounded.RoundedAdaptor
2 (Function)AERN2.MP.Float.Constants, AERN2.MP.Float