gap> ap:=ArcPresentation(PureCubicalKnot(3,1));;
gap> W:=ThreeManifoldViaDehnSurgery(ap,1,5);;
gap> Homology(W,1);
[ 5 ]
gap> Homology(W,2);
[  ]
gap> Homology(W,3);
[ 0 ]

gap> F:=FundamentalGroup(W);;
gap> StructureDescription(F);
"C5"

