PolyBoRi
BlockOrderHelper.h
Go to the documentation of this file.
1 // -*- c++ -*-
2 //*****************************************************************************
14 //*****************************************************************************
15 
16 #ifndef polybori_groebner_BlockOrderHelper_h_
17 #define polybori_groebner_BlockOrderHelper_h_
18 
19 // include basic definitions
20 #include "groebner_defs.h"
21 #include "ReductionStrategy.h"
22 #include "nf.h"
23 
25 
31  public:
32  static bool irreducible_lead(const Monomial& m, const ReductionStrategy& strat){
34  }
36  return p.orderedBegin();
37  }
39  return p.orderedEnd();
40  }
41  static Polynomial nf(const ReductionStrategy& strat, const Polynomial& p, const Monomial& m){
42  return nf3(strat,p,m);
43  }
45  const static bool isDegreeOrder=false;
46  const static bool isLexicographicalOrder=false;
47  static bool knowRestIsIrreducible(const iterator_type& it, const ReductionStrategy & strat){
48  return false;
49  }
50  static Polynomial sum_range(std::vector<Monomial>& vec,iterator_type it, iterator_type end, Polynomial init){
51  return add_up_generic(vec, init);
52  }
53 };
54 
56 
57 #endif /* polybori_BlockOrderHelper_h_ */