Definition at line 132 of file res-a1-poly.cpp.
133{
134 if (g == nullptr) return;
135 if (f == nullptr)
136 {
137 f = g;
138 g = nullptr;
139 return;
140 }
141 resterm head;
143 while (1)
switch (
compare(f, g))
144 {
145 case -1:
149 if (g == nullptr)
150 {
153 return;
154 }
155 break;
156 case 1:
160 if (f == nullptr)
161 {
164 g = nullptr;
165 return;
166 }
167 break;
168 case 0:
169 resterm *tmf = f;
170 resterm *tmg = g;
174 if (
K->is_zero(tmf->
coeff))
176 else
177 {
180 }
182 if (g == nullptr)
183 {
186 return;
187 }
188 if (f == nullptr)
189 {
192 g = nullptr;
193 return;
194 }
195 break;
196 }
197}
int compare(const resterm *a, const resterm *b) const
VALGRIND_MAKE_MEM_DEFINED & result(result)
References resterm::coeff, compare(), K, resterm::next, resterm_stash, and result().
Referenced by ring_subtract_multiple_to(), sort(), and subtract_multiple_to().