get_part()

ring_elem PolyRing::get_part ( const std::vector< int > & wts, const ring_elem f, bool lobound_given, bool hibound_given, long lobound, long hibound ) const

virtual

Implements PolynomialRing.

Definition at line 1855 of file poly.cpp.

{
  Nterm head;
  Nterm *inresult = &head;
 
  exponents_t exp = newarray_atomic(int, M_->n_vars());
 
  for (Nterm& t : f)
    {
      M_->to_expvector(t.monom, exp);
      long wt = exponents::weight(M_->n_vars(), exp, wts);
      if (lobound_given && wt < lobound) continue;
      if (hibound_given && wt > hibound) continue;
      inresult->next = copy_term(&t);
      inresult = inresult->next;
    }
 
  inresult->next = nullptr;
  freemem(exp);
  return head.next;
}

References copy_term(), freemem(), PolynomialRing::M_, newarray_atomic, Nterm::next, and ExponentVector< int, true >::weight().