Lines Matching defs:denom

380   DynamicAPInt denom = tableau(row, 0);
381   return tableau(row, 1) % denom == 0 &&
382          isRangeDivisibleBy(tableau.getRow(row).slice(3, nSymbol), denom);
471     DynamicAPInt denom = tableau(u.pos, 0);
472     if (tableau(u.pos, 2) < denom) {
479     assert(tableau(u.pos, 2) == denom &&
484       assert(elem % denom == 0 && "coefficients must be integral!");
485       elem /= denom;
1299 /// `0 <= coeffs - denom*q <= denom - 1`, where `q` is the new division
1302 /// This constrains the remainder `coeffs - denom*q` to be in the
1303 /// range `[0, denom - 1]`, which fixes the integer value of the quotient `q`.
1305                                       const DynamicAPInt &denom) {
1306   assert(denom > 0 && "Denominator must be positive!");
1311   ineq.back() = -denom;
1317   ineq.back() += denom - 1;
1585       DynamicAPInt denom = tableau(u.pos, 0);
1586       sample.emplace_back(tableau(u.pos, 1), denom);
1617     DynamicAPInt denom = tableau(u.pos, 0);
1619       if (tableau(u.pos, 2) != denom)
1621     sample.emplace_back(tableau(u.pos, 1), denom);
2152   os << "c0: denom, c1: const";