16 #ifndef polybori_groebner_RelatedTerms_h_
17 #define polybori_groebner_RelatedTerms_h_
47 base(lead, monomials, ignorable, monomials.diff(ignorable)) { }
#define END_NAMESPACE_PBORIGB
Definition: groebner_defs.h:16
This class reinterprets decicion diagram managers as Boolean polynomial rings, adds an ordering and v...
Definition: BoolePolyRing.h:40
#define BEGIN_NAMESPACE_PBORIGB
Definition: groebner_defs.h:15
Definition: BooleSet.h:57
This class is just a wrapper for using variables from cudd's decicion diagram.
Definition: BooleMonomial.h:50