Lines Matching defs:cutRow
283 unsigned cutRow = addZeroRow(/*makeRestricted=*/true);
284 tableau(cutRow, 0) = d;
285 tableau(cutRow, 1) = -mod(-tableau(row, 1), d); // -c%d.
286 tableau(cutRow, 2) = 0;
288 tableau(cutRow, col) = mod(tableau(row, col), d); // b_i%d.
289 return moveRowUnknownToColumn(cutRow);
443 unsigned cutRow = addZeroRow(/*makeRestricted=*/true);
444 tableau(cutRow, 0) = d;
445 tableau(cutRow, 2) = 0;
447 tableau(cutRow, 1) = -mod(-tableau(row, 1), d); // -(-c%d).
449 tableau(cutRow, col) = -mod(-tableau(row, col), d); // -(-a_i%d)s_i.
450 tableau(cutRow, 3 + nSymbol - 1) = d; // q*d.
453 tableau(cutRow, col) = mod(tableau(row, col), d); // (b_i%d)y_i.
454 return moveRowUnknownToColumn(cutRow);