#include <groebner_alg.h>
Public Member Functions | |
Polynomial | nf (Polynomial p) const |
void | setupSetsForLastElement () |
ReductionStrategy () | |
bool | canRewrite (const Polynomial &p) const |
void | addGenerator (const Polynomial &p) |
int | select1 (const Polynomial &p) const |
int | select1 (const Monomial &m) const |
int | select_short (const Polynomial &p) const |
int | select_short (const Monomial &m) const |
Polynomial | headNormalForm (Polynomial p) const |
Polynomial | reducedNormalForm (Polynomial p) const |
Public Attributes | |
MonomialSet | leadingTerms |
MonomialSet | minimalLeadingTerms |
MonomialSet | leadingTerms11 |
MonomialSet | leadingTerms00 |
MonomialSet | llReductor |
MonomialSet | monomials |
MonomialSet | monomials_plus_one |
lm2Index_map_type | lm2Index |
exp2Index_map_type | exp2Index |
bool | optBrutalReductions |
bool | optLL |
bool | optRedTailDegGrowth |
bool | optRedTail |
idx_type | reducibleUntil |
polybori::groebner::ReductionStrategy::ReductionStrategy | ( | ) | [inline] |
void polybori::groebner::ReductionStrategy::addGenerator | ( | const Polynomial & | p | ) | [inline] |
bool polybori::groebner::ReductionStrategy::canRewrite | ( | const Polynomial & | p | ) | const [inline] |
References is_rewriteable().
Polynomial polybori::groebner::ReductionStrategy::headNormalForm | ( | Polynomial | p | ) | const |
Polynomial polybori::groebner::ReductionStrategy::nf | ( | Polynomial | p | ) | const |
Polynomial polybori::groebner::ReductionStrategy::reducedNormalForm | ( | Polynomial | p | ) | const |
int polybori::groebner::ReductionStrategy::select1 | ( | const Monomial & | m | ) | const |
int polybori::groebner::ReductionStrategy::select1 | ( | const Polynomial & | p | ) | const |
int polybori::groebner::ReductionStrategy::select_short | ( | const Monomial & | m | ) | const |
int polybori::groebner::ReductionStrategy::select_short | ( | const Polynomial & | p | ) | const |
void polybori::groebner::ReductionStrategy::setupSetsForLastElement | ( | ) |