16 #ifndef polybori_groebner_PolyMonomialPairComparerLexLess_h_
17 #define polybori_groebner_PolyMonomialPairComparerLexLess_h_
32 bool operator() (
const std::pair<Polynomial,Monomial>& a,
33 const std::pair<Polynomial, Monomial>& b){
34 return o.
compare(a.second,b.second)==BoolePolyRing::less_than;
comp_type compare(idx_type, idx_type) const
Comparison of indices corresponding to variables.
Definition: LexOrder.cc:81
#define END_NAMESPACE_PBORIGB
Definition: groebner_defs.h:16
This class defines PolyMonomialPairComparerLexLess.
Definition: PolyMonomialPairComparerLexLess.h:29
#define BEGIN_NAMESPACE_PBORIGB
Definition: groebner_defs.h:15
This class defines ordering related functions.
Definition: LexOrder.h:33
LexOrder o
Definition: PolyMonomialPairComparerLexLess.h:31