gap> F:=FundamentalGroupOfRegularCWComplex(W,"no simplification");
&lt; fp group on the generators [ f1, f2 ]>
gap> RelatorsOfFpGroup(F);
[ &lt; identity ...>, f1^-1*f2^-1*f1*f2, &lt; identity ...>, &lt;identity ...> ]
