aern2-real-0.1.0.0: Exact real numbers via Cauchy sequences and MPFR (Index - W)

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

A
B
C
D
E
F
G
H
I
L
M
N
P
Q
R
S
T
U
V
W
?
-
_
All

Index - W

wgprmId	AERN2.WithGlobalParam.Type, AERN2.WithGlobalParam, AERN2.MPBallWithGlobalPrec
wgprmListQueryA	AERN2.WithGlobalParam.Type, AERN2.WithGlobalParam, AERN2.MPBallWithGlobalPrec
wgprmName	AERN2.WithGlobalParam.Type, AERN2.WithGlobalParam, AERN2.MPBallWithGlobalPrec
wgprmQuery	AERN2.WithGlobalParam.Type, AERN2.WithGlobalParam, AERN2.MPBallWithGlobalPrec
wgprmQueryA	AERN2.WithGlobalParam.Type, AERN2.WithGlobalParam, AERN2.MPBallWithGlobalPrec
wgprmRename	AERN2.WithGlobalParam.Type, AERN2.WithGlobalParam, AERN2.MPBallWithGlobalPrec
wgprmSources	AERN2.WithGlobalParam.Type, AERN2.WithGlobalParam, AERN2.MPBallWithGlobalPrec
WithGlobalParam	AERN2.WithGlobalParam.Type, AERN2.WithGlobalParam
WithGlobalParamA	AERN2.WithGlobalParam.Type, AERN2.WithGlobalParam
WithGlobalParamP
1 (Type/Class)	AERN2.WithGlobalParam.Type, AERN2.WithGlobalParam
2 (Data Constructor)	AERN2.WithGlobalParam.Type, AERN2.WithGlobalParam
withGlobalState_a	AERN2.WithGlobalParam.Type, AERN2.WithGlobalParam
withGlobalState_s	AERN2.WithGlobalParam.Type, AERN2.WithGlobalParam
WithLipschitz
1 (Type/Class)	AERN2.Limit
2 (Data Constructor)	AERN2.Limit
writeNetLogJSON	AERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached