00001 // -*- c++ -*- 00002 //***************************************************************************** 00014 //***************************************************************************** 00015 00016 #ifndef polybori_groebner_ReductionOptions_h_ 00017 #define polybori_groebner_ReductionOptions_h_ 00018 00019 // include basic definitions 00020 #include "groebner_defs.h" 00021 00022 BEGIN_NAMESPACE_PBORIGB 00023 00029 class ReductionOptions { 00030 public: 00031 ReductionOptions(): 00032 optBrutalReductions(true), optLL(false), 00033 optRedTailDegGrowth(true), optRedTail(true), 00034 reducibleUntil(-1) {} 00035 00036 bool optBrutalReductions; 00037 bool optLL; 00038 bool optRedTailDegGrowth; 00039 bool optRedTail; 00040 idx_type reducibleUntil; 00041 }; 00042 00043 END_NAMESPACE_PBORIGB 00044 00045 #endif /* polybori_groebner_ReductionOptions_h_ */
1.5.6