polybori::groebner::ReductionStrategy Class Reference

#include <groebner_alg.h>

List of all members.

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 ()

---

Constructor & Destructor Documentation

polybori::groebner::ReductionStrategy::ReductionStrategy

(

)

[inline]

polybori::groebner::ReductionStrategy::ReductionStrategy

(

const BoolePolyRing &

theRing

)

[inline]

---

Member Function Documentation

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

References polybori::BoolePolynomial::isZero(), polybori::BoolePolynomial::lead(), polybori::groebner::nf3(), polybori::groebner::nf3_degree_order(), and UNLIKELY.

Polynomial polybori::groebner::ReductionStrategy::nf

(

Polynomial

p

)

const

Polynomial polybori::groebner::ReductionStrategy::reducedNormalForm

(

Polynomial

p

)

const

References polybori::BoolePolynomial::isZero(), polybori::BoolePolynomial::lead(), polybori::groebner::nf3(), polybori::groebner::nf3_degree_order(), polybori::groebner::red_tail(), and UNLIKELY.

int polybori::groebner::ReductionStrategy::select1

(

const Polynomial &

p

)

const

References polybori::BooleSet::divisorsOf(), polybori::BooleSet::expBegin(), polybori::BooleSet::expEnd(), polybori::CCuddDDFacade< RingType, DiagramType >::isZero(), and polybori::BoolePolynomial::lead().

Referenced by polybori::groebner::nf3(), polybori::groebner::nf3_degree_order(), polybori::groebner::nf3_lexbuckets(), and polybori::groebner::parallel_reduce().

int polybori::groebner::ReductionStrategy::select1

(

const Monomial &

m

)

const

References polybori::BooleSet::divisorsOf(), polybori::BooleSet::expBegin(), polybori::BooleSet::expEnd(), and polybori::CCuddDDFacade< RingType, DiagramType >::isZero().

int polybori::groebner::ReductionStrategy::select_short

(

const Polynomial &

p

)

const

References polybori::BooleSet::begin(), polybori::BooleSet::end(), polybori::CCuddDDFacade< RingType, DiagramType >::isZero(), and polybori::BoolePolynomial::leadDivisors().

Referenced by polybori::groebner::nf3_short().

int polybori::groebner::ReductionStrategy::select_short

(

const Monomial &

m

)

const

References polybori::BooleSet::begin(), polybori::BooleMonomial::divisors(), polybori::BooleSet::end(), and polybori::CCuddDDFacade< RingType, DiagramType >::isZero().

void polybori::groebner::ReductionStrategy::set_defaults

(

)

[inline, protected]

void polybori::groebner::ReductionStrategy::setupSetsForLastElement

(

)

References polybori::groebner::addPolynomialToReductor(), polybori::BoolePolynomial::diagram(), polybori::BooleMonomial::diagram(), polybori::BooleSet::divisorsOf(), exp2Index, polybori::BooleSet::expBegin(), polybori::BooleSet::expEnd(), polybori::CCuddDDFacade< RingType, DiagramType >::isZero(), polybori::groebner::PolyEntry::lead, polybori::groebner::PolyEntry::leadExp, leadingTerms, leadingTerms00, leadingTerms11, polybori::BoolePolynomial::length(), polybori::groebner::PolyEntry::length, llReductor, lm2Index, minimalLeadingTerms, monomials, polybori::BooleSet::multiplesOf(), optLL, and polybori::groebner::PolyEntry::p.

Referenced by polybori::groebner::GroebnerStrategy::addGenerator().

---

Member Data Documentation

exp2Index_map_type polybori::groebner::ReductionStrategy::exp2Index

Referenced by polybori::groebner::GroebnerStrategy::addGenerator(), polybori::groebner::GroebnerStrategy::minimalizeAndTailReduce(), polybori::groebner::HasTRepOrExtendedProductCriterion::operator()(), polybori::groebner::ChainVariableCriterion::operator()(), polybori::groebner::ChainCriterion::operator()(), polybori::groebner::select_largest_degree(), polybori::groebner::select_no_deg_growth(), setupSetsForLastElement(), and polybori::groebner::GroebnerStrategy::treatNormalPairs().

