Module / Module -- quotient module

Module / Module -- quotient module

Synopsis:

Operator: / -- a binary operator, usually used for division

Input:

an instance of class Module.

Output:

an instance of class Module.

M/N -- computes the quotient module M/N.

The modules should be submodules of the same module.