tensor(RingMap,ChainComplex) -- tensor product of a chain complex by a ring map

• Function: tensor

• Usage:

  D = tensor(f,C)

• Inputs:
  • f, a ring map,
  • C, a chain complex,
• Outputs:
  • D, a chain complex,

i1 : R = QQ[x];

i2 : M = R^1/(x^2);

i3 : S = R/(x^4);

i4 : C = res M

      1      1
o4 = R  <-- R  <-- 0
                    
     0      1      2

o4 : ChainComplex

i5 : f = map(S,R,{1});

o5 : RingMap S <-- R

i6 : tensor(f,C)

      1      1
o6 = S  <-- S  <-- 0
                    
     0      1      2

o6 : ChainComplex