Lines Matching defs:newRow

109   unsigned newRow = tableau.appendExtraRow();
112   con.emplace_back(Orientation::Row, makeRestricted, newRow);
114   tableau(newRow, 0) = 1;
115   return newRow;
128   unsigned newRow = addZeroRow(makeRestricted);
129   tableau(newRow, 1) = coeffs.back();
150     tableau(newRow, 2) = bigMCoeff;
163       tableau(newRow, pos) += coeffs[i] * tableau(newRow, 0);
171     DynamicAPInt lcm = llvm::lcm(tableau(newRow, 0), tableau(pos, 0));
172     DynamicAPInt nRowCoeff = lcm / tableau(newRow, 0);
174     tableau(newRow, 0) = lcm;
176       tableau(newRow, col) =
177           nRowCoeff * tableau(newRow, col) + idxRowCoeff * tableau(pos, col);
180   tableau.normalizeRow(newRow);