The rank generating function of P is the polynomial with the coefficient of qi given by the number of vertices in rank i of P.
i1 : n = 5; |
i2 : rankGeneratingFunction chain n 4 3 2 o2 = q + q + q + q + 1 o2 : ZZ[q] |
i3 : factor rankGeneratingFunction booleanLattice n 5 o3 = (q + 1) o3 : Expression of class Product |