Matrix ** Matrix -- tensor product of matrices

Matrix ** Matrix -- tensor product of matrices

Synopsis:

Operator: ** -- a binary operator, usually used for tensor product

Input:

an instance of class Matrix.

Output:

an instance of class Matrix.

f ** g -- computes the tensor product of two matrices.

See also:

Matrix -- the class of all matrices

Code:

     -- ../../../Macaulay2/m2/matrix1.m2:412-419
     Matrix ** Matrix := Matrix => (f,g) -> (
          R := ring target f;
          if ring target g =!= R 
          or ring source g =!= ring source f
          then error "expected matrices over the same ring";
          sendgg (ggPush f, ggPush g, ggtensor);
          h := getMatrix R;
          map(target f ** target g, source f ** source g, h, Degree => degree f + degree g))