strip()

resterm * res_poly::strip

(

const resterm *

f

)

const

Definition at line 299 of file res-a1-poly.cpp.

{
  resterm head;
  resterm *result = &head;
  for (const resterm *tm = f; tm != nullptr; tm = tm->next)
    if (tm->comp->syz_type != SYZ_NOT_MINIMAL)
      {
        result->next = new_term();
        result = result->next;
        result->comp = tm->comp;
        result->coeff = K->copy(tm->coeff);
        M->copy(tm->monom, result->monom);
      }
  result->next = nullptr;
  return head.next;
}

References K, M, new_term(), resterm::next, result(), and SYZ_NOT_MINIMAL.