gap> G:=SmallGroup(3^4,10);;
gap> StructureDescription(G);
"C3 . ((C3 x C3) : C3) = (C3 x C3) . (C3 x C3)"
gap> f:=PoincareSeries(G);
The series is guaranteed correct for group cohomology in degrees &lt; 14
(-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)
