gap> G:=AlternatingGroup(7);;
gap> rho:=PermToMatrixGroup(G);;
gap> R:=ResolutionFiniteGroup(SylowSubgroup(G,2),12);;
gap> F:=function(X); return TensorWithIntegralModule(X,rho); end;;
gap> PrimePartDerivedFunctor(G,R,F,11);
[ 2, 2, 4 ]
