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

Synopsis

• Operator: **

• Usage:

  f ** g

• Inputs:
  • f, a ring map, from R to S
  • g, a matrix, a map of R-modules
• Outputs:
  • a matrix, the tensor product of g with S over R

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 ** vars R

o4 = | t2 t3 |

             1       2
o4 : Matrix S  <--- S

See also

• RingMap Module -- apply a ring map