gap> n:=3;;c:=1;;
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;
[ y^-1*x^-1*y*x, z^-1*x^-1*z*x, z^-1*y^-1*z*y ]
gap> IdentityAmongRelatorsDisplay(R,1);
