# Matrix ** Ring -- tensor product

## Synopsis

• Operator: **
• Usage:
f ** R
R ** f
• Inputs:
• Outputs:
• , over R, obtained by forming the tensor product of the module map f with R

## Description

The ring of f should be a base ring of R. The degree of the map is preserved.

 i1 : R = ZZ[a..c]; i2 : S = R/(a+b+c); i3 : f = vars R o3 = | a b c | 1 3 o3 : Matrix R <--- R i4 : f ** S o4 = | -b-c b c | 1 3 o4 : Matrix S <--- S