Ideal / Ideal -- quotient module

Ideal / Ideal -- quotient module

Synopsis:

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

Input:

an instance of class Ideal.

Output:

an instance of class Module.

I/J -- produces the quotient module (I+J)/J, where I and J are ideals in a ring.

See also:

Module -- the class of all modules

Code:

     -- ../../../Macaulay2/m2/matrix1.m2:509
     Ideal / Ideal := Module => (I,J) -> module I / module J