|
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.
Referenced by polybori::groebner::cheap_reductions().
Referenced by polybori::groebner::GroebnerStrategy::addAsYouWish().
Referenced by polybori::groebner::LexHelper::knowRestIsIrreducible().
1.8.0