//

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

The user may install binary methods for this operator with code such as

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

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

Examples:

x//y -- quotient of x by y, ignoring a possible remainder

Matrix // Matrix -- generalized quotient

Matrix // RingElement -- generalized quotient