PolyBoRi
|
#include <groebner_alg.h>
Public Member Functions | |
Polynomial | nf (Polynomial p) const |
void | setupSetsForLastElement () |
ReductionStrategy () | |
ReductionStrategy (const BoolePolyRing &theRing) | |
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 |
Protected Member Functions | |
void | set_defaults () |
polybori::groebner::ReductionStrategy::ReductionStrategy | ( | ) | [inline] |
polybori::groebner::ReductionStrategy::ReductionStrategy | ( | const BoolePolyRing & | theRing | ) | [inline] |
void polybori::groebner::ReductionStrategy::addGenerator | ( | const Polynomial & | p | ) | [inline] |
Referenced by polybori::groebner::FGLMStrategy::FGLMStrategy().
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 |
Polynomial polybori::groebner::ReductionStrategy::reducedNormalForm | ( | Polynomial | p | ) | const |
int polybori::groebner::ReductionStrategy::select1 | ( | const Polynomial & | p | ) | const |
References polybori::BooleSet::divisorsOf(), polybori::BoolePolynomial::lead(), polybori::CCuddDDFacade::isZero(), polybori::BooleSet::expBegin(), and polybori::BooleSet::expEnd().
Referenced by polybori::groebner::nf3(), polybori::groebner::nf3_lexbuckets(), polybori::groebner::nf3_degree_order(), and polybori::groebner::parallel_reduce().
int polybori::groebner::ReductionStrategy::select1 | ( | const Monomial & | m | ) | const |
int polybori::groebner::ReductionStrategy::select_short | ( | const Polynomial & | p | ) | const |
int polybori::groebner::ReductionStrategy::select_short | ( | const Monomial & | m | ) | const |
void polybori::groebner::ReductionStrategy::set_defaults | ( | ) | [inline, protected] |
void polybori::groebner::ReductionStrategy::setupSetsForLastElement | ( | ) |
References polybori::groebner::PolyEntry::lead, minimalLeadingTerms, polybori::BooleSet::divisorsOf(), polybori::CCuddDDFacade::isZero(), polybori::BooleSet::multiplesOf(), polybori::BooleMonomial::diagram(), polybori::BooleSet::expBegin(), polybori::BooleSet::expEnd(), polybori::groebner::PolyEntry::leadExp, exp2Index, leadingTerms, leadingTerms11, leadingTerms00, lm2Index, polybori::groebner::PolyEntry::length, polybori::groebner::PolyEntry::p, polybori::BoolePolynomial::length(), monomials, polybori::BoolePolynomial::diagram(), optLL, polybori::groebner::addPolynomialToReductor(), and llReductor.
Referenced by polybori::groebner::GroebnerStrategy::addGenerator().
Referenced by polybori::groebner::ChainCriterion::operator()(), polybori::groebner::ChainVariableCriterion::operator()(), polybori::groebner::HasTRepOrExtendedProductCriterion::operator()(), polybori::groebner::GroebnerStrategy::treatNormalPairs(), setupSetsForLastElement(), polybori::groebner::GroebnerStrategy::addGenerator(), polybori::groebner::GroebnerStrategy::minimalizeAndTailReduce(), polybori::groebner::select_largest_degree(), and polybori::groebner::select_no_deg_growth().
Referenced by polybori::groebner::FGLMStrategy::analyzeGB(), polybori::groebner::FGLMStrategy::FGLMStrategy(), polybori::groebner::PairManager::cleanTopByChainCriterion(), polybori::groebner::GroebnerStrategy::treatNormalPairs(), setupSetsForLastElement(), polybori::groebner::GroebnerStrategy::addGenerator(), polybori::groebner::GroebnerStrategy::addGeneratorTrySplit(), polybori::groebner::GroebnerStrategy::addAsYouWish(), polybori::groebner::select_largest_degree(), polybori::groebner::LexHelper::irreducible_lead(), and polybori::groebner::select_no_deg_growth().
Referenced by setupSetsForLastElement(), and polybori::groebner::GroebnerStrategy::addGenerator().
Referenced by setupSetsForLastElement(), and polybori::groebner::GroebnerStrategy::addGenerator().
Referenced by setupSetsForLastElement(), and polybori::groebner::cheap_reductions().
Referenced by polybori::groebner::GroebnerStrategy::addHigherImplDelayedUsing4(), polybori::groebner::GroebnerStrategy::add4ImplDelayed(), polybori::groebner::GroebnerStrategy::treatNormalPairs(), setupSetsForLastElement(), polybori::groebner::GroebnerStrategy::addGenerator(), polybori::groebner::GroebnerStrategy::minimalizeAndTailReduce(), polybori::groebner::GroebnerStrategy::minimalize(), polybori::groebner::GroebnerStrategy::addGeneratorTrySplit(), polybori::groebner::GroebnerStrategy::suggestPluginVariable(), and polybori::groebner::red_tail_generic().
Referenced by polybori::groebner::cheap_reductions().
Referenced by setupSetsForLastElement(), and polybori::groebner::cheap_reductions().