00001
00002
00014
00015
00016 #ifndef polybori_groebner_PolyMonomialPairComparerLexLess_h_
00017 #define polybori_groebner_PolyMonomialPairComparerLexLess_h_
00018
00019
00020 #include "groebner_defs.h"
00021 #include <utility>
00022
00023 BEGIN_NAMESPACE_PBORIGB
00024
00029 class PolyMonomialPairComparerLexLess{
00030 public:
00031 LexOrder o;
00032 bool operator() (const std::pair<Polynomial,Monomial>& a,
00033 const std::pair<Polynomial, Monomial>& b){
00034 return o.compare(a.second,b.second)==BoolePolyRing::less_than;
00035
00036 }
00037 };
00038
00039 END_NAMESPACE_PBORIGB
00040
00041 #endif