(quote /,Module,Ideal)
M/I
-- computes the quotient module
M/IM
, where
M
is a module and
I
is an ideal.
The module and ideal should belong to the same ring.