Searched refs:pivotCoeff (Results 1 – 1 of 1) sorted by relevance
538 int64_t pivotCoeff = constraints->atEq(pivotRow, pivotCol); in eliminateFromConstraint() local539 int64_t sign = (leadCoeff * pivotCoeff > 0) ? -1 : 1; in eliminateFromConstraint()540 int64_t lcm = mlir::lcm(pivotCoeff, leadCoeff); in eliminateFromConstraint()541 int64_t pivotMultiplier = sign * (lcm / std::abs(pivotCoeff)); in eliminateFromConstraint()