Matrix % Matrix -- find the normal form modulo the image of a map

Matrix % Matrix -- find the normal form modulo the image of a map

Synopsis:

Operator: % -- a binary operator, usually used for remainder

Input:

an instance of class Matrix.

Output:

an instance of class Matrix.

f % g -- yields the reduction of the columns of the matrix f modulo a Groebner basis of the matrix g.

Code:

     -- ../../../Macaulay2/m2/matrix2.m2:94-100
     Matrix % Matrix := Matrix => (n,m) -> (
          R := ring n;
          if R =!= ring m then error "expected matrices over the same ring";
          if not isFreeModule source n or not isFreeModule source m
          or not isFreeModule target n or not isFreeModule target m
          then error "expected maps between free modules";
          n % gb m)