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