Combinatorics.Partitions
pentagonalPowerSeries
numPartitions
partitionsInc
partitionsDec
allPartitionsInc
propInfProdLinearFactors
propPentagonalPowerSeries
propPentagonalsDifP
propPentagonalsDifN
propPartitions
propNumPartitions