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

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

x // y -- a binary operator used for quotients in the same ring (with a possible remainder).

See also:

/ -- a binary operator, usually used for division

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 // Matrix -- factor a map through another

Matrix // MonomialIdeal

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

Matrix // ZZ

QQ // RingElement

RingElement // GroebnerBasis

RingElement // Matrix

RingElement // MonomialIdeal

RingElement // QQ

RingElement // RingElement

ZZ // Matrix