00001 // -*- c++ -*- 00002 //***************************************************************************** 00014 //***************************************************************************** 00015 00016 #ifndef polybori_groebner_LeadingTerms_h_ 00017 #define polybori_groebner_LeadingTerms_h_ 00018 00019 #include "TermsFacade.h" 00020 #include "PolyEntry.h" 00021 00022 // include basic definitions 00023 #include "groebner_defs.h" 00024 00025 BEGIN_NAMESPACE_PBORIGB 00026 00031 class LeadingTerms: 00032 public TermsFacade<LeadingTerms> { 00033 00034 public: 00035 template <class Type> 00036 LeadingTerms(const Type& rhs): TermsFacade<LeadingTerms>(rhs) {} 00037 00038 bool isCompatible(const PolyEntry&) const { return true; } 00039 }; 00040 00041 END_NAMESPACE_PBORIGB 00042 00043 #endif /* polybori_groebner_LeadingTerms_h_ */
1.5.6