ChainComplex ** Ring -- a binary operator, usually used for tensor product or Cartesian product

Synopsis

Operator: **
Usage:

C ** R
Inputs:
- C, a chain complex
- R, a ring
Outputs:
- a chain complex, the tensor product of C with R

Description

i1 : R = QQ[a..d];

i2 : C = res coker vars R

      1      4      6      4      1
o2 = R  <-- R  <-- R  <-- R  <-- R  <-- 0
                                         
     0      1      2      3      4      5

o2 : ChainComplex

i3 : S = R[x]

o3 = S

o3 : PolynomialRing

i4 : C**S

      1      4      6      4      1
o4 = S  <-- S  <-- S  <-- S  <-- S  <-- 0
                                         
     0      1      2      3      4      5

o4 : ChainComplex