Matrix // RingElement -- factor a map through a multiplication map

Matrix // RingElement -- factor a map through a multiplication map

Synopsis:

Operator: // -- a binary operator, usually used for quotient

Input:

an instance of class Matrix.

an instance of class RingElement.

f//r -- yields a matrix h from a matrix f and a ring element r such that f - r*h is the reduction of f modulo a Groebner basis for the image of r times the identity matrix.

See also:

% -- a binary operator, usually used for remainder

Code:

     -- ../../../Macaulay2/m2/matrix2.m2:90
     Matrix // RingElement := (f,r) -> f // (r * id_(target f))