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

List of all members.

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


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

Generated on Wed Jan 30 16:39:54 2013 for PolyBoRi by  doxygen 1.5.6