Definition at line 226 of file gb-default.cpp.
227{
228 gbvector *fsyz;
229
231 fsyz =
R->gbvector_term(
_Fsyz, denom, i + 1);
232 else
233 fsyz =
R->gbvector_zero();
234
235 if (
R->gbvector_is_zero(f))
236 {
237 originalR->get_quotient_info()->gbvector_normal_form(
_Fsyz, fsyz);
238 if (!
R->gbvector_is_zero(fsyz))
239 {
240
242 }
243 return nullptr;
244 }
245
249
251}
const PolynomialRing * originalR
spair * spair_make_gen(POLY f)
void collect_syzygy(gbvector *fsyz)
References _Fsyz, collect_syzygy(), POLY::f, POLY::fsyz, n_rows_per_syz, originalR, POLY, R, and spair_make_gen().
Referenced by initialize().