aern2-real-0.1.1.0: Exact real numbers via Cauchy sequences and MPFR

Index

-:-AERN2.QA.Protocol, AERN2.Sequence, AERN2.Real
-:-|AERN2.QA.Protocol, AERN2.Sequence
-:-||AERN2.QA.Protocol, AERN2.Sequence
-<?<->-AERN2.QA.Protocol
-?-AERN2.QA.Protocol
-?..-AERN2.QA.Protocol
-?..<-AERN2.QA.Protocol
-?<-AERN2.QA.Protocol
-???<-AERN2.QA.Protocol
?AERN2.QA.Protocol, AERN2.WithGlobalParam, AERN2.Sequence, AERN2.Real, AERN2.MPBallWithGlobalPrec
?..AERN2.QA.Protocol
?<-AERN2.QA.Protocol
??<-AERN2.QA.Protocol
AAERN2.QA.Protocol
absMPAERN2.Real
ac2precAERN2.Real
AccuracyAERN2.Real
AccuracySG 
1 (Type/Class)AERN2.AccuracySG, AERN2.Sequence, AERN2.Real
2 (Data Constructor)AERN2.AccuracySG, AERN2.Sequence, AERN2.Real
accuracySGAERN2.AccuracySG, AERN2.Sequence, AERN2.Real
accuracySGdefaultToleranceAERN2.AccuracySG, AERN2.Sequence, AERN2.Real
acSG0AERN2.AccuracySG, AERN2.Sequence, AERN2.Real
adjustAccuracyGuideAERN2.Real
adjustToAccuracySGAERN2.AccuracySG, AERN2.Sequence, AERN2.Real
AnyProtocolQA 
1 (Type/Class)AERN2.QA.Protocol
2 (Data Constructor)AERN2.QA.Protocol
AnyQAComputation 
1 (Type/Class)AERN2.QA.Strategy.Cached.NetState, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
2 (Data Constructor)AERN2.QA.Strategy.Cached.NetState, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
ApproximateAERN2.Real
ball_errorAERN2.Real
ball_valueAERN2.Real
binaryOp 
1 (Function)AERN2.WithGlobalParam.Helpers, AERN2.WithGlobalParam
2 (Function)AERN2.Sequence.Helpers, AERN2.Sequence
binaryOpWithPureArg 
1 (Function)AERN2.WithGlobalParam.Helpers, AERN2.WithGlobalParam
2 (Function)AERN2.Sequence.Helpers, AERN2.Sequence
binaryWithEnclAERN2.Sequence.Helpers
binaryWithEnclTranslateACAERN2.Sequence.Helpers
bitsAERN2.Real
bitsSAERN2.AccuracySG, AERN2.Sequence, AERN2.Real
bitsSGAERN2.AccuracySG, AERN2.Sequence, AERN2.Real
CanAdjustToAccuracySGAERN2.AccuracySG, AERN2.Sequence, AERN2.Real
CanBeComplexAERN2.Real.Type, AERN2.Real
CanBeComplexAAERN2.Real.Type, AERN2.Real
CanBeErrorBoundAERN2.Real
CanBeMPBallAERN2.Real
CanBeMPBallPAERN2.Real
CanBeRealAERN2.Real.Type, AERN2.Real
CanBeRealAAERN2.Real.Type, AERN2.Real
CanIntersectAERN2.Real
CanIntersectAsymmetricAERN2.Real
CanIntersectCNByAERN2.Real
CanIntersectCNSameTypeAERN2.Real
CanMapInsideAERN2.Real
CanReduceSizeUsingAccuracyGuideAERN2.Real
CanSetAccuracyGuideAERN2.Real
CanSetPrecisionAERN2.Real
CanSwitchArrowAERN2.Utils.Arrows
CanTestContainsAERN2.Real
CanUnionAERN2.Real
CanUnionAsymmetricAERN2.Real
CanUnionCNByAERN2.Real
CanUnionCNSameTypeAERN2.Real
CauchyRealAERN2.Real.Type, AERN2.Real
CauchyRealAAERN2.Real.Type, AERN2.Real
CauchyRealAtAccuracyAERN2.Real.Type
cauchyRealAtAccuracyAERN2.Real.Type
CauchyRealCNAERN2.Real.Type, AERN2.Real
CauchyRealCNAAERN2.Real.Type, AERN2.Real
CauchyRealCNPAERN2.Real.Type
CauchyRealPAERN2.Real.Type, AERN2.Real
centreAERN2.Real
centreAsBallAERN2.Real
centreAsBallAndRadiusAERN2.Real
CentreTypeAERN2.Real
complexAERN2.Real.Type, AERN2.Real
complexAAERN2.Real.Type, AERN2.Real
containsAERN2.Real
convergentList2CauchyRealAAERN2.Real.Type, AERN2.Real
convergentList2CauchySeqAERN2.Real
convergentList2SequenceAAERN2.Sequence.Type, AERN2.Sequence
ConvertibleWithPrecisionAERN2.Real
convertPAERN2.Real
convertPFirstAERN2.Real
convertPSecondAERN2.Real
defaultNewQAAERN2.QA.Protocol
defaultPrecisionAERN2.Real
default_acSGAERN2.AccuracySG, AERN2.Sequence, AERN2.Real
EffortConvSeqAERN2.Sequence.Type
EffortConvSeqAAERN2.Sequence.Type
EffortConvSeqPAERN2.Sequence.Type
endpointsAERN2.Real
ensureAccuracyAAERN2.Sequence.Helpers
ErrorBoundAERN2.Real
errorBoundAERN2.Real
ExactAERN2.Real
executeQACachedAAERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
executeQAParAAERN2.QA.Strategy.Parallel
executeQAParAwithLogAERN2.QA.Strategy.Parallel
executeQAUncachedAAERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
FastConvSeqAERN2.Sequence.Type
FastConvSeqAAERN2.Sequence.Type
FastConvSeqPAERN2.Sequence.Type
fmapSeqAERN2.Sequence.Type
fmapWGParamAERN2.WithGlobalParam.Type, AERN2.WithGlobalParam
formatQALogAERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
formatQALogJSONAERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
fromAccuracyAERN2.Real
fromEndpointsAERN2.Real
getAccuracyAERN2.Real
getAccuracyGuideAERN2.Real
getAnswerPromiseAERN2.QA.Strategy.Cached.NetState, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
getApproximateAERN2.Real
getFiniteAccuracyAERN2.Real
getInitQ1FromSimpleAERN2.Sequence.Helpers, AERN2.Sequence
getInitQ1Q2FromSimpleAERN2.Sequence.Helpers, AERN2.Sequence
getInitQ1TFromSimpleAERN2.Sequence.Helpers, AERN2.Sequence
getNormLogAERN2.Real
getPrecisionAERN2.Real
getSeqFnNormLogAERN2.Sequence.Helpers, AERN2.Sequence
HasAccuracyAERN2.Real
HasAccuracyGuideAERN2.Real
HasApproximateAERN2.Real
HasLimitsAERN2.Limit
HasNormAERN2.Real
HasPrecisionAERN2.Real
initQANetStateAERN2.QA.Strategy.Cached.NetState, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
insertNodeAERN2.QA.Strategy.Cached.NetState, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
intersectAERN2.Real
IntersectionTypeAERN2.Real
intervalFunctionByEndpointsAERN2.Real
intervalFunctionByEndpointsUpDownAERN2.Real
invertNormLogAERN2.Real
IsBallAERN2.Real
IsIntervalAERN2.Real
iterateUntilAccurateAERN2.Real
iterateUntilOKAERN2.Real
limitAERN2.Limit
LimitTypeAERN2.Limit
logAnswerUpdateCacheAERN2.QA.Strategy.Cached.NetState, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
logQueryAERN2.QA.Strategy.Cached.NetState, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
lookupQACacheAERN2.QA.Protocol
lowerPrecisionIfAboveAERN2.Real
makeExactCentreAERN2.Real
mapAAERN2.Utils.Arrows
mapInsideAERN2.Real
mapQAAERN2.QA.Protocol
mapQAsameQAERN2.QA.Protocol
mapWithIndexAAERN2.Utils.Arrows
maximumPrecisionAERN2.Real
MPBall 
1 (Data Constructor)AERN2.Real
2 (Type/Class)AERN2.Real
mpBallAERN2.Real
mpBallPAERN2.Real
MPBallWithGlobalPrecAERN2.MPBallWithGlobalPrec
MPBallWithGlobalPrecAAERN2.MPBallWithGlobalPrec
MPBallWithGlobalPrecPAERN2.MPBallWithGlobalPrec
mulGetInitACAERN2.Sequence.Ring
net_id2valueAERN2.QA.Strategy.Cached.NetState, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
net_logAERN2.QA.Strategy.Cached.NetState, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
net_should_cacheAERN2.QA.Strategy.Cached.NetState, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
newCRAERN2.Real.Type, AERN2.Real
newCRCNAERN2.Real.Type, AERN2.Real
newMPBallWGPrecAERN2.MPBallWithGlobalPrec
newMPBallWGPrecSimpleAERN2.MPBallWithGlobalPrec
newQAAERN2.QA.Protocol
newQACacheAERN2.QA.Protocol
newSeqAERN2.Sequence.Type, AERN2.Sequence
newSeqSimpleAERN2.Sequence.Type, AERN2.Sequence
newWGParamAERN2.WithGlobalParam.Type, AERN2.WithGlobalParam
newWGParamSimpleAERN2.WithGlobalParam.Type, AERN2.WithGlobalParam
NoInformationAERN2.Real
NormBitsAERN2.Real
NormLogAERN2.Real
NormZeroAERN2.Real
pBoolAERN2.Sequence.Comparison, AERN2.Sequence.Branching
pCRAERN2.Real.Type, AERN2.Real
pCRCNAERN2.Real.Type
piAERN2.Real.Arithmetic, AERN2.Real
piAAERN2.Real.Arithmetic, AERN2.Real
pickAERN2.Sequence.Branching, AERN2.Sequence
pickNonZeroSeqAAERN2.Sequence.Branching
pMPBallWGPrecAERN2.MPBallWithGlobalPrec
precAERN2.Real
PrecisionAERN2.Real
precisionTimes2AERN2.Real
printQALogAERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
printQALogJSONAERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
printQANetLogThenResultAERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
pSeqAERN2.Sequence.Type, AERN2.Sequence
pWGParamAERN2.WithGlobalParam.Type, AERN2.WithGlobalParam
QAERN2.QA.Protocol
QAAERN2.QA.Protocol
QAArrowAERN2.QA.Protocol
QACacheAERN2.QA.Protocol
QACachedAAERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
QAComputation 
1 (Type/Class)AERN2.QA.Strategy.Cached.NetState, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
2 (Data Constructor)AERN2.QA.Strategy.Cached.NetState, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
qaFulfilPromiseAAERN2.QA.Protocol
QAIdAERN2.QA.Protocol
qaIdAERN2.QA.Protocol
qaLogAnswer_cacheUseDescriptionAERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
qaLogAnswer_clientAERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
qaLogAnswer_descriptionAERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
qaLogAnswer_providerAERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
qaLogCreate_nameAERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
qaLogCreate_newIdAERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
qaLogCreate_sourcesAERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
qaLogQuery_clientAERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
qaLogQuery_descriptionAERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
qaLogQuery_providerAERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
qaMake2QueriesAERN2.QA.Protocol
qaMake3QueriesAERN2.QA.Protocol
qaMakeQueriesAAERN2.QA.Protocol
qaMakeQueryAERN2.QA.Protocol
qaMakeQueryAAERN2.QA.Protocol
qaMakeQueryGetPromiseAERN2.QA.Protocol
qaMakeQueryGetPromiseAAERN2.QA.Protocol
qaMakeQueryOnManyAAERN2.QA.Protocol
qaNameAERN2.QA.Protocol
QANetLogAERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
QANetLogAnswerAERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
QANetLogCreateAERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
QANetLogItemAERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
QANetLogQueryAERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
QANetState 
1 (Type/Class)AERN2.QA.Strategy.Cached.NetState, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
2 (Data Constructor)AERN2.QA.Strategy.Cached.NetState, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
QAParAAERN2.QA.Strategy.Parallel
QAPromiseAAERN2.QA.Protocol
QAProtocolAERN2.QA.Protocol
qaProtocolAERN2.QA.Protocol
QAProtocolCacheableAERN2.QA.Protocol
qaRegisterAERN2.QA.Protocol
QARegOptionAERN2.QA.Protocol
QARegPreferParallelAERN2.QA.Protocol
QARegPreferSerialAERN2.QA.Protocol
qaRenameAERN2.QA.Protocol
qaSampleQAERN2.QA.Protocol
qaSourcesAERN2.QA.Protocol
qaUnsafeCachingMVAERN2.QA.Strategy.CachedUnsafe
QA__AERN2.QA.Protocol
radiusAERN2.Real
raisePrecisionIfBelowAERN2.Real
realAERN2.Real.Type, AERN2.Real
realAAERN2.Real.Type, AERN2.Real
realIdAERN2.Real.Type, AERN2.Real
realNameAERN2.Real.Type, AERN2.Real
realRenameAERN2.Real.Type, AERN2.Real
realSourcesAERN2.Real.Type, AERN2.Real
realsWithAccuracyAAERN2.Real.Type, AERN2.Real
realWithAccuracyAERN2.Real.Type, AERN2.Real
realWithAccuracyAAERN2.Real.Type, AERN2.Real
reduceSizeUsingAccuracyGuideAERN2.Real
safeConvertPAERN2.Real
SeqBoolAERN2.Sequence.Comparison, AERN2.Sequence.Branching
SeqBoolAAERN2.Sequence.Comparison, AERN2.Sequence.Branching
SeqBoolPAERN2.Sequence.Comparison, AERN2.Sequence.Branching
seqByPrecision2CauchyRealAAERN2.Real.Type, AERN2.Real
seqByPrecision2CauchySeqAERN2.Real
seqByPrecision2SequenceAAERN2.Sequence.Type, AERN2.Sequence
seqElementSimilarToEnclAERN2.Sequence.Helpers
seqIdAERN2.Sequence.Type, AERN2.Sequence
seqNameAERN2.Sequence.Type, AERN2.Sequence
seqRenameAERN2.Sequence.Type, AERN2.Sequence
seqSourcesAERN2.Sequence.Type, AERN2.Sequence
seqsWithAccuracyAAERN2.Sequence.Type, AERN2.Sequence
SequenceAERN2.Sequence.Type, AERN2.Sequence
SequenceAAERN2.Sequence.Type, AERN2.Sequence
SequenceAtAccuracy 
1 (Type/Class)AERN2.Sequence.Comparison, AERN2.Sequence.Branching, AERN2.Sequence
2 (Data Constructor)AERN2.Sequence.Comparison, AERN2.Sequence.Branching, AERN2.Sequence
SequenceP 
1 (Type/Class)AERN2.Sequence.Type, AERN2.Sequence
2 (Data Constructor)AERN2.Sequence.Type, AERN2.Sequence
seqWithAccuracyAERN2.Sequence.Type, AERN2.Sequence
seqWithAccuracyAAERN2.Sequence.Type, AERN2.Sequence
setAccuracyGuideAERN2.Real
setPrecisionAERN2.Real
setPrecisionAtLeastAccuracyAERN2.Real
specCanMapInsideAERN2.Real
specCanReduceSizeUsingAccuracyGuideAERN2.Real
specCanSetPrecisionAERN2.Real
specCauchyRealAERN2.Real.Tests
standardPrecisionsAERN2.Real
subMPAERN2.Real
SuitableForSeqAERN2.Sequence.Type, AERN2.Sequence
SuitableForWGParamAERN2.WithGlobalParam.Type, AERN2.WithGlobalParam
switchArrowAERN2.Utils.Arrows
tCauchyRealAERN2.Real.Tests
tCauchyRealAtAccuracyAERN2.Real.Tests
unaryOp 
1 (Function)AERN2.WithGlobalParam.Helpers, AERN2.WithGlobalParam
2 (Function)AERN2.Sequence.Helpers, AERN2.Sequence
unionAERN2.Real
UnionTypeAERN2.Real
unSequencePAERN2.Sequence.Type, AERN2.Sequence
updateQACacheAERN2.QA.Protocol
updateRadiusAERN2.Real
ValueId 
1 (Type/Class)AERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
2 (Data Constructor)AERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
wgprmIdAERN2.WithGlobalParam.Type, AERN2.WithGlobalParam, AERN2.MPBallWithGlobalPrec
wgprmListQueryAAERN2.WithGlobalParam.Type, AERN2.WithGlobalParam, AERN2.MPBallWithGlobalPrec
wgprmNameAERN2.WithGlobalParam.Type, AERN2.WithGlobalParam, AERN2.MPBallWithGlobalPrec
wgprmQueryAERN2.WithGlobalParam.Type, AERN2.WithGlobalParam, AERN2.MPBallWithGlobalPrec
wgprmQueryAAERN2.WithGlobalParam.Type, AERN2.WithGlobalParam, AERN2.MPBallWithGlobalPrec
wgprmRenameAERN2.WithGlobalParam.Type, AERN2.WithGlobalParam, AERN2.MPBallWithGlobalPrec
wgprmSourcesAERN2.WithGlobalParam.Type, AERN2.WithGlobalParam, AERN2.MPBallWithGlobalPrec
WithGlobalParamAERN2.WithGlobalParam.Type, AERN2.WithGlobalParam
WithGlobalParamAAERN2.WithGlobalParam.Type, AERN2.WithGlobalParam
WithGlobalParamP 
1 (Type/Class)AERN2.WithGlobalParam.Type, AERN2.WithGlobalParam
2 (Data Constructor)AERN2.WithGlobalParam.Type, AERN2.WithGlobalParam
withGlobalState_aAERN2.WithGlobalParam.Type, AERN2.WithGlobalParam
withGlobalState_sAERN2.WithGlobalParam.Type, AERN2.WithGlobalParam
WithLipschitz 
1 (Type/Class)AERN2.Limit
2 (Data Constructor)AERN2.Limit
writeNetLogJSONAERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
_acGuideAERN2.AccuracySG, AERN2.Sequence, AERN2.Real
_acStrictAERN2.AccuracySG, AERN2.Sequence, AERN2.Real
_addslACachedPrintAERN2.Real
_addslAParPrintAERN2.Real
_example_pifAERN2.Real
_nsectionAERN2.Real