Lines Matching defs:lcm

641   DynamicAPInt lcm = llvm::lcm(pivotCoeff, leadCoeff);
642   DynamicAPInt pivotMultiplier = sign * (lcm / abs(pivotCoeff));
643   DynamicAPInt rowMultiplier = lcm / abs(leadCoeff);
2012   // lb*lcm(c_l, c_u)/c_l <= lcm(c_l, c_u)*x <= ub*lcm(c_l, c_u)/c_u
2014   // lcm(c_l, c_u)/c_l*lb <= lcm(c_l, c_u)/c_u*ub.
2017   // have integer pre-images). Hence, if the lcm's are all 1, the elimination is
2033         DynamicAPInt lcm = llvm::lcm(lbCoeff, ubCoeff);
2034         ineq.emplace_back(atIneq(ubPos, l) * (lcm / ubCoeff) +
2035                           atIneq(lbPos, l) * (lcm / lbCoeff));
2036         assert(lcm > 0 && "lcm should be positive!");
2037         if (lcm != 1)