operator-()

MonomialIdeal * MonomialIdeal::operator-

(

const MonomialIdeal &

F

)

const

Definition at line 742 of file monideal.cpp.

{
  MonomialIdeal *result = new MonomialIdeal(get_ring());
  for (Bag& a : *this)
    {
      Bag *c;
      if (!J.search(a.monom().data(), c))
        {
          result->insert_minimal(new Bag(a));
        }
    }
  GC_reachable_here(&J);
  return result;
}

References get_ring(), int_bag::monom(), MonomialIdeal(), and result().