borel()

MonomialIdeal * MonomialIdeal::borel

(

)

const

Definition at line 940 of file monideal.cpp.

{
  VECTOR(Bag *) new_elems;
  exponents_t bexp = newarray_atomic(int, get_ring()->n_vars());
  for (Bag& b : *this)
    {
      varpower::to_expvector(get_ring()->n_vars(), b.monom().data(), bexp);
      borel1(new_elems, bexp, get_ring()->n_vars() - 1, get_ring()->n_vars());
    }
  MonomialIdeal *result = new MonomialIdeal(get_ring(), new_elems);
  freemem(bexp);
  return result;
}

References borel1(), freemem(), get_ring(), int_bag::monom(), MonomialIdeal(), newarray_atomic, result(), ExponentList< int, true >::to_expvector(), and VECTOR.

Referenced by IM2_MonomialIdeal_borel().