  
  [1X7 [33X[0;0YInduced equivariant chain maps[133X[101X
  
  
  [1X7.1 [33X[0;0Y [133X[101X
  
  [1X7.1-1 EquivariantChainMap[101X
  
  [33X[1;0Y[29X[2XEquivariantChainMap[102X( [3XR[103X, [3XS[103X, [3Xf[103X ) [32X function[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
  
  [30X    [33X[0;6Y[22XM!.source[122X is the resolution [22XR[122X.[133X
  
  [30X    [33X[0;6Y[22XM!.target[122X is the resolution [22XS[122X.[133X
  
  [30X    [33X[0;6Y[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
  
  [30X    [33X[0;6Y[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
  
  [33X[0;0Y[12XExamples:[112X     1    ([7X../www/SideLinks/About/aboutCohomologyRings.html[107X) ,    2
  ([7X../www/SideLinks/About/aboutPoincareSeries.html[107X) ,                        3
  ([7X../www/SideLinks/About/aboutFunctorial.html[107X) [133X
  
