exact-real-positional-0.0.0: Framework for Exact Real Arithmetic in the Positional Number System

Index

AData.Realnumber
absSequenceData.Realnumber
approxData.Realnumber
ApproxRealData.Realnumber
ApproxRealSchachtelungData.Realnumber
approxRealSchachtelungData.Realnumber
compareZeroData.Realnumber
einsdurchData.Realnumber
FigureSequenceData.Realnumber
figureValueData.Realnumber
forceNSimplifyData.Realnumber
forceSimplifyData.Realnumber
headingZerosData.Realnumber
IntervallData.Realnumber
intervallEinsdurchData.Realnumber
IntervallSchachtelungData.Realnumber
intervallToApproxData.Realnumber
maxRealData.Realnumber
maxSequenceData.Realnumber
minRealData.Realnumber
msbData.Realnumber
negateSequenceData.Realnumber
nextFigData.Realnumber
nFigureValueData.Realnumber
oneData.Realnumber
RData.Realnumber
realFromAppRealSchachData.Realnumber
realFromSchachData.Realnumber
RealNumberData.Realnumber
sequencePlusData.Realnumber
sequenceProductData.Realnumber
sequenceSignumData.Realnumber
shiftRealData.Realnumber
showFigureSequenceData.Realnumber
simplifyData.Realnumber
simplifyAllData.Realnumber
sumWithOneFigureData.Realnumber
takeIData.Realnumber
twoFigureValueData.Realnumber
uberNextFigData.Realnumber
zeroData.Realnumber
zeroSData.Realnumber