Quelle  14.13.txt   Sprache: Text

gap> R:=ResolutionBieberbachGroup(G,[1/2,1/2,1/2]);
Resolution of length 4 in characteristic 
0 for SpaceGroupOnRightBBNWZ( 3, 6, 1, 1, 4 ) . 
No contracting homotopy available. 

gap> Size(R);
[ 28, 42, 16, 0 ]

gap> F:=FundamentalDomainBieberbachGroup(G);
<polymake object>
gap> Display(F);