% -- a binary operator, usually used for remainder

% -- a binary operator, usually used for remainder

x % y -- a binary operator used for remainder and reduction.

This operator may be used as a binary operator in an expression like x % y. The user may install binary methods for handling such expressions with code such as

              X % Y := (x,y) -> ...

where X is the class of x and Y is the class of y.

Methods for % :

Matrix % GroebnerBasis

Matrix % Ideal

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

Matrix % Module

Matrix % MonomialIdeal

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

QQ % RingElement

RingElement % GroebnerBasis

RingElement % Ideal

RingElement % Matrix

RingElement % MonomialIdeal

RingElement % QQ

RingElement % RingElement

ZZ % Ideal

ZZ % ZZ