GroebnerOptions.h
Go to the documentation of this file.
// -*- c++ -*-
//*****************************************************************************
//*****************************************************************************
#ifndef polybori_GroebnerOptions_h_
#define polybori_GroebnerOptions_h_
// include basic definitions
#include "groebner_defs.h"
#include <string>
BEGIN_NAMESPACE_PBORIGB
class GroebnerOptions {
public:
GroebnerOptions(bool redTailInLastBlock = false, bool lazy = false):
optRedTailInLastBlock(redTailInLastBlock), optLazy(lazy),
matrixPrefix("mat"), optDrawMatrices(false),
optModifiedLinearAlgebra(false), optDelayNonMinimals(true),
enabledLog(false), optExchange(true), optHFE(false), optStepBounded(false),
optAllowRecursion(true), optLinearAlgebraInLastBlock(true),
reduceByTailReduced(false) { }
bool optRedTailInLastBlock;
bool optLazy;
std::string matrixPrefix;
bool optDrawMatrices;
bool optModifiedLinearAlgebra;
bool optDelayNonMinimals;
bool enabledLog;
bool optExchange;
bool optHFE;
bool optStepBounded;
bool optAllowRecursion;
bool optLinearAlgebraInLastBlock;
bool reduceByTailReduced;
};
END_NAMESPACE_PBORIGB
#endif /* polybori_GroebnerOptions_h_ */