PolyBoRi
DegRevLexAscOrder.h
Go to the documentation of this file.
1 // -*- c++ -*-
2 //*****************************************************************************
14 //*****************************************************************************
15 
16 #ifndef polybori_DegRevLexAscOrder_h_
17 #define polybori_DegRevLexAscOrder_h_
18 
19 // include basic definitions
20 #include <polybori/pbori_defs.h>
21 
22 // include base order definitions
25 
27 
34  public COrderingFacade<DegRevLexAscOrder, dp_asc_tag> {
35 
37  typedef DegRevLexAscOrder self;
38 
39  public:
41  typedef std::greater<idx_type> idx_comparer_type;
42 
45 
47  DegRevLexAscOrder(const self& rhs): base(rhs) {};
48 
51 
53  comp_type compare(idx_type, idx_type) const;
54 
56  comp_type compare(const monom_type&, const monom_type&) const;
57 
59  comp_type compare(const exp_type&, const exp_type&) const;
60 
62  monom_type lead(const poly_type&) const;
63 
66  monom_type lead(const poly_type& poly, deg_type bound) const;
67 
69  exp_type leadExp(const poly_type&) const;
70 
73  exp_type leadExp(const poly_type&, deg_type) const;
74 };
75 
76 
78 
79 #endif // polybori_DegRevLexAscOrder_h_
~DegRevLexAscOrder()
Destructor.
Definition: DegRevLexAscOrder.h:50
#define END_NAMESPACE_PBORI
Finish project's namespace.
Definition: pbori_defs.h:77
#define BEGIN_NAMESPACE_PBORI
Start project's namespace.
Definition: pbori_defs.h:74
This class initialize the interface for orderings of CDynamicOrderBase for a given OrderType...
Definition: COrderingFacade.h:43
This class defines ordering related functions.
Definition: DegRevLexAscOrder.h:33
int deg_type
Definition: groebner_defs.h:42
Definition: COrderingBase.h:43
std::greater< idx_type > idx_comparer_type
Define binary predicate for index comparision.
Definition: DegRevLexAscOrder.h:41
DegRevLexAscOrder()
Default Constructor.
Definition: DegRevLexAscOrder.h:44
polybori::CTypes::idx_type idx_type
Definition: groebner_defs.h:44
DegRevLexAscOrder(const self &rhs)
Copy Constructor.
Definition: DegRevLexAscOrder.h:47