Lines Matching defs:sourceCol

368 /// Set M(row, targetCol) to its remainder on division by M(row, sourceCol)
370 /// sourceCol. This brings M(row, targetCol) to the range [0, M(row,
371 /// sourceCol)). Apply the same column operation to otherMatrix, with the same
374                                     unsigned sourceCol, unsigned targetCol,
376   assert(m(row, sourceCol) != 0 && "Cannot divide by zero!");
377   assert(m(row, sourceCol) > 0 && "Source must be positive!");
378   DynamicAPInt ratio = -floorDiv(m(row, targetCol), m(row, sourceCol));
379   m.addToColumn(sourceCol, targetCol, ratio);
380   otherMatrix.addToColumn(sourceCol, targetCol, ratio);
513       unsigned targetCol = i, sourceCol = echelonCol;
514       // At every step, we set h(row, targetCol) %= h(row, sourceCol), and
515       // swap the indices sourceCol and targetCol. (not the columns themselves)
517       // h(row, targetCol) -= quotient * h(row, sourceCol),
518       // where quotient = floor(h(row, targetCol) / h(row, sourceCol)),
519       // which brings h(row, targetCol) to the range [0, h(row, sourceCol)).
525       while (h(row, targetCol) != 0 && h(row, sourceCol) != 0) {
526         modEntryColumnOperation(h, row, sourceCol, targetCol, u);
527         std::swap(targetCol, sourceCol);