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