PolyBoRi
|
This class defines options settings for GroebnerStrategy
.
More...
#include <GroebnerOptions.h>
Public Member Functions | |
GroebnerOptions (bool redTailInLastBlock=false, bool lazy=false) | |
Constructor with default settings. More... | |
Public Attributes | |
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 |
This class defines options settings for GroebnerStrategy
.
optRedTailInLastBlock
and optLazy
are problem dependent.
|
inline |
Constructor with default settings.
bool polybori::groebner::GroebnerOptions::enabledLog |
std::string polybori::groebner::GroebnerOptions::matrixPrefix |
bool polybori::groebner::GroebnerOptions::optAllowRecursion |
Referenced by polybori::groebner::GroebnerStrategy::addGeneratorTrySplit().
bool polybori::groebner::GroebnerOptions::optDelayNonMinimals |
Referenced by polybori::groebner::GroebnerStrategy::addAsYouWish().
bool polybori::groebner::GroebnerOptions::optDrawMatrices |
bool polybori::groebner::GroebnerOptions::optExchange |
Referenced by polybori::groebner::parallel_reduce().
bool polybori::groebner::GroebnerOptions::optHFE |
bool polybori::groebner::GroebnerOptions::optLazy |
Referenced by polybori::groebner::parallel_reduce().
bool polybori::groebner::GroebnerOptions::optLinearAlgebraInLastBlock |
Referenced by polybori::groebner::parallel_reduce().
bool polybori::groebner::GroebnerOptions::optModifiedLinearAlgebra |
bool polybori::groebner::GroebnerOptions::optRedTailInLastBlock |
Referenced by polybori::groebner::GroebnerStrategy::addAsYouWish().
bool polybori::groebner::GroebnerOptions::optStepBounded |
Referenced by polybori::groebner::parallel_reduce().
bool polybori::groebner::GroebnerOptions::reduceByTailReduced |