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

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 - F

FastConvSeq	AERN2.Sequence.Type
FastConvSeqA	AERN2.Sequence.Type
FastConvSeqP	AERN2.Sequence.Type
fmapSeq	AERN2.Sequence.Type
fmapWGParam	AERN2.WithGlobalParam.Type, AERN2.WithGlobalParam
formatQALog	AERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
formatQALogJSON	AERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached
fromAccuracy	AERN2.Real
fromEndpoints	AERN2.Real