Searched refs:leadCoeff (Results 1 – 1 of 1) sorted by relevance
534 int64_t leadCoeff = at(rowIdx, pivotCol); in eliminateFromConstraint() local536 if (leadCoeff == 0) in eliminateFromConstraint()539 int64_t sign = (leadCoeff * pivotCoeff > 0) ? -1 : 1; in eliminateFromConstraint()540 int64_t lcm = mlir::lcm(pivotCoeff, leadCoeff); in eliminateFromConstraint()542 int64_t rowMultiplier = lcm / std::abs(leadCoeff); in eliminateFromConstraint()