gap> K:=EilenbergMacLaneSimplicialGroup(AbelianPcpGroup([0]),3,7);;
gap> L:=EilenbergMacLaneSimplicialGroup(CyclicGroup(2),4,7);;
gap> CK:=ChainComplex(K);;
gap> CL:=ChainComplex(L);;
gap> T:=TensorProduct(CK,CL);;
gap> Homology(T,4);
[ 2 ]