MonomialSet polybori::groebner::ReductionStrategy::leadingTerms

Referenced by polybori::groebner::GroebnerStrategy::addAsYouWish(), polybori::groebner::GroebnerStrategy::addGenerator(), polybori::groebner::GroebnerStrategy::addGeneratorTrySplit(), polybori::groebner::FGLMStrategy::analyzeGB(), polybori::groebner::PairManager::cleanTopByChainCriterion(), polybori::groebner::FGLMStrategy::FGLMStrategy(), polybori::groebner::LexHelper::irreducible_lead(), polybori::groebner::select_largest_degree(), polybori::groebner::select_no_deg_growth(), setupSetsForLastElement(), and polybori::groebner::GroebnerStrategy::treatNormalPairs().

MonomialSet polybori::groebner::ReductionStrategy::leadingTerms00

Referenced by polybori::groebner::GroebnerStrategy::addGenerator(), and setupSetsForLastElement().

MonomialSet polybori::groebner::ReductionStrategy::leadingTerms11

Referenced by polybori::groebner::GroebnerStrategy::addGenerator(), and setupSetsForLastElement().

MonomialSet polybori::groebner::ReductionStrategy::llReductor

Referenced by polybori::groebner::cheap_reductions(), and setupSetsForLastElement().

lm2Index_map_type polybori::groebner::ReductionStrategy::lm2Index

Referenced by polybori::groebner::GroebnerStrategy::minimalize(), polybori::groebner::LessCombinedManySizesInStrat::operator()(), polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat::operator()(), polybori::groebner::LessEcartThenLessWeightedLengthInStrat::operator()(), polybori::groebner::HasTRepOrExtendedProductCriterion::operator()(), and setupSetsForLastElement().

MonomialSet polybori::groebner::ReductionStrategy::minimalLeadingTerms

Referenced by polybori::groebner::GroebnerStrategy::add4ImplDelayed(), polybori::groebner::GroebnerStrategy::addGenerator(), polybori::groebner::GroebnerStrategy::addGeneratorTrySplit(), polybori::groebner::GroebnerStrategy::addHigherImplDelayedUsing4(), polybori::groebner::GroebnerStrategy::minimalize(), polybori::groebner::GroebnerStrategy::minimalizeAndTailReduce(), polybori::groebner::red_tail_generic(), setupSetsForLastElement(), polybori::groebner::GroebnerStrategy::suggestPluginVariable(), and polybori::groebner::GroebnerStrategy::treatNormalPairs().

MonomialSet polybori::groebner::ReductionStrategy::monomials

Referenced by polybori::groebner::cheap_reductions(), polybori::groebner::GroebnerStrategy::propagate_step(), and setupSetsForLastElement().

MonomialSet polybori::groebner::ReductionStrategy::monomials_plus_one

Referenced by polybori::groebner::cheap_reductions().

bool polybori::groebner::ReductionStrategy::optBrutalReductions

Referenced by polybori::groebner::nf3(), polybori::groebner::nf3_degree_order(), polybori::groebner::nf3_lexbuckets(), and polybori::groebner::nf3_no_deg_growth().

bool polybori::groebner::ReductionStrategy::optLL

Referenced by polybori::groebner::cheap_reductions(), and setupSetsForLastElement().

bool polybori::groebner::ReductionStrategy::optRedTail

Referenced by polybori::groebner::GroebnerStrategy::addAsYouWish(), polybori::groebner::GroebnerStrategy::addGenerator(), and polybori::groebner::GroebnerStrategy::addGeneratorTrySplit().

bool polybori::groebner::ReductionStrategy::optRedTailDegGrowth

Referenced by polybori::groebner::LexHelper::irreducible_lead(), polybori::groebner::GroebnerStrategy::minimalizeAndTailReduce(), and polybori::groebner::LexHelper::nf().

idx_type polybori::groebner::ReductionStrategy::reducibleUntil

Referenced by polybori::groebner::GroebnerStrategy::addGenerator(), and polybori::groebner::LexHelper::knowRestIsIrreducible().

---

The documentation for this class was generated from the following files:

• groebner_alg.h
• groebner_alg.cc
• nf.cc