gap> F:=FreeGroup(3);;x:=F.1;;y:=F.2;;z:=F.3;;
gap> rels:=[x*y*x*(y*x*y)^-1, y*z*y*(z*y*z)^-1, z*x*z*(x*z*x)^-1];;
gap> G:=F/rels;;
gap> R:=ResolutionAsphericalPresentation(G,10);
Resolution of length 10 in characteristic 0 for <fp group on the generators
[ f1, f2, f3 ]> .
No contracting homotopy available.
gap> Size(R);
[ 6, 18, 0, 0, 0, 0, 0, 0, 0, 0 ]
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.