gap> START_TEST("HAP library");
gap> CohomologicalData(SmallGroup(8,4),20);
Integer argument is large enough to ensure completeness of cohomology ring pre\
sentation.

Group order: 8
Group number: 4
Group description: Q8

Cohomology generators
Degree 1: a, b
Degree 4: c

Cohomology relations
1: a^2+a*b+b^2
2: b^3

Poincare series
(x^2+x+1)/(-x^3+x^2-x+1)

Steenrod squares
Sq^1(c)=0
Sq^2(c)=0

<algebra of dimension 15 over GF(2)>
gap> STOP_TEST( "tst.tst", 1000 );
