File: 5.7b.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 (10 lines) | stat: -rw-r--r-- 459 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
 
gap> K:=ContractibleGcomplex("PGL(3,Z[i])");;
gap> R:=FreeGResolution(K,2);;
gap> P:=PresentationOfResolution(R);;
gap> G:=P.freeGroup/P.relators;
<fp group on the generators [ v, w, x, y, z ]>
gap> P.relators;
[ v^2, w^-1*v*w*v^-1, w^-1*v^-1*w^-1, (x^-1*w)^3, (y^-1*w)^3, (z^-1*w)^4, 
  y^-1*v^-1*z*y^-1*x, y^-1*v*x*v^-1*x*v, v^-1*z*v^-1*x*y, v^-1*x*v*y*v*x*v*y, 
  x^3, x*z*y, y^-1*v^-1*y^2*v*y^-1, (v*y)^4, z^-1*y*v*z^-1, (v*y*z)^2, 
  v^-1*(z*v)^2*z ]