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