RingElement * Matrix -- a binary operator, usually used for multiplication
Synopsis:
Code:
-- ../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))