Definition at line 32 of file gauss.cpp.
33{
35 {
37 {
38 syz_list.push_back(
p->fsyz);
40 }
42 }
43 else
44 {
45 ring_elem leadinv =
R->invert(
p->f->coeff);
46 R->mult_vec_to(
p->f, leadinv,
false);
47 R->mult_vec_to(
p->fsyz, leadinv,
false);
48 p->nterms =
R->n_nonzero_terms(
p->f);
51 {
54 }
55 else
56 {
58 {
62 }
65 }
66 }
67}
References collect_syz, freemem(), gb_list, n_gb, n_syz, p, R, and reduce_list.
Referenced by GaussElimComputation(), and start_computation().