gap> W:=PoincareDodecahedronCWComplex(
> [[1,2,3,4,5],[7,8,9,10,6]],
> [[1,11,16,12,2],[9,8,18,14,19]],
> [[2,12,17,13,3],[10,9,19,15,20]],
> [[3,13,18,14,4],[6,10,20,11,16]],
> [[4,14,19,15,5],[7,6,16,12,17]],
> [[5,15,20,11,1],[8,7,17,13,18]]);
Regular CW-complex of dimension 3
gap> IsClosedManifold(W);
true
gap> List([0..3],n->Homology(W,n));
[ [ 0 ], [ 5, 5, 5 ], [  ], [ 0 ] ]
