-- -*- M2-comint -*- hash: 12025144255220192219

i1 : R = ZZ/101[x,y];

i2 : M = coker vars R

o2 = cokernel | x y |

                            1
o2 : R-module, quotient of R

i3 : M ** R[t]

o3 = cokernel | x y |

                                    1
o3 : R[t]-module, quotient of (R[t])

i4 : 
