16 #ifndef polybori_groebner_ReductionOptions_h_
17 #define polybori_groebner_ReductionOptions_h_
32 optBrutalReductions(true), optLL(false),
33 optRedTailDegGrowth(true), optRedTail(true),
bool optBrutalReductions
Definition: ReductionOptions.h:36
#define END_NAMESPACE_PBORIGB
Definition: groebner_defs.h:16
idx_type reducibleUntil
Definition: ReductionOptions.h:40
#define BEGIN_NAMESPACE_PBORIGB
Definition: groebner_defs.h:15
bool optRedTail
Definition: ReductionOptions.h:39
bool optLL
Definition: ReductionOptions.h:37
bool optRedTailDegGrowth
Definition: ReductionOptions.h:38
polybori::CTypes::idx_type idx_type
Definition: groebner_defs.h:44
This class defines option values for the ReductionStrategy.
Definition: ReductionOptions.h:29
ReductionOptions()
Definition: ReductionOptions.h:31