Ideal : Ideal -- ideal quotient

Ideal : Ideal -- ideal quotient

Synopsis:

Operator: : -- a binary operator

Input:

an instance of class Ideal.

Output:

an instance of class Ideal.

I:J -- computes the ideal quotient.

The notation I:J is equivalent to quotient(I,J), although with the latter form, optional arguments can be provided. See quotient for further details.

Code:

     -- ../../../Macaulay2/m2/colon.m2:174
     Ideal : Ideal := Ideal => (I,J) -> quotient(I,J)