Module / Ideal -- quotient module by an ideal

Module / Ideal -- quotient module by an ideal

Synopsis:

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

Input:

an instance of class Module.

an instance of class Ideal.

Output:

an instance of class Module.

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.

Code:

     -- ../../../Macaulay2/m2/matrix1.m2:510
     Module / Ideal := Module => (M,J) -> M / (J * M)