File: 5.13.txt

package info (click to toggle)
gap-hap 1.70%2Bds-1
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 56,612 kB
  • sloc: xml: 16,139; sh: 216; javascript: 155; makefile: 126; ansic: 47; perl: 36
file content (9 lines) | stat: -rw-r--r-- 329 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
 
gap> n:=3;;c:=1;;
gap> G:=Image(NqEpimorphismNilpotentQuotient(FreeGroup(n),c));;
gap> R:=ResolutionNilpotentGroup(G,4);;
gap> P:=PresentationOfResolution(R);;
gap> P.freeGroup;
<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);