<Verb>ResolutionSubgroup(R,H):: FreeResolution, Group --> FreeResolution</Verb><P/>


<P/> 
Inputs  a free ZG-resolution 
of <M>\mathbb Z</M> and a finite index subgroup <M>H \le G</M>.
It returns a free ZH-resolution  of <M>\mathbb Z</M>.
