16 #ifndef polybori_groebner_HasTRepOrExtendedProductCriterion_h_
17 #define polybori_groebner_HasTRepOrExtendedProductCriterion_h_
53 if (strat->pairs.status.hasTRep(i,j))
56 if (
extended_product_criterion(const_cast<const GroebnerStrategy*>(strat)->generators[i],const_cast<const GroebnerStrategy*>(strat)->generators[j])){
57 strat->pairs.status.setToHasTRep(i,j);
58 strat->extendedProductCriterions++;
65 i=strat->generators.index(m);
67 if (strat->pairs.status.hasTRep(i,j))
70 if (
extended_product_criterion(const_cast<const GroebnerStrategy*>(strat)->generators[i],const_cast<const GroebnerStrategy*>(strat)->generators[j])){
71 strat->pairs.status.setToHasTRep(i,j);
72 strat->extendedProductCriterions++;