Searched refs:new_gcddeg (Results 1 – 1 of 1) sorted by relevance
1440 int new_gcddeg=new_Db.lexsorted_degree(); in ezgcd() local1442 CERR << "// Eval at " << new_b << " gcd degree " << new_gcddeg << '\n'; in ezgcd()1443 if (!new_gcddeg){ in ezgcd()1447 if (new_gcddeg>old_gcddeg) // bad evaluation point in ezgcd()1449 if (new_gcddeg==old_gcddeg) // might be a good guess! in ezgcd()1451 old_gcddeg=new_gcddeg; in ezgcd()