File: 5.3.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 (8 lines) | stat: -rw-r--r-- 241 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
 
gap> F:=FreeGroup(6);;
gap> x:=F.1;;y:=F.2;;z:=F.3;;a:=F.4;;b:=F.5;;c:=F.6;;
gap> rels:=[a^-1*x*y, b^-1*y*z, c^-1*z*x, a*x*(y*a)^-1,
>    b*y*(z*b)^-1, c*z*(x*c)^-1];;
gap> Print(IsAspherical(F,rels),"\n");
Presentation is aspherical.

true