-- -*- M2-comint -*- {* hash: -1759788725 *}

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

i5 :