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

i1 : R = QQ[x,y];

i2 : S = QQ[t];

i3 : f = map(S,R,{t^2,t^3})

               2   3
o3 = map(S,R,{t , t })

o3 : RingMap S <--- R

i4 : f ** coker vars R

o4 = cokernel | t2 t3 |

                            1
o4 : S-module, quotient of S

i5 : f ** image vars R

o5 = cokernel {1} | -t3 |
              {1} | t2  |

                            2
o5 : S-module, quotient of S

i6 :