Definition at line 150 of file res-a0-poly.cpp.
151{
152 if (g == nullptr) return;
153 if (f == nullptr)
154 {
155 f = g;
156 g = nullptr;
157 return;
158 }
159 res2term head;
161 while (1)
switch (
compare(f, g))
162 {
163 case -1:
167 if (g == nullptr)
168 {
171 return;
172 }
173 break;
174 case 1:
178 if (f == nullptr)
179 {
182 g = nullptr;
183 return;
184 }
185 break;
186 case 0:
187 res2term *tmf = f;
188 res2term *tmg = g;
192 if (
K->is_zero(tmf->
coeff))
194 else
195 {
198 }
200 if (g == nullptr)
201 {
204 return;
205 }
206 if (f == nullptr)
207 {
210 g = nullptr;
211 return;
212 }
213 break;
214 }
215}
int compare(const res2term *a, const res2term *b) const
VALGRIND_MAKE_MEM_DEFINED & result(result)
References res2term::coeff, compare(), K, res2term::next, resterm_stash, and result().
Referenced by ring_subtract_multiple_to(), sort(), and subtract_multiple_to().