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);