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

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

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

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



