yhseq-0.2.1.2: Calculation of Y-sequence Hexirp edition

Safe Haskell	Safe
Language	Haskell2010

Numeric.YHSeq.V0200

Synopsis

data Cofinal
isZero :: Seq -> Bool
isSucc :: Seq -> Bool
isLimit :: Seq -> Bool
scof :: Seq -> Cofinal
fseq :: Seq -> Integer -> Seq
pseq :: Seq -> Seq
yhseq :: Seq -> Integer -> Integer

Documentation

data Cofinal Source #

isZero :: Seq -> Bool Source #

isSucc :: Seq -> Bool Source #

isLimit :: Seq -> Bool Source #

scof :: Seq -> Cofinal Source #

fseq :: Seq -> Integer -> Seq Source #

pseq :: Seq -> Seq Source #

yhseq :: Seq -> Integer -> Integer Source #

It's a very very large function.