Matrix ** Ring -- tensor product

Synopsis

Operator: **
Usage:

f ** R

R ** f
Inputs:
- f, a matrix,
- R, a ring,
Outputs:
- a matrix, over $R$, obtained by forming the tensor product of the map $f$ with $R$

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