PolyBoRi
|
00001 // -*- c++ -*- 00002 //***************************************************************************** 00014 //***************************************************************************** 00015 00016 #ifndef polybori_groebner_PolyMonomialPairComparerLexLess_h_ 00017 #define polybori_groebner_PolyMonomialPairComparerLexLess_h_ 00018 00019 // include basic definitions 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 /* polybori_PolyMonomialPairComparerLexLess_h_ */