yhseq-0.3.0.1: Calculation of YH sequence system
Numeric.YHSeq.V0200
data Cofinal Source #
Constructors
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.