Matrix % RingElement -- reduce the columns modulo of a ring element

Matrix % RingElement -- reduce the columns modulo of a ring element

Synopsis:

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

Input:

an instance of class Matrix.

an instance of class RingElement.

f % r -- yields the reduction of the columns of the matrix f modulo the ring element r.

Code:

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