divide_by_var()

ring_elem PolyRing::divide_by_var ( int n, int d, const ring_elem a ) const

virtual

Implements PolynomialRing.

Definition at line 2149 of file poly.cpp.

{
  if (d == 0) return a;
  Nterm head;
  Nterm *result = &head;
  exponents_t exp = newarray_atomic(int, n_vars());
  for (Nterm& t : a)
    {
      M_->to_expvector(t.monom, exp);
      if (exp[n] >= d)
        exp[n] -= d;
      else
        continue;
      result->next = new_term();
      result = result->next;
      result->coeff = t.coeff;
      M_->from_expvector(exp, result->monom);
    }
  freemem(exp);
  result->next = nullptr;
  return head.next;
}

References freemem(), PolynomialRing::M_, PolynomialRing::n_vars(), new_term(), newarray_atomic, Nterm::next, and result().