Quelle  2.2.2   Sprache: unbekannt

F:=FreeGroup(3);;x:=F.1;;y:=F.2;;z:=F.3;;
rels:=[x*y*x*(y*x*y)^-1, y*z*y*(z*y*z)^-1,
            z*x*z*(x*z*x)^-1];;
Print(IsAspherical(F,rels),"\n");