Data.Realnumber

type FigureSequence

figureValue

twoFigureValue

nFigureValue

showFigureSequence

zeroS

nextFig

uberNextFig

negateSequence

data RealNumber

sumWithOneFigure

sequencePlus

sequenceProduct

absSequence

sequenceSignum

compareZero

maxReal

maxSequence

minReal

einsdurch

msb

headingZeros

simplify

simplifyAll

forceSimplify

forceNSimplify

shiftReal

data ApproxReal

takeI

approx

type Intervall

intervallToApprox

type ApproxRealSchachtelung

realFromAppRealSchach

type IntervallSchachtelung

approxRealSchachtelung

realFromSchach

intervallEinsdurch

zero

one