|
PolyBoRi
|
This class defines option values for the ReductionStrategy. More...
#include <ReductionOptions.h>
Public Member Functions | |
| ReductionOptions () | |
Public Attributes | |
| bool | optBrutalReductions |
| bool | optLL |
| bool | optRedTailDegGrowth |
| bool | optRedTail |
| idx_type | reducibleUntil |
This class defines option values for the ReductionStrategy.
|
inline |
| bool polybori::groebner::ReductionOptions::optBrutalReductions |
| bool polybori::groebner::ReductionOptions::optLL |
Referenced by polybori::groebner::cheap_reductions().
| bool polybori::groebner::ReductionOptions::optRedTail |
Referenced by polybori::groebner::GroebnerStrategy::addAsYouWish().
| bool polybori::groebner::ReductionOptions::optRedTailDegGrowth |
| idx_type polybori::groebner::ReductionOptions::reducibleUntil |
Referenced by polybori::groebner::LexHelper::knowRestIsIrreducible().
1.8.9.1