<Verb>RankHomologyPGroup(G,P,n):: Group, RationalFunction, Int --> Int</Verb><P/>

Inputs a <M>p</M>-group <M>G</M>, a rational function <M>P</M> representing the Poincar\'e series of the mod-<M>p</M> cohomology of <M>G</M> and a positive
 integer <M>n</M>. It returns the minimum number of generators for
the finite abelian <M>p</M>-group  <M>H_n{G,\mathbb Z)</M>.
