<Chapter><Heading> Induced equivariant chain maps</Heading>

<Table Align="|l|" >

<Row>
<Item>
<Index> EquivariantChainMap</Index>
<C> EquivariantChainMap(R,S,f)</C>

<P/>
Inputs a <M>ZG</M>-resolution <M>R</M>, a <M>ZG'</M>-resolution <M>S</M>, 
and a group homomorphism <M>f : G \longrightarrow G'</M>. 
It outputs a component object <M>M</M> with the following components.
<P/>
<List>
<Item> <M>M!.source</M> is the resolution <M>R</M>.</Item>
<Item> <M>M!.target</M> is the resolution <M>S</M>.</Item>
<Item><M>M!.mapping(w,n)</M> is a function which gives the image in <M>S_n</M>, 
    under a chain map induced by <M>f</M>, of a word <M>w</M> in <M>R_n</M>. 
    (Here  
    <M>R_n</M> and <M>S_n</M> are the <M>n</M>-th 
    modules in the resolutions <M>R</M> and <M>S</M>.)</Item>
<Item> <M>F!.properties</M> is a list of pairs such as 
    ["type", "equivariantChainMap"].</Item>
</List>
<P/>
The resolution <M>S</M> must have a contracting homotopy.
</Item>
</Row>

</Table>
</Chapter>


