G:=SpaceGroup(4,122);;
gens:=GeneratorsOfGroup(G);;
T:=AffineCrystGroupOnRight(gens{[3,4,5,6]});;
f:=GroupHomomorphismByFunction(T,G,x->x);;
RG:=ResolutionCubicalCrystGroup(G,5);;
RT:=ResolutionCubicalCrystGroup(T,5);;
Rf:=EquivariantChainMap(RT,RG,f);
F:=TensorWithIntegers(Rf);
h:=Homology(F,2);;
Print(AbelianInvariants(Kernel(h)),"\n");
Print(AbelianInvariants(Image(h)),"\n");
