<Verb>RensorProduct(R,S):: FreeResolution, FreeResolution --> FreeResolution</Verb>
<Verb>RensorProduct(C,D):: ChainComplex, ChainComplex --> ChainComplex</Verb><P/>


<P/> 
Inputs  a free ZG-resolution of <M>\mathbb Z</M> and a 
 a free ZH-resolution  of <M>\mathbb Z</M>. It returns a free <M>\mathbb Z(G\times H)$-resolution of $\mathbb Z$.

<P/>
Inputs   chain complexes <M>C</M> and <M>D</M> and 
  returns their tensor product.

