<Verb>TensorWithIntegers(R):: FreeResolution --> ChainComplex</Verb>
<Verb>TensorWithIntegers(F):: EquiChainMap --> ChainMap</Verb><P/>


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

<P/> Inputs an equivariant chain map <M>F\colon R \rightarrow S</M> in 
characteristic <M>0</M> and  returns
the induced chain map <M>F\otimes_{\mathbb ZG}\mathbb Z \colon
R \otimes_{\mathbb ZG} {\mathbb Z} \longrightarrow S \otimes_{\mathbb ZG} {\mathbb Z}</M>.



