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 &lt;fp group on the generators 
[ f1, f2, f3 ]&gt; . 
No contracting homotopy available. 

gap> Size(R);
[ 6, 18, 0, 0, 0, 0, 0, 0, 0, 0 ]
