vec_coefficient_of_var()

vec PolyRing::vec_coefficient_of_var ( vec v, int var, int exp ) const

protected

Definition at line 2345 of file poly.cpp.

{
  exponents_t exp = newarray_atomic(int, n_vars());
  vecterm vec_head;
  vecterm *vec_result = &vec_head;
  for (vecterm *t = v; t != nullptr; t = t->next)
    {
      Nterm head;
      Nterm *result = &head;
      for (Nterm& f : t->coeff)
        {
          M_->to_expvector(f.monom, exp);
          if (exp[x] != e) continue;
          exp[x] = 0;
          result->next = new_term();
          result = result->next;
          result->coeff = f.coeff;
          M_->from_expvector(exp, result->monom);
        }
      result->next = nullptr;
      vec_result->next = make_vec(t->comp, head.next);
      vec_result = vec_result->next;
    }
  freemem(exp);
  vec_result->next = nullptr;
  return vec_head.next;
}

References Nterm::coeff, freemem(), PolynomialRing::M_, Ring::make_vec(), Nterm::monom, PolynomialRing::n_vars(), new_term(), newarray_atomic, Nterm::next, vec::next, result(), and x.

Referenced by vec_top_coefficient().