gap> A:=AbelianPcpGroup([0]);
Pcp-group with orders [ 0 ]

gap> K:=EilenbergMacLaneSimplicialGroup(A,2,5);;
gap> C:=ChainComplexOfSimplicialGroup(K);
Chain complex of length 5 in characteristic 0 .

gap> Homology(C,4);
[ 0 ]
