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

Index

?AERN2.Real.Type, AERN2.Real
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
CRealAERN2.Real.Type, AERN2.Real
crealAERN2.Real.Type, AERN2.Real
crealFromPrecFunctionAERN2.Real.Type
crealFromWithCurrentPrecAERN2.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
extractApproximationAERN2.Real.Type, AERN2.Real
ExtractedApproximationAERN2.Real.Type, AERN2.Real
HasCComplexAERN2.Complex
HasCRealsAERN2.Real.Type, AERN2.Real
HasLimitsAERN2.Real
lift1AERN2.Real.Type
lift1TAERN2.Real.Type
lift2AERN2.Real.Type
liftT1AERN2.Real.Type
limitAERN2.Real
LimitTypeAERN2.Real
piAERN2.Real.Elementary, AERN2.Real
precAERN2.Real
realWithAccuracyAERN2.Real.Type, AERN2.Real
selectAERN2.Real.CKleenean, AERN2.Real
SelectTypeAERN2.Real.CKleenean, AERN2.Real
_example1AERN2.Real.Type
_example2AERN2.Real.Type
_example3AERN2.Real.Type