aern2-real-0.2.4.1: Real numbers as sequences of MPBalls

Index

?AERN2.Real.Type, AERN2.Real
absQAERN2.Real.Examples.Introduction
absR1AERN2.Real.Examples.Introduction
absR2AERN2.Real.Examples.Introduction
absR2_approxAERN2.Real.Examples.Introduction
averageAERN2.Real.Examples.ClosestPairDist
a_thirdAERN2.Real.Examples.Introduction
bitsAERN2.Real
CanBeCComplexAERN2.Complex
CanBeCKleeneanAERN2.Real.CKleenean, AERN2.Real
CanBeCRealAERN2.Real.Type, AERN2.Real
CanExtractApproximationAERN2.Real.Type, AERN2.Real
CanSelectAERN2.Real.CKleenean, AERN2.Real
CComplexAERN2.Complex
ccomplexAERN2.Complex
CKleeneanAERN2.Real.CKleenean, AERN2.Real
ckleeneanAERN2.Real.CKleenean, AERN2.Real
closestPairDist_naiveAERN2.Real.Examples.ClosestPairDist
closestPairDist_runAERN2.Real.Examples.ClosestPairDist
closestPairDist_runTests1AERN2.Real.Examples.ClosestPairDist
closestPairDist_runTests2AERN2.Real.Examples.ClosestPairDist
closestPairDist_run_naiveAERN2.Real.Examples.ClosestPairDist
closestPairDist_run_splitAERN2.Real.Examples.ClosestPairDist
closestPairDist_specAERN2.Real.Examples.ClosestPairDist
closestPairDist_splitAERN2.Real.Examples.ClosestPairDist
compare_run1AERN2.Real.Examples.Introduction
compare_run2AERN2.Real.Examples.Introduction
compare_run3AERN2.Real.Examples.Introduction
compare_run4AERN2.Real.Examples.Introduction
compare_run5AERN2.Real.Examples.Introduction
compare_run6AERN2.Real.Examples.Introduction
compare_run7AERN2.Real.Examples.Introduction
compMPBallAERN2.Real.Examples.ClosestPairDist
compRApproxAERN2.Real.Examples.ClosestPairDist
CRealAERN2.Real.Type, AERN2.Real
crealAERN2.Real.Type, AERN2.Real
crealFromPrecFunctionAERN2.Real.Type
cseqFromPrecFunctionAERN2.Real.Type
cseqFromWithCurrentPrecAERN2.Real.Type
cseqIndexForPrecisionAERN2.Real.Type, AERN2.Real
cseqPrecisionsAERN2.Real.Type, AERN2.Real
cseqShowDefaultIndexAERN2.Real.Type
CSequence 
1 (Type/Class)AERN2.Real.Type, AERN2.Real
2 (Data Constructor)AERN2.Real.Type, AERN2.Real
detectCNAERN2.Real.Examples.Introduction
distanceAERN2.Real.Examples.ClosestPairDist
distinctPairsAERN2.Real.Examples.ClosestPairDist
extractApproximationAERN2.Real.Type, AERN2.Real
ExtractedApproximationAERN2.Real.Type, AERN2.Real
e_sumAERN2.Real.Examples.Introduction
e_sum2AERN2.Real.Examples.Introduction
factAERN2.Real.Examples.Introduction
HasCComplexAERN2.Complex
HasCRealsAERN2.Real.Type, AERN2.Real
HasLimitsAERN2.Real
largestAERN2.Real.Examples.ClosestPairDist
lift1AERN2.Real.Type
lift1TAERN2.Real.Type
lift2AERN2.Real.Type
liftT1AERN2.Real.Type
limitAERN2.Real
LimitTypeAERN2.Real
logistic1AERN2.Real.Examples.Introduction
logistic1_CReal_runAERN2.Real.Examples.Introduction
my_eAERN2.Real.Examples.Introduction
my_e2AERN2.Real.Examples.Introduction
partialfn_bad1AERN2.Real.Examples.Introduction
partialfn_bad2AERN2.Real.Examples.Introduction
partialfn_bad3AERN2.Real.Examples.Introduction
partialfn_bad6AERN2.Real.Examples.Introduction
partialfn_bad7AERN2.Real.Examples.Introduction
partialfn_ok4AERN2.Real.Examples.Introduction
partialfn_ok5AERN2.Real.Examples.Introduction
piAERN2.Real.Elementary, AERN2.Real
pi100AERN2.Real.Examples.Introduction
pif_run1AERN2.Real.Examples.Introduction
precAERN2.Real
RAERN2.Real.Examples.ClosestPairDist
realWithAccuracyAERN2.Real.Type, AERN2.Real
sample_integersAERN2.Real.Examples.ClosestPairDist
sample_rationalsAERN2.Real.Examples.ClosestPairDist
selectAERN2.Real.CKleenean, AERN2.Real
SelectTypeAERN2.Real.CKleenean, AERN2.Real
select_run1AERN2.Real.Examples.Introduction
sine1AERN2.Real.Examples.Introduction
sine1_run1AERN2.Real.Examples.Introduction
sine1_run2AERN2.Real.Examples.Introduction
smallestAERN2.Real.Examples.ClosestPairDist
specCRealAERN2.Real.Tests
sumSines1AERN2.Real.Examples.Introduction
sumSines1_run1AERN2.Real.Examples.Introduction
sumSines1_run2AERN2.Real.Examples.Introduction
tails1AERN2.Real.Examples.ClosestPairDist
tCRealAERN2.Real.Tests
_example1AERN2.Real.Type
_example2AERN2.Real.Type
_example3AERN2.Real.Type