gap> F:=FundamentalDomainBieberbachGroup(G);
&lt;polymake object&gt;
gap> Display(F);
