Searched refs:monomialVar (Results 1 – 2 of 2) sorted by relevance
1375 Expr monomialVar, a; in projectInequalities() local1376 separateMonomial(isolatedMonomial, a, monomialVar); in projectInequalities()1388 if(isMult(monomialVar) || isPow(monomialVar)) in projectInequalities()1400 ExprMap<CDList<Ineq> *>::iterator it1 = db1.find(monomialVar); in projectInequalities()1404 db1[monomialVar] = list; in projectInequalities()1411 ExprMap<CDList<Ineq> *>::iterator it = db2.find(monomialVar); in projectInequalities()
1741 Expr monomialVar, a; in projectInequalities() local1742 separateMonomial(isolatedMonomial, a, monomialVar); in projectInequalities()1753 if(isMult(monomialVar) || isPow(monomialVar)) in projectInequalities()1764 ExprMap<CDList<Ineq> *>::iterator it1 = db1.find(monomialVar); in projectInequalities()1768 db1[monomialVar] = list; in projectInequalities()1774 ExprMap<CDList<Ineq> *>::iterator it = db2.find(monomialVar); in projectInequalities()