PolyBoRi
GroebnerOptions.h
Go to the documentation of this file.
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_ */