16 #ifndef polybori_GroebnerOptions_h_
17 #define polybori_GroebnerOptions_h_
37 optRedTailInLastBlock(redTailInLastBlock), optLazy(lazy),
38 matrixPrefix(
"mat"), optDrawMatrices(false),
39 optModifiedLinearAlgebra(false), optDelayNonMinimals(true),
40 enabledLog(false), optExchange(true), optHFE(false), optStepBounded(false),
41 optAllowRecursion(true), optLinearAlgebraInLastBlock(true),
42 reduceByTailReduced(false) { }
GroebnerOptions(bool redTailInLastBlock=false, bool lazy=false)
Constructor with default settings.
Definition: GroebnerOptions.h:36
bool optExchange
Definition: GroebnerOptions.h:54
bool optDrawMatrices
Definition: GroebnerOptions.h:48
#define END_NAMESPACE_PBORIGB
Definition: groebner_defs.h:16
bool optLazy
Definition: GroebnerOptions.h:45
bool optAllowRecursion
Definition: GroebnerOptions.h:57
bool optStepBounded
Definition: GroebnerOptions.h:56
bool optModifiedLinearAlgebra
Definition: GroebnerOptions.h:50
#define BEGIN_NAMESPACE_PBORIGB
Definition: groebner_defs.h:15
This class defines options settings for GroebnerStrategy.
Definition: GroebnerOptions.h:32
bool optLinearAlgebraInLastBlock
Definition: GroebnerOptions.h:58
bool enabledLog
Definition: GroebnerOptions.h:52
bool optRedTailInLastBlock
Definition: GroebnerOptions.h:44
bool reduceByTailReduced
Definition: GroebnerOptions.h:60
bool optHFE
Definition: GroebnerOptions.h:55
bool optDelayNonMinimals
Definition: GroebnerOptions.h:51
std::string matrixPrefix
Definition: GroebnerOptions.h:47