gap> G:=SymmetricGroup(5);;H:=AlternatingGroup(5);;
gap> f:=GroupHomomorphismByFunction(H,G,x->x);;
gap> p:=2;; deg:=7;;
gap> F:=ModPCohomologyRing(f,p,deg);
[ v.1, v.2, v.4+v.6, v.5, v.7, v.8, v.9, v.12+v.15, v.13, v.14, v.16+v.17, 
  v.18, v.19, v.20, v.22+v.24+v.28, v.23, v.25, v.26, v.27 ] -> 
[ v.1, 0*v.1, v.4+v.5+v.6, 0*v.1, v.7+v.8, 0*v.1, 0*v.1, v.14+v.15, 0*v.1, 
  0*v.1, v.16+v.17+v.19, 0*v.1, 0*v.1, 0*v.1, v.22+v.23+v.26+v.27+v.28, 
  v.25, 0*v.1, 0*v.1, 0*v.1 ]
