Ideal == Ideal -- equality

Ideal == Ideal -- equality

Synopsis:

Operator: == -- equality

Input:

an instance of class Ideal.

Code:

     -- ../../../Macaulay2/m2/matrix1.m2:554-562
     Ideal == Ideal := (I,J) -> (
          if ring I =!= ring J
          then error "expected ideals in the same ring";
          ( I.generators == J.generators or 
               -- if isHomogeneous I and isHomogeneous J  -- can be removed later
               -- then gb I == gb J 
               -- else
               isSubset(I,J) and isSubset(J,I)         -- can be removed later
               ))