PolyBoRi
|
00001 // -*- c++ -*- 00002 //***************************************************************************** 00014 //***************************************************************************** 00015 00016 #ifndef polybori_GroebnerOptions_h_ 00017 #define polybori_GroebnerOptions_h_ 00018 00019 // include basic definitions 00020 #include "groebner_defs.h" 00021 00022 #include <string> 00023 00024 BEGIN_NAMESPACE_PBORIGB 00025 00032 class GroebnerOptions { 00033 00034 public: 00036 GroebnerOptions(bool redTailInLastBlock = false, bool lazy = false): 00037 optRedTailInLastBlock(redTailInLastBlock), optLazy(lazy), 00038 matrixPrefix("mat"), optDrawMatrices(false), 00039 optModifiedLinearAlgebra(false), optDelayNonMinimals(true), 00040 enabledLog(false), optExchange(true), optHFE(false), optStepBounded(false), 00041 optAllowRecursion(true), optLinearAlgebraInLastBlock(true), 00042 reduceByTailReduced(false) { } 00043 00044 bool optRedTailInLastBlock; 00045 bool optLazy; 00046 00047 std::string matrixPrefix; 00048 bool optDrawMatrices; 00049 00050 bool optModifiedLinearAlgebra; 00051 bool optDelayNonMinimals; 00052 bool enabledLog; 00053 00054 bool optExchange; 00055 bool optHFE; 00056 bool optStepBounded; 00057 bool optAllowRecursion; 00058 bool optLinearAlgebraInLastBlock; 00059 00060 bool reduceByTailReduced; 00061 }; 00062 00063 END_NAMESPACE_PBORIGB 00064 00065 #endif /* polybori_GroebnerOptions_h_ */