operator*()

MonomialIdeal * MonomialIdeal::operator*

(

const MonomialIdeal &

G

)

const

Definition at line 710 of file monideal.cpp.

{
  VECTOR(Bag*) new_elems;
  for (Bag& a : *this)
    for (Bag& b : J)
      {
        Bag *c = new Bag(a.basis_elem());
        varpower::mult(a.monom().data(), b.monom().data(), c->monom());
        new_elems.push_back(c);
      }
         
  MonomialIdeal *result = new MonomialIdeal(get_ring(), new_elems);
  GC_reachable_here(&J);
  return result;
}

References int_bag::basis_elem(), get_ring(), int_bag::monom(), MonomialIdeal(), ExponentList< int, true >::mult(), result(), and VECTOR.