File: 14.29.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-- 367 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
 
gap> F:=FreeGroup(3);;x:=F.1;;y:=F.2;;z:=F.3;;
gap> rels:=[x*y*x*(y*x*y)^-1, y*z*y*(z*y*z)^-1, z*x*z*(x*z*x)^-1];;
gap> G:=F/rels;;
gap> R:=ResolutionAsphericalPresentation(G,10);
Resolution of length 10 in characteristic 0 for <fp group on the generators 
[ f1, f2, f3 ]> . 
No contracting homotopy available. 

gap> Size(R);
[ 6, 18, 0, 0, 0, 0, 0, 0, 0, 0 ]