(quote /,Module,Module)
M/N
-- computes the quotient module
M/N
.
The modules should be submodules of the same module.
