Lines Matching refs:newRow
91 unsigned newRow = tableau.appendExtraRow(); in addZeroRow() local
94 con.emplace_back(Orientation::Row, makeRestricted, newRow); in addZeroRow()
96 tableau(newRow, 0) = 1; in addZeroRow()
97 return newRow; in addZeroRow()
109 unsigned newRow = addZeroRow(makeRestricted); in addRow() local
110 tableau(newRow, 1) = coeffs.back(); in addRow()
131 tableau(newRow, 2) = bigMCoeff; in addRow()
144 tableau(newRow, pos) += coeffs[i] * tableau(newRow, 0); in addRow()
152 int64_t lcm = mlir::lcm(tableau(newRow, 0), tableau(pos, 0)); in addRow()
153 int64_t nRowCoeff = lcm / tableau(newRow, 0); in addRow()
155 tableau(newRow, 0) = lcm; in addRow()
157 tableau(newRow, col) = in addRow()
158 nRowCoeff * tableau(newRow, col) + idxRowCoeff * tableau(pos, col); in addRow()
161 tableau.normalizeRow(newRow); in addRow()