PolyBoRi
|
00001 // -*- c++ -*- 00002 //***************************************************************************** 00014 //***************************************************************************** 00015 00016 #ifndef polybori_groebner_PolyMonomialPairComparerLess_h_ 00017 #define polybori_groebner_PolyMonomialPairComparerLess_h_ 00018 00019 // include basic definitions 00020 #include "groebner_defs.h" 00021 #include <utility> 00022 BEGIN_NAMESPACE_PBORIGB 00023 00028 class PolyMonomialPairComparerLess{ 00029 public: 00030 bool operator() (const std::pair<Polynomial,Monomial>& a, 00031 const std::pair<Polynomial, Monomial>& b){ 00032 return a.second < b.second; 00033 00034 } 00035 }; 00036 00037 END_NAMESPACE_PBORIGB 00038 00039 #endif /* polybori_PolyMonomialPairComparerLess_h_ */