gap> START_TEST("HAP library");
gap> SetAssertionLevel(0);;
gap> SetCrystGroupDefaultAction( RightAction );
gap> e:=SpaceGroupBBNWZ(2,10);;
gap> G:=RelativeCentralQuotientSpaceGroup(e,4);;
gap> n:=10;;PoincareSeries(G,n);
The series is guaranteed correct for group cohomology in degrees < 11
(1)/(-x_1^4+2*x_1^3-2*x_1+1)
gap> STOP_TEST( "tst.tst", 1000 );
