264   unsigned cutRow = addZeroRow(/*makeRestricted=*/true);  in addCut()  local
265   tableau(cutRow, 0) = d;  in addCut()
266   tableau(cutRow, 1) = -mod(-tableau(row, 1), d); // -c%d.  in addCut()
267   tableau(cutRow, 2) = 0;  in addCut()
269     tableau(cutRow, col) = mod(tableau(row, col), d); // b_i%d.  in addCut()
270   return moveRowUnknownToColumn(cutRow);  in addCut()
422   unsigned cutRow = addZeroRow(/*makeRestricted=*/true);  in addSymbolicCut()  local
423   tableau(cutRow, 0) = d;  in addSymbolicCut()
424   tableau(cutRow, 2) = 0;  in addSymbolicCut()
426   tableau(cutRow, 1) = -mod(-tableau(row, 1), d); // -(-c%d).  in addSymbolicCut()
428     tableau(cutRow, col) = -mod(-tableau(row, col), d); // -(-a_i%d)s_i.  in addSymbolicCut()
429   tableau(cutRow, 3 + nSymbol - 1) = d;                 // q*d.  in addSymbolicCut()
432     tableau(cutRow, col) = mod(tableau(row, col), d); // (b_i%d)y_i.  in addSymbolicCut()
433   return moveRowUnknownToColumn(cutRow);  in addSymbolicCut()