RingElement * Matrix -- a binary operator, usually used for multiplication

RingElement * Matrix -- a binary operator, usually used for multiplication

Synopsis:

Operator: * -- a binary operator, usually used for multiplication

Input:

an instance of class RingElement.

an instance of class Matrix.

Code:

     -- ../../../Macaulay2/m2/matrix.m2:36-42
     RingElement * Matrix := (r,m) -> (
          R := ring r;
          if R =!= ring m then error "scalar not in ring of matrix";
          sendgg (ggPush r, ggPush m, ggmult);
          T := target m;
          reduce T;
          newMatrix(T, source m))