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);
&lt;polymake object&gt;
gap> Display(F);
