10 #ifndef PBORI_GB_ALG_H
11 #define PBORI_GB_ALG_H
29 #include <boost/dynamic_bitset.hpp>
41 #define LL_RED_FOR_GROEBNER 1
45 void groebner(GroebnerStrategy& strat);
55 const BoolePolyRing& ring);
95 Monomial multiply_by=bin_last/b_p_gcd;
98 return p-dividing_terms+rewritten*multiply_by;