aern2-real-0.1.1.0: Exact real numbers via Cauchy sequences and MPFR (Index - R)

aern2-real-0.1.1.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 - R

radius	AERN2.Real
raisePrecisionIfBelow	AERN2.Real
real	AERN2.Real.Type, AERN2.Real
realA	AERN2.Real.Type, AERN2.Real
realId	AERN2.Real.Type, AERN2.Real
realName	AERN2.Real.Type, AERN2.Real
realRename	AERN2.Real.Type, AERN2.Real
realSources	AERN2.Real.Type, AERN2.Real
realsWithAccuracyA	AERN2.Real.Type, AERN2.Real
realWithAccuracy	AERN2.Real.Type, AERN2.Real
realWithAccuracyA	AERN2.Real.Type, AERN2.Real
reduceSizeUsingAccuracyGuide	AERN2.Real