TensorWithIntegers(R):: FreeResolution --> ChainComplex
TensorWithIntegers(F):: EquiChainMap --> ChainMap

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

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