Quelle  3.2.2   Sprache: unbekannt

F:=FreeGroup(2);; x:=F.1;; y:=F.2;;
G:=F/[ x^2, x*y*x^-1*y^-2 ];;
R:=ResolutionSmallGroup(G,8);;
Print(R!.dimension(4),"\n");
Print(R!.dimension(8),"\n");
Print(R!.boundary(4,1)=R!.boundary(8,1),"\n");

[ Dauer der Verarbeitung: 0.17 Sekunden  (vorverarbeitet)  ]