# : -- a binary operator, uses include repetition; ideal quotients

## For the programmer

The object : is .

This operator may be used as a binary operator in an expression like x:y. The user may install binary methodsfor 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.