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

Safe Haskell	None
Language	Haskell2010

Data.Realnumber

Documentation

type FigureSequence = [Int] Source #

figureValue :: FigureSequence -> Int Source #

twoFigureValue :: FigureSequence -> Int Source #

nFigureValue :: Integer -> FigureSequence -> Integer Source #

showFigureSequence :: FigureSequence -> [Char] Source #

zeroS :: FigureSequence Source #

nextFig :: FigureSequence -> FigureSequence Source #

uberNextFig :: FigureSequence -> FigureSequence Source #

negateSequence :: FigureSequence -> FigureSequence Source #

data RealNumber Source #

Constructors

R Integer FigureSequence

Instances

Eq RealNumber Source #
Methods (==) :: RealNumber -> RealNumber -> Bool # (/=) :: RealNumber -> RealNumber -> Bool #
Fractional RealNumber Source #
Methods (/) :: RealNumber -> RealNumber -> RealNumber # recip :: RealNumber -> RealNumber # fromRational :: Rational -> RealNumber #
Num RealNumber Source #
Methods (+) :: RealNumber -> RealNumber -> RealNumber # (-) :: RealNumber -> RealNumber -> RealNumber # (*) :: RealNumber -> RealNumber -> RealNumber # negate :: RealNumber -> RealNumber # abs :: RealNumber -> RealNumber # signum :: RealNumber -> RealNumber # fromInteger :: Integer -> RealNumber #
Ord RealNumber Source #
Methods compare :: RealNumber -> RealNumber -> Ordering # (<) :: RealNumber -> RealNumber -> Bool # (<=) :: RealNumber -> RealNumber -> Bool # (>) :: RealNumber -> RealNumber -> Bool # (>=) :: RealNumber -> RealNumber -> Bool # max :: RealNumber -> RealNumber -> RealNumber # min :: RealNumber -> RealNumber -> RealNumber #
Show RealNumber Source #
Methods showsPrec :: Int -> RealNumber -> ShowS # show :: RealNumber -> String # showList :: [RealNumber] -> ShowS #

sumWithOneFigure :: (FigureSequence, FigureSequence) -> Int Source #

sequencePlus :: (FigureSequence, FigureSequence) -> FigureSequence Source #

sequenceProduct :: (FigureSequence, FigureSequence) -> FigureSequence Source #

absSequence :: FigureSequence -> FigureSequence Source #

sequenceSignum :: FigureSequence -> FigureSequence Source #

compareZero :: RealNumber -> Ordering Source #

maxReal :: RealNumber -> RealNumber -> RealNumber Source #

maxSequence :: Int -> FigureSequence -> FigureSequence -> FigureSequence Source #

minReal :: RealNumber -> RealNumber -> RealNumber Source #

einsdurch :: Integer -> FigureSequence Source #

msb :: Integer -> Int Source #

headingZeros :: Integer -> FigureSequence -> FigureSequence Source #

simplify :: RealNumber -> RealNumber Source #

simplifyAll :: RealNumber -> RealNumber Source #

forceSimplify :: FigureSequence -> FigureSequence Source #

forceNSimplify :: Integer -> FigureSequence -> FigureSequence Source #

shiftReal :: RealNumber -> Integer -> RealNumber Source #

data ApproxReal Source #

Constructors

A Integer [Int]

Instances

Show ApproxReal Source #
Methods showsPrec :: Int -> ApproxReal -> ShowS # show :: ApproxReal -> String # showList :: [ApproxReal] -> ShowS #

takeI :: Integer -> [a] -> [a] Source #

approx :: RealNumber -> Integer -> ApproxReal Source #

type Intervall = (RealNumber, RealNumber) Source #

intervallToApprox :: Intervall -> ApproxReal Source #

type ApproxRealSchachtelung = [ApproxReal] Source #

realFromAppRealSchach :: ApproxRealSchachtelung -> RealNumber Source #

type IntervallSchachtelung = [Intervall] Source #

approxRealSchachtelung :: IntervallSchachtelung -> ApproxRealSchachtelung Source #

realFromSchach :: IntervallSchachtelung -> RealNumber Source #

intervallEinsdurch :: RealNumber -> IntervallSchachtelung Source #

zero :: RealNumber Source #

one :: RealNumber Source #