AERN-Real-0.10.0.2: arbitrary precision interval arithmetic for approximating exact real numbers (Index - N)

AERN-Real-0.10.0.2: arbitrary precision interval arithmetic for approximating exact real numbers

A
B
C
D
E
F
G
I
K
L
M
N
P
R
S
T
U
V
Z
*
+
/
\
-

Index - N

NaN	Data.Number.ER.Real.Base.Rational
Nat10
1 (Type/Class)	Data.Number.ER.BasicTypes.Tests.Generate
2 (Data Constructor)	Data.Number.ER.BasicTypes.Tests.Generate
Nat100
1 (Type/Class)	Data.Number.ER.BasicTypes.Tests.Generate
2 (Data Constructor)	Data.Number.ER.BasicTypes.Tests.Generate
newVarID	Data.Number.ER.BasicTypes.DomainBox
noinfo	Data.Number.ER.BasicTypes.DomainBox
normaliseERIntervalInner	Data.Number.ER.Real.Approx.Interval
normaliseERIntervalOuter	Data.Number.ER.Real.Approx.Interval
notMember	Data.Number.ER.BasicTypes.DomainBox