#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 polybori::groebner::is_rewriteable().
Referenced by polybori::groebner::red_tail_generic().
Polynomial polybori::groebner::ReductionStrategy::headNormalForm | ( | Polynomial | p | ) | const |
Polynomial polybori::groebner::ReductionStrategy::nf | ( | Polynomial | p | ) | const |
References headNormalForm(), optRedTail, and reducedNormalForm().
Referenced by polybori::groebner::GroebnerStrategy::nf().
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 |
References polybori::BooleSet::divisorsOf(), polybori::CDDInterface< CuddLikeZDD >::emptiness(), exp2Index, polybori::BooleSet::expBegin(), polybori::BooleSet::expEnd(), polybori::BoolePolynomial::lead(), leadingTerms, and polybori::BooleEnv::ordering().
Referenced by polybori::groebner::nf3_degree_order(), and polybori::groebner::nf3_lexbuckets().
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 | ( | ) |
Referenced by polybori::groebner::LexHelper::irreducible_lead(), select1(), and select_short().
Referenced by polybori::groebner::red_tail_generic().
Referenced by polybori::groebner::red_tail_generic().
Referenced by polybori::groebner::red_tail_generic().
Referenced by polybori::groebner::GroebnerStrategy::llReduceAll().
Referenced by polybori::groebner::red_tail_generic().
Referenced by nf().
Referenced by polybori::groebner::LexHelper::irreducible_lead(), and polybori::groebner::LexHelper::nf().
Referenced by polybori::groebner::LexHelper::knowRestIsIrreducible().