Quelle  6.2.4   Sprache: unbekannt

F:=FreeGroup(2);;x:=F.1;;y:=F.2;;
G:=F/[x*y*x*y^-1*x^-1*y*x*y^-1];;
S:=SmoothedFpGroup(G);;
Print(IsAspherical(S),"\n");

[ Dauer der Verarbeitung: 0.13 Sekunden  (vorverarbeitet)  ]