Quelle  7.1a1.txt

gap> f:=PoincareSeries(A);
(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)


gap> Let's use f to list the first few cohomology dimensions
gap> ExpansionOfRationalFunction(f,deg); 
[ 1, 0, 0, 1, 1, 1, 1, 1, 2, 2, 1, 2, 3, 2, 2 ]