Searched refs:lbCoeff (Results 1 – 1 of 1) sorted by relevance
1821 int64_t lbCoeff = atIneq(lbPos, pos); in fourierMotzkinEliminate() local1830 assert(lbCoeff >= 1 && ubCoeff >= 1 && "bounds wrongly identified"); in fourierMotzkinEliminate()1831 int64_t lcm = mlir::lcm(lbCoeff, ubCoeff); in fourierMotzkinEliminate()1833 atIneq(lbPos, l) * (lcm / lbCoeff)); in fourierMotzkinEliminate()1839 ineq[ineq.size() - 1] += lbCoeff * ubCoeff - lbCoeff - ubCoeff + 1; in fourierMotzkinEliminate()