? | AERN2.Real.Type, AERN2.Real |
bits | AERN2.Real |
CanBeCComplex | AERN2.Complex |
CanBeCKleenean | AERN2.Real.CKleenean, AERN2.Real |
CanBeCReal | AERN2.Real.Type, AERN2.Real |
CanExtractApproximation | AERN2.Real.Type, AERN2.Real |
CanSelect | AERN2.Real.CKleenean, AERN2.Real |
CComplex | AERN2.Complex |
ccomplex | AERN2.Complex |
CKleenean | AERN2.Real.CKleenean, AERN2.Real |
ckleenean | AERN2.Real.CKleenean, AERN2.Real |
CReal | AERN2.Real.Type, AERN2.Real |
creal | AERN2.Real.Type, AERN2.Real |
crealFromPrecFunction | AERN2.Real.Type |
crealFromWithCurrentPrec | AERN2.Real.Type |
cseqFromPrecFunction | AERN2.Real.Type |
cseqFromWithCurrentPrec | AERN2.Real.Type |
cseqIndexForPrecision | AERN2.Real.Type, AERN2.Real |
cseqPrecisions | AERN2.Real.Type, AERN2.Real |
cseqShowDefaultIndex | AERN2.Real.Type |
CSequence | |
1 (Type/Class) | AERN2.Real.Type, AERN2.Real |
2 (Data Constructor) | AERN2.Real.Type, AERN2.Real |
extractApproximation | AERN2.Real.Type, AERN2.Real |
ExtractedApproximation | AERN2.Real.Type, AERN2.Real |
HasCComplex | AERN2.Complex |
HasCReals | AERN2.Real.Type, AERN2.Real |
HasLimits | AERN2.Real |
lift1 | AERN2.Real.Type |
lift1T | AERN2.Real.Type |
lift2 | AERN2.Real.Type |
liftT1 | AERN2.Real.Type |
limit | AERN2.Real |
LimitType | AERN2.Real |
pi | AERN2.Real.Elementary, AERN2.Real |
prec | AERN2.Real |
realWithAccuracy | AERN2.Real.Type, AERN2.Real |
select | AERN2.Real.CKleenean, AERN2.Real |
SelectType | AERN2.Real.CKleenean, AERN2.Real |
_example1 | AERN2.Real.Type |
_example2 | AERN2.Real.Type |
_example3 | AERN2.Real.Type |