  
  [1X3 [33X[0;0YInduced equivariant chain maps[133X[101X
  
  [33X[0;0Y::::::::::::::::::::::::[133X
  [33X[0;0Y[10XEquivariantChainMap(R,S,f)[110X[133X
  
  [33X[0;0YInputs a [22XZG[122X-resolution [22XR[122X, a [22XZG'[122X-resolution [22XS[122X, and a group homomorphism [22Xf : G
  ⟶ G'[122X. It outputs a component object [22XM[122X with the following components.[133X
  
  [33X[0;0Y[22XM!.source[122X is the resolution [22XR[122X.[133X
  [33X[0;0Y[22XM!.target[122X is the resolution [22XS[122X.[133X
  [33X[0;0Y[22XM!.mapping(w,n)[122X  is  a  function which gives the image in [22XS_n[122X, under a chain
  map induced by [22Xf[122X, of a word [22Xw[122X in [22XR_n[122X. (Here [22XR_n[122X and [22XS_n[122X are the [22Xn[122X-th modules
  in the resolutions [22XR[122X and [22XS[122X.)[133X
  [33X[0;0Y[22XF!.properties[122X is a list of pairs such as ["type", "equivariantChainMap"].[133X
  
  [33X[0;0YThe resolution [22XS[122X must have a contracting homotopy.[133X
  
