next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Macaulay2Doc :: RingMap ** Module

RingMap ** Module -- tensor product of a module via a ring map

Synopsis

Description

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

See also