PolyBoRi
Public Member Functions | Public Attributes | List of all members
polybori::groebner::GroebnerOptions Class Reference

This class defines options settings for GroebnerStrategy. More...

#include <GroebnerOptions.h>

Inheritance diagram for polybori::groebner::GroebnerOptions:
polybori::groebner::GroebnerStrategy

Public Member Functions

 GroebnerOptions (bool redTailInLastBlock=false, bool lazy=false)
 Constructor with default settings.

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

Detailed Description

This class defines options settings for GroebnerStrategy.

Note
: For most option values we give fixed defaults, but optRedTailInLastBlock and optLazy are problem dependent.

Constructor & Destructor Documentation

polybori::groebner::GroebnerOptions::GroebnerOptions ( bool  redTailInLastBlock = false,
bool  lazy = false 
)
inline

Constructor with default settings.

Member Data Documentation

bool polybori::groebner::GroebnerOptions::enabledLog
std::string polybori::groebner::GroebnerOptions::matrixPrefix
bool polybori::groebner::GroebnerOptions::optAllowRecursion
bool polybori::groebner::GroebnerOptions::optDelayNonMinimals
bool polybori::groebner::GroebnerOptions::optDrawMatrices
bool polybori::groebner::GroebnerOptions::optExchange
bool polybori::groebner::GroebnerOptions::optHFE
bool polybori::groebner::GroebnerOptions::optLazy
bool polybori::groebner::GroebnerOptions::optLinearAlgebraInLastBlock
bool polybori::groebner::GroebnerOptions::optModifiedLinearAlgebra
bool polybori::groebner::GroebnerOptions::optRedTailInLastBlock
bool polybori::groebner::GroebnerOptions::optStepBounded
bool polybori::groebner::GroebnerOptions::reduceByTailReduced

The documentation for this class was generated from the following file: