/
x / y
-- a binary operator.
The user may install
binary method
s 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
.
Ring / Ideal
Module / Module
Module / Ideal
Ideal / Ideal
List / Function
