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()));
deg_type deg() const
Degree of the monomial.
Definition: BooleMonomial.h:146
Exponent usedVariables
Definition: PolyEntryBase.h:62
GroebnerStrategy * strat
Definition: CountCriterion.h:33
This class is just a wrapper for using variables for storing indices as interim data structure for Bo...
Definition: BooleExponent.h:34
self GCD(const self &) const
Compute the greatest common divisor.
Definition: BooleMonomial.cc:169
deg_type leadDeg
Definition: PolyEntryBase.h:59
size_type index(const KeyType &key) const
Retrieve index associated to key.
Definition: PolyEntryVector.h:99
Polynomial p
Definition: PolyEntryBase.h:54
deg_type LCMDeg(const self &) const
Degree of the least common multiple.
Definition: BooleExponent.cc:293
#define END_NAMESPACE_PBORIGB
Definition: groebner_defs.h:16
set_type divisors(const ring_type &) const
Divisors of the monomial.
Definition: BooleExponent.cc:417
self LCM(const self &) const
Compute the greatest common divisor.
Definition: BooleExponent.cc:319
self LCM(const self &) const
Compute the least common multiple.
Definition: BooleMonomial.cc:219
const ring_type & ring() const
Access ring, where this belongs to.
Definition: BoolePolynomial.h:478
This class defines CountCriterion.
Definition: CountCriterion.h:31
set_type set() const
Get corresponding subset of of the powerset over all variables.
Definition: BoolePolynomial.h:464
#define BEGIN_NAMESPACE_PBORIGB
Definition: groebner_defs.h:15
This class defines PolyEntry.
Definition: PolyEntry.h:32
PairStatusSet status
Definition: PairManager.h:75
ReductionStrategy generators
Definition: GroebnerStrategy.h:204
int j
Definition: CountCriterion.h:34
CountCriterion(GroebnerStrategy &strat, int j)
Definition: CountCriterion.h:35
set_type divisors() const
Divisors of the monomial.
Definition: BooleMonomial.h:154
size_type size() const
Returns number of terms.
Definition: BooleSet.h:242
This class defines GroebnerStrategy.
Definition: GroebnerStrategy.h:41
void setToHasTRep(int ia, int ja)
Definition: PairStatusSet.h:39
PairManagerWithStrategy< strategy_type > pairs
For compatibility reasons make this a public member.
Definition: PairManagerFacade.h:95
size_type nNodes() const
Number of nodes in the current decision diagram.
Definition: CCuddDDFacade.h:235
MonomialSet zeros(Polynomial p, MonomialSet candidates)
Definition: interpolate.cc:85
Monomial lead
Definition: PolyEntryBase.h:55
std::size_t size_type
Type for lengths, dimensions, etc.
Definition: pbori_defs.h:219
Definition: BooleSet.h:57
This class is just a wrapper for using variables from cudd's decicion diagram.
Definition: BooleMonomial.h:50
size_type size() const
Degree of the corresponding monomial.
Definition: BooleExponent.h:109
#define PBORI_UNLIKELY(expression)
Definition: pbori_defs.h:59
deg_type deg() const
Degree of the corresponding monomial.
Definition: BooleExponent.h:118