2596   FlatAffineConstraints newFac(  in FourierMotzkinEliminate()  local
2601   assert(newFac.getIds().size() == newFac.getNumIds());  in FourierMotzkinEliminate()
2619       ineq.reserve(newFac.getNumCols());  in FourierMotzkinEliminate()
2642       newFac.addInequality(ineq);  in FourierMotzkinEliminate()
2660     newFac.addInequality(ineq);  in FourierMotzkinEliminate()
2663   assert(newFac.getNumConstraints() ==  in FourierMotzkinEliminate()
2669     eq.reserve(newFac.getNumCols());  in FourierMotzkinEliminate()
2675     newFac.addEquality(eq);  in FourierMotzkinEliminate()
2680   newFac.GCDTightenInequalities();  in FourierMotzkinEliminate()
2681   newFac.normalizeConstraintsByGCD();  in FourierMotzkinEliminate()
2682   newFac.removeTrivialRedundancy();  in FourierMotzkinEliminate()
2683   clearAndCopyFrom(newFac);  in FourierMotzkinEliminate()