377{
378 for (;; a = a->next, b = b->next)
379 {
380 if (a == nullptr)
381 {
382 if (b == nullptr) return true;
383 return false;
384 }
385 if (b == nullptr) return false;
386 if (a->comp != b->comp) return false;
387 if (!
K->is_equal(a->coeff, b->coeff))
return false;
388 if (
M->compare(a->monom, b->monom) != 0)
return false;
389 }
390}