gap> Y:=ContractedComplex(Y);;
gap> CU:=ChainComplexOfUniversalCover(Y);;
gap> List([0..Dimension(Y)],n->CU!.dimension(n));
[ 1, 3, 3, 1 ]
