polybori::groebner::ReductionTerms Class Reference

This class defines term for ReductionStrategy. More...

#include <ReductionTerms.h>

Inheritance diagram for polybori::groebner::ReductionTerms:

List of all members.

Public Member Functions
	ReductionTerms (const BoolePolyRing &ring)
	Initialize term data for given ring.
RelatedTerms	related (const PolyEntry &entry) const
Public Attributes
LeadingTerms	leadingTerms
MinimalLeadingTerms	minimalLeadingTerms
LeadingTerms11	leadingTerms11
LeadingTerms00	leadingTerms00
LLReductor	llReductor
MonomialTerms	monomials
MonomialPlusOneTerms	monomials_plus_one

---

Detailed Description

This class defines term for ReductionStrategy.

---

Constructor & Destructor Documentation

polybori::groebner::ReductionTerms::ReductionTerms

(

const BoolePolyRing &

ring

)

[inline]

Initialize term data for given ring.

---

Member Function Documentation

RelatedTerms polybori::groebner::ReductionTerms::related

(

const PolyEntry &

entry

)

const [inline]

Compute terms owning variables of current entry's leading term

Note:

Side effect: adds additional data to treat_pairs

References polybori::groebner::LiteralFactorization::is00Factorization(), polybori::groebner::LiteralFactorization::is11Factorization(), polybori::BoolePolynomial::isOne(), polybori::groebner::PolyEntryBase::lead, polybori::groebner::PolyEntryBase::literal_factors, polybori::groebner::PolyEntryBase::p, PBORI_ASSERT, polybori::BoolePolynomial::ring(), and polybori::which().

---

Member Data Documentation

LeadingTerms polybori::groebner::ReductionTerms::leadingTerms

Referenced by polybori::groebner::GroebnerStrategy::addAsYouWish(), polybori::groebner::GroebnerStrategy::addGeneratorTrySplit(), polybori::groebner::FGLMStrategy::analyzeGB(), polybori::groebner::GroebnerStrategy::checkChainCriterion(), polybori::groebner::FGLMStrategy::FGLMStrategy(), polybori::groebner::LexHelper::irreducible_lead(), polybori::groebner::PairManager::nextSpoly(), polybori::groebner::ReductionStrategy::select1(), polybori::groebner::select_largest_degree(), polybori::groebner::select_no_deg_growth(), polybori::groebner::ReductionStrategy::select_short_by_terms(), and polybori::groebner::ReductionStrategy::setupSetsForElement().

MinimalLeadingTerms polybori::groebner::ReductionTerms::minimalLeadingTerms

Referenced by polybori::groebner::GroebnerStrategy::addGeneratorTrySplit(), polybori::groebner::fix_point_iterate(), polybori::groebner::irreducible_lead(), polybori::groebner::GroebnerStrategy::minimalize(), polybori::groebner::GroebnerStrategy::minimalizeAndTailReduce(), polybori::groebner::red_tail_generic(), polybori::groebner::ReductionStrategy::setupSetsForElement(), and polybori::groebner::GroebnerStrategy::suggestPluginVariable().

LeadingTerms11 polybori::groebner::ReductionTerms::leadingTerms11

Referenced by polybori::groebner::ReductionStrategy::setupSetsForElement().

LeadingTerms00 polybori::groebner::ReductionTerms::leadingTerms00

Referenced by polybori::groebner::ReductionStrategy::setupSetsForElement().

LLReductor polybori::groebner::ReductionTerms::llReductor

Referenced by polybori::groebner::cheap_reductions(), polybori::groebner::ReductionStrategy::llReduce(), polybori::groebner::ReductionStrategy::llReduceAll(), polybori::groebner::GroebnerStrategy::noroStep(), and polybori::groebner::ReductionStrategy::setupSetsForElement().

MonomialTerms polybori::groebner::ReductionTerms::monomials

Referenced by polybori::groebner::cheap_reductions(), polybori::groebner::ReductionStrategy::llReduce(), and polybori::groebner::ReductionStrategy::setupSetsForElement().

MonomialPlusOneTerms polybori::groebner::ReductionTerms::monomials_plus_one

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

---

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

• ReductionTerms.h