:: Int -> Bool package:combinatorial

propInfProdLinearFactors :: Int -> Bool

combinatorial Combinatorics.Partitions

QC.forAll (QC.choose (0,100)) Parts.propInfProdLinearFactors

propPentagonalPowerSeries :: Int -> Bool

combinatorial Combinatorics.Partitions

Parts.propPentagonalPowerSeries 1000

propPentagonalsDifP :: Int -> Bool

combinatorial Combinatorics.Partitions

Parts.propPentagonalsDifP 10000

propPentagonalsDifN :: Int -> Bool

combinatorial Combinatorics.Partitions

Parts.propPentagonalsDifN 10000