gap> PoincareSeriesPrimePart(MathieuGroup(11),2,100);
The series is guaranteed correct for group cohomology in degrees &lt; 101
(x_1^4-x_1^3+x_1^2-x_1+1)/(x_1^6-x_1^5+x_1^4-2*x_1^3+x_1^2-x_1+1)
