1801   IntegerRelation newRel(lbIndices.size() * ubIndices.size() + nbIndices.size(),  in fourierMotzkinEliminate()  local
1820       ineq.reserve(newRel.getNumCols());  in fourierMotzkinEliminate()
1843       newRel.addInequality(ineq);  in fourierMotzkinEliminate()
1861     newRel.addInequality(ineq);  in fourierMotzkinEliminate()
1864   assert(newRel.getNumConstraints() ==  in fourierMotzkinEliminate()
1870     eq.reserve(newRel.getNumCols());  in fourierMotzkinEliminate()
1876     newRel.addEquality(eq);  in fourierMotzkinEliminate()
1881   newRel.gcdTightenInequalities();  in fourierMotzkinEliminate()
1882   newRel.normalizeConstraintsByGCD();  in fourierMotzkinEliminate()
1883   newRel.removeTrivialRedundancy();  in fourierMotzkinEliminate()
1884   clearAndCopyFrom(newRel);  in fourierMotzkinEliminate()