00001
00002
00014
00015
00016 #ifndef polybori_GroebnerOptions_h_
00017 #define polybori_GroebnerOptions_h_
00018
00019
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