lead_logical_exponents()

void PolyRing::lead_logical_exponents ( int nvars0, const ring_elem f, exponents_t result_exp ) const

virtual

Definition at line 1746 of file poly.cpp.

{
  Nterm *g = f;
  assert(g != NULL);
  exponents_t exp = newarray_atomic(int, n_vars());
  M_->to_expvector(g->monom, exp);
  exponents::copy(nvars0, exp, result_exp);
}

References ExponentVector< int, true >::copy(), PolynomialRing::M_, Nterm::monom, PolynomialRing::n_vars(), and newarray_atomic.

Referenced by lift().