gap> n:=2;;c:=2;;
gap> G:=Image(NqEpimorphismNilpotentQuotient(FreeGroup(n),c));;
gap> R:=ResolutionNilpotentGroup(G,4);;
gap> P:=PresentationOfResolution(R);;
gap> P.freeGroup;
&lt;free group on the generators [ x, y, z ]>
gap> P.relators;
[ z*x*y*x^-1*y^-1, z*x*z^-1*x^-1, z*y*z^-1*y^-1 ]
gap> IdentityAmongRelatorsDisplay(R,1);
