def optimizeCoeff(self):
'''Optimize the term order on the variables of the coefficients.
'''
p = self.pset;
o = TermOrderOptimization.optimizeTermOrderOnCoefficients(p);
r = Ring("",o.ring);
return ParamIdeal(r,"",o.list);
def optimize(self):
'''Optimize the term order on the variables.
'''
p = self.pset;
o = TermOrderOptimization.optimizeTermOrder(p);
r = Ring("",o.ring);
return Ideal(r,"",o.list);
def optimizeCoeffQuot(self):
'''Optimize the term order on the variables of the quotient coefficients.
'''
p = self.pset;
l = p.list;
r = p.ring;
q = r.coFac;
c = q.ring;
rc = GenPolynomialRing( c, r.nvar, r.tord, r.vars );
#print "rc = ", rc;
lp = PolyUfdUtil.integralFromQuotientCoefficients(rc,l);
#print "lp = ", lp;
pp = PolynomialList(rc,lp);
#print "pp = ", pp;
oq = TermOrderOptimization.optimizeTermOrderOnCoefficients(pp);
oor = oq.ring;
qo = oor.coFac;
cq = QuotientRing( qo );
rq = GenPolynomialRing( cq, r.nvar, r.tord, r.vars );
#print "rq = ", rq;
o = PolyUfdUtil.quotientFromIntegralCoefficients(rq,oq.list);
r = Ring("",rq);
return ParamIdeal(r,"",o);
