yhseq-0.2.1.2: Calculation of Y-sequence Hexirp edition
Numeric.YHSeq.V0111
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.