Searched refs:leadCoeff (Results 1 – 1 of 1) sorted by relevance
837 int64_t leadCoeff = at(rowIdx, pivotCol); in eliminateFromConstraint() local839 if (leadCoeff == 0) in eliminateFromConstraint()842 int64_t sign = (leadCoeff * pivotCoeff > 0) ? -1 : 1; in eliminateFromConstraint()843 int64_t lcm = mlir::lcm(pivotCoeff, leadCoeff); in eliminateFromConstraint()845 int64_t rowMultiplier = lcm / std::abs(leadCoeff); in eliminateFromConstraint()