polybori::groebner::ReductionStrategy Class Reference

#include <groebner_alg.h>

List of all members.

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

---

Constructor & Destructor Documentation

polybori::groebner::ReductionStrategy::ReductionStrategy

(

)

[inline]

---

Member Function Documentation

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

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

Referenced by nf().

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

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

Referenced by nf().

int polybori::groebner::ReductionStrategy::select1

(

const Monomial &

m

)

const

References polybori::BooleSet::divisorsOf(), polybori::CDDInterface< CuddLikeZDD >::emptiness(), exp2Index, polybori::BooleSet::expBegin(), polybori::BooleSet::expEnd(), and leadingTerms.

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

References polybori::BooleSet::begin(), polybori::BooleMonomial::divisors(), polybori::CDDInterface< CuddLikeZDD >::emptiness(), polybori::BooleSet::end(), polybori::BooleSet::intersect(), leadingTerms, and lm2Index.

int polybori::groebner::ReductionStrategy::select_short

(

const Polynomial &

p

)

const

References polybori::BooleSet::begin(), polybori::CDDInterface< CuddLikeZDD >::emptiness(), polybori::BooleSet::end(), polybori::BooleSet::intersect(), polybori::BoolePolynomial::leadDivisors(), leadingTerms, and lm2Index.

void polybori::groebner::ReductionStrategy::setupSetsForLastElement

(

)

---

Member Data Documentation

exp2Index_map_type polybori::groebner::ReductionStrategy::exp2Index

Referenced by select1().

MonomialSet polybori::groebner::ReductionStrategy::leadingTerms

Referenced by polybori::groebner::LexHelper::irreducible_lead(), select1(), and select_short().

MonomialSet polybori::groebner::ReductionStrategy::leadingTerms00

MonomialSet polybori::groebner::ReductionStrategy::leadingTerms11

MonomialSet polybori::groebner::ReductionStrategy::llReductor

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

lm2Index_map_type polybori::groebner::ReductionStrategy::lm2Index

Referenced by polybori::groebner::LessCombinedManySizesInStrat::operator()(), polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat::operator()(), polybori::groebner::LessEcartThenLessWeightedLengthInStrat::operator()(), and select_short().

MonomialSet polybori::groebner::ReductionStrategy::minimalLeadingTerms

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

MonomialSet polybori::groebner::ReductionStrategy::monomials

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

MonomialSet polybori::groebner::ReductionStrategy::monomials_plus_one

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

bool polybori::groebner::ReductionStrategy::optBrutalReductions

Referenced by 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::red_tail_generic().

bool polybori::groebner::ReductionStrategy::optRedTail

Referenced by nf().

bool polybori::groebner::ReductionStrategy::optRedTailDegGrowth

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

idx_type polybori::groebner::ReductionStrategy::reducibleUntil

Referenced by polybori::groebner::LexHelper::knowRestIsIrreducible().

---

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

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