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

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

i2 : F = R^3

      3
o2 = R

o2 : R-module, free

i3 : G = coker vars R

o3 = cokernel | a b c d |

                            1
o3 : R-module, quotient of R

i4 : v = (a-37)*F_1

o4 = | 0    |
     | a-37 |
     | 0    |

      3
o4 : R

i5 : v ** G_0

o5 = | 0   |
     | -37 |
     | 0   |

o5 : cokernel | a b c d 0 0 0 0 0 0 0 0 |
              | 0 0 0 0 a b c d 0 0 0 0 |
              | 0 0 0 0 0 0 0 0 a b c d |

i6 :