920 void SimplexBase::pivot(unsigned pivotRow, unsigned pivotCol) {  in pivot()  argument
921   assert(pivotCol >= getNumFixedCols() && "Refusing to pivot invalid column");  in pivot()
922   assert(!unknownFromColumn(pivotCol).isSymbol);  in pivot()
924   swapRowWithCol(pivotRow, pivotCol);  in pivot()
925   std::swap(tableau(pivotRow, 0), tableau(pivotRow, pivotCol));  in pivot()
931     tableau(pivotRow, pivotCol) = -tableau(pivotRow, pivotCol);  in pivot()
934       if (col == pivotCol)  in pivot()
944     if (tableau(row, pivotCol) == 0) // Nothing to do.  in pivot()
948       if (col == pivotCol)  in pivot()
952                           tableau(row, pivotCol) * tableau(pivotRow, col);  in pivot()
954     tableau(row, pivotCol) *= tableau(pivotRow, pivotCol);  in pivot()