Data.Number.Internal

Data.Number internals

Documentation

type Hom = (Whole, Whole, Whole, Whole)

Homographic function coefficients matrix

type BiHom = (Whole, Whole, Whole, Whole, Whole, Whole, Whole, Whole)

Bihomographic function coefficients matrix

hom :: Hom -> Number -> Number

Homographic function

Given the Hom matrix

and a Number x calculates

See http://perl.plover.com/yak/cftalk/INFO/gosper.txt for a complete explanation.

biHom :: BiHom -> Number -> Number -> Number

Bihomographic function

Given a BiHom matrix

and two Number x and y calculates

toNumber :: RealFrac a => a -> Number

Convert a RealFrac number into a Number

cut :: Nat -> Number -> Number

Truncate a Number to a given length n

first :: Number -> Whole

Extract the first natural of the fraction as a Whole number

rest :: Number -> Number

Extract the "tail" of a Number as a new Number

Equivalent to (x - floor x) for a floating point.

join :: Whole -> Number -> Number

Essentially the inverse of split

split :: Number -> (Whole, Number)

Split a Number into a Whole (the most significant of the fraction) and the rest of the Number. Equivalent to (floor x, x - floor x) for a floating point.