| ? | AERN2.Real.Type, AERN2.Real |
| absQ | AERN2.Real.Examples.Introduction |
| absR1 | AERN2.Real.Examples.Introduction |
| absR2 | AERN2.Real.Examples.Introduction |
| absR2_approx | AERN2.Real.Examples.Introduction |
| and_countable | AERN2.Real.CKleenean, AERN2.Real |
| average | AERN2.Real.Examples.ClosestPairDist |
| a_third | AERN2.Real.Examples.Introduction |
| bits | AERN2.Real |
| CanAndOrCountable | AERN2.Real.CKleenean, 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 |
| CanSelectBool | AERN2.Real |
| CanSelectCNBool | AERN2.Real |
| CComplex | AERN2.Complex |
| ccomplex | AERN2.Complex |
| CKleenean | AERN2.Real.CKleenean, AERN2.Real |
| ckleenean | AERN2.Real.CKleenean, AERN2.Real |
| closestPairDist_naive | AERN2.Real.Examples.ClosestPairDist |
| closestPairDist_run | AERN2.Real.Examples.ClosestPairDist |
| closestPairDist_runTests1 | AERN2.Real.Examples.ClosestPairDist |
| closestPairDist_run_naive | AERN2.Real.Examples.ClosestPairDist |
| closestPairDist_run_naive_CReal | AERN2.Real.Examples.ClosestPairDist |
| closestPairDist_run_naive_WCP | AERN2.Real.Examples.ClosestPairDist |
| closestPairDist_run_split | AERN2.Real.Examples.ClosestPairDist |
| closestPairDist_run_split_CReal | AERN2.Real.Examples.ClosestPairDist |
| closestPairDist_run_split_WCP | AERN2.Real.Examples.ClosestPairDist |
| closestPairDist_spec | AERN2.Real.Examples.ClosestPairDist |
| closestPairDist_split | AERN2.Real.Examples.ClosestPairDist |
| compare_run1 | AERN2.Real.Examples.Introduction |
| compare_run2 | AERN2.Real.Examples.Introduction |
| compare_run3 | AERN2.Real.Examples.Introduction |
| compare_run4 | AERN2.Real.Examples.Introduction |
| compare_run5 | AERN2.Real.Examples.Introduction |
| compare_run6 | AERN2.Real.Examples.Introduction |
| compare_run7 | AERN2.Real.Examples.Introduction |
| CReal | AERN2.Real.Type, AERN2.Real |
| creal | AERN2.Real.Type, AERN2.Real |
| crealFromPrecFunction | AERN2.Real.Type, AERN2.Real |
| crealFromWithCurrentPrec | AERN2.Real.Type, AERN2.Real |
| cseqFromPrecFunction | AERN2.Real.Type, AERN2.Real |
| cseqFromWithCurrentPrec | AERN2.Real.Type, AERN2.Real |
| 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 |
| detectCN | AERN2.Real.Examples.Introduction |
| distance | AERN2.Real.Examples.ClosestPairDist |
| extractApproximation | AERN2.Real.Type, AERN2.Real |
| ExtractedApproximation | AERN2.Real.Type, AERN2.Real |
| e_sum | AERN2.Real.Examples.Introduction |
| e_sum2 | AERN2.Real.Examples.Introduction |
| fact | AERN2.Real.Examples.Introduction |
| HasCComplex | AERN2.Complex |
| HasCReals | AERN2.Real.Type, AERN2.Real |
| HasLimits | AERN2.Real |
| largest | AERN2.Real.Examples.ClosestPairDist |
| lift1 | AERN2.Real.Type |
| lift1T | AERN2.Real.Type |
| lift2 | AERN2.Real.Type |
| lift2LeftFirst | AERN2.Real.Type |
| liftT1 | AERN2.Real.Type |
| limit | AERN2.Real |
| LimitType | AERN2.Real |
| logistic | AERN2.Real.Examples.Introduction |
| logistic1 | AERN2.Real.Examples.Introduction |
| logistic1_CReal_run | AERN2.Real.Examples.Introduction |
| logistic1_WithCurrentPrec_p_run | AERN2.Real.Examples.Introduction |
| logistic1_WithCurrentPrec_run | AERN2.Real.Examples.Introduction |
| maxIntParamUsed | AERN2.Continuity.Principles |
| maxSeqIndexUsed | AERN2.Continuity.Principles |
| my_e | AERN2.Real.Examples.Introduction |
| my_e2 | AERN2.Real.Examples.Introduction |
| or_countable | AERN2.Real.CKleenean, AERN2.Real |
| partialfn_bad1 | AERN2.Real.Examples.Introduction |
| partialfn_bad2 | AERN2.Real.Examples.Introduction |
| partialfn_bad3 | AERN2.Real.Examples.Introduction |
| partialfn_bad6 | AERN2.Real.Examples.Introduction |
| partialfn_bad7 | AERN2.Real.Examples.Introduction |
| partialfn_ok4 | AERN2.Real.Examples.Introduction |
| partialfn_ok5 | AERN2.Real.Examples.Introduction |
| pi | AERN2.Real.Elementary, AERN2.Real |
| pi100 | AERN2.Real.Examples.Introduction |
| pif_run1 | AERN2.Real.Examples.Introduction |
| prec | AERN2.Real |
| RealNumber | AERN2.Real |
| sample_integers | AERN2.Real.Examples.ClosestPairDist |
| sample_rationals | AERN2.Real.Examples.ClosestPairDist |
| select | AERN2.Real |
| SelectType | AERN2.Real |
| select_run1 | AERN2.Real.Examples.Introduction |
| sine1 | AERN2.Real.Examples.Introduction |
| sine1_run1 | AERN2.Real.Examples.Introduction |
| sine1_run2 | AERN2.Real.Examples.Introduction |
| smallest | AERN2.Real.Examples.ClosestPairDist |
| specCReal | AERN2.Real.Tests |
| sumSines1 | AERN2.Real.Examples.Introduction |
| sumSines1_run1 | AERN2.Real.Examples.Introduction |
| sumSines1_run2 | AERN2.Real.Examples.Introduction |
| tCReal | AERN2.Real.Tests |
| unCSequence | AERN2.Real.Type, AERN2.Real |
| unsafeApproximationExtension | AERN2.Real.Type, AERN2.Real |
| _example1 | AERN2.Real.Type |
| _example2 | AERN2.Real.Type |
| _example3 | AERN2.Real.Type |