Quelle  14.13a.txt   Sprache: Text

gap> file:=HapFile("HW-7dim.txt");;
gap> Read(file);
gap> G:=HWO7Gr[1];
<matrix group with 7 generators>

gap> R:=ResolutionBieberbachGroup(G);
Resolution of length 8 in characteristic 0 for <matrix group with 
7 generators> . 
No contracting homotopy available.

gap> Size(R);
[ 284, 1512, 3780, 4480, 2520, 840, 84, 0 ]