gap> L:=HopfSatohSurface();
Pure cubical complex of dimension 4.

gap> W:=ContractedComplex(RegularCWComplex(PureComplexComplement(L)));
Regular CW-complex of dimension 3

gap> GW:=FundamentalGroup(W);;
gap> IsAspherical(GW);
Presentation is aspherical.
true
gap> R:=ResolutionAsphericalPresentation(GW);;
gap> Homology(TensorWithIntegers(R),2);
[ 0 ]
