TensorWithIntegersModP(C,p):: ChainComplex, Int --> ChainComplex
TensorWithIntegersModP(R,p):: FreeResolution, Int --> ChainComplex
TensorWithIntegersModP(F,p):: EquiChainMap, Int --> ChainMap

Inputs a chain complex C of characteristic 0 and a prime integer p. It returns the chain complex C \otimes_{\mathbb Z} {\mathbb Z}_p of characteristic p.

Inputs a free \mathbb ZG-resolution R of characteristic 0 and a prime integer p. It returns the chain complex R \otimes_{\mathbb ZG} {\mathbb Z}_p of characteristic p.

Inputs an equivariant chain map F\colon R \rightarrow S in characteristic 0 a prime integer p. It returns the induced chain map F\otimes_{\mathbb ZG}\mathbb Z_p \colon R \otimes_{\mathbb ZG} {\mathbb Z}_p \longrightarrow S \otimes_{\mathbb ZG} {\mathbb Z}_p.