FilteredTensorWithIntegersModP(R,p):: FreeResolution, Int --> FilteredChainComplex

Inputs a free \mathbb ZG-resolution R for which "filteredDimension" lies in NamesOfComponents(R), together with a prime p. (Such a resolution can be produced using TwisterTensorProduct(), ResolutionNormalSubgroups() or FreeGResolution().) It returns the filtered chain complex obtained by tensoring with the trivial module $\mathbb F$, the field of p elements.