Definition at line 342 of file res-a0-poly.cpp.
343{
344
345
346
347
348 if (f ==
nullptr || f->
next ==
nullptr)
return;
349 res2term *f1 = nullptr;
350 res2term *f2 = nullptr;
351 while (f != nullptr)
352 {
353 res2term *t = f;
356 f1 = t;
357
358 if (f == nullptr) break;
359 t = f;
362 f2 = t;
363 }
364
368 f = f1;
369}
void sort(res2term *&f) const
void add_to(res2term *&f, res2term *&g) const
References add_to(), res2term::next, and sort().
Referenced by from_vector(), and sort().