Definition at line 53 of file reducedgb-ZZ.cpp.
54 {
55 gbvector *
x =
gb[xx].f;
56 gbvector *y =
gb[yy].f;
57 int cmp =
R->gbvector_compare(
F,
x, y);
58 if (cmp ==
LT)
return true;
59 if (cmp ==
GT)
return false;
60
61
63 }
void gb(IntermediateBasis &F, int n)
mpz_srcptr get_mpz() const
References gbvector::coeff, F, gb(), ring_elem::get_mpz(), GT, LT, R, and x.