AERN2.Real

Re-exported dependencies

The type of real numbers

type CauchyRealP

pCR

type CauchyRealA to

type CauchyReal

newCR

type CauchyRealCNA to

type CauchyRealCN

newCRCN

Sequence ops specialised to reals

realName

realId

realSources

realRename

realWithAccuracy

(?)

realWithAccuracyA

realsWithAccuracyA

(-:-)

convergentList2CauchyRealA

seqByPrecision2CauchyRealA

Conversions

type CanBeReal t

real

type CanBeRealA to t

realA

type CanBeComplex t

complex

type CanBeComplexA to t

complexA

Constants

pi

piA

Mini demos

_addslACachedPrint

_addslAParPrint

_example_pif

_nsection