Quelle  2.2.2b  Sprache: unbekannt

F:=FreeGroup(6);;
x:=F.1;;y:=F.2;;z:=F.3;;a:=F.4;;b:=F.5;;c:=F.6;;
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];;
Print(IsAspherical(F,rels),"\n");