16 #ifndef polybori_groebner_CountCriterion_h_
17 #define polybori_groebner_CountCriterion_h_
39 bool operator() (
int i){
42 const int USED_VARIABLES_BOUND=6;
59 int gcd_deg = gcd_deg;
60 int standard_monomials_in_common_lead=
66 +((1<<gcd_deg)-1)*((1<<(e1.
leadDeg-gcd_deg))+(1<<(e2.
leadDeg-gcd_deg)));
69 (standard_monomials_in_common_lead <<(uv_exp.
size()-lead_lcm.
deg()));
82 strat->pairs.status.setToHasTRep(i,j);
90 int i = strat->generators.index(m);