for p being polyhedron
for k being Integer holds num-polytopes (p,k) = dim (k -chain-space p)