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

Synopsis

• Function: tensor

• Usage:

  D = tensor(f,C)

• Inputs:
  • f, a ring map
  • C, a chain complex
• Optional inputs:
  • Constants (missing documentation) => ..., default value false,
  • DegreeLift => ..., default value null,
  • DegreeMap => ..., default value null,
  • DegreeRank => ..., default value null,
  • Degrees => ..., default value null,
  • Global => ..., default value true,
  • Heft => ..., default value null,
  • Inverses => ..., default value null,
  • Join => ..., default value null,
  • Local => ..., default value false,
  • MonomialOrder => ..., default value null,
  • MonomialSize => ..., default value 32,
  • SkewCommutative => ..., default value {},
  • VariableBaseName => ..., default value null,
  • Variables => ..., default value null,
  • Weights => ..., default value {},
  • WeylAlgebra => ..., default value {},
• Outputs:
  • D, a chain complex

Description

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

See also

• Filtrations and tensor product complexes