PolyBoRi
|
This class defines ReductionStrategy. More...
#include <ReductionStrategy.h>
Public Member Functions | |
ReductionStrategy (const BoolePolyRing &ring) | |
void | addGenerator (const PolyEntry &entry) |
Adding next element. | |
void | append (const PolyEntry &entry) |
Polynomial | nf (const Polynomial &p) const |
bool | canRewrite (const Polynomial &p) const |
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 (const Polynomial &p) const |
Polynomial | reducedNormalForm (const Polynomial &p) const |
void | llReduceAll () |
operator const PolyEntryVector & () const | |
Protected Member Functions | |
void | llReduce (const PolyEntry &entry, const Exponent &ll_e) |
int | select_short_by_terms (const MonomialSet &) const |
void | unmarkNonMinimalLeadingTerms (MonomialSet removed) |
void | setupSetsForElement (const PolyEntry &entry) |
template<class Iterator , class CompareType > | |
size_type | minimum (Iterator start, Iterator finish, const CompareType &comp) const |
This class defines ReductionStrategy.
polybori::groebner::ReductionStrategy::ReductionStrategy | ( | const BoolePolyRing & | ring | ) | [inline] |
void polybori::groebner::ReductionStrategy::addGenerator | ( | const PolyEntry & | entry | ) | [inline] |
Adding next element.
Referenced by polybori::groebner::FGLMStrategy::FGLMStrategy().
void polybori::groebner::ReductionStrategy::append | ( | const PolyEntry & | entry | ) | [inline, virtual] |
Adding next generator
Reimplemented from polybori::groebner::PolyEntryVector.
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 | ( | const Polynomial & | p | ) | const |
void polybori::groebner::ReductionStrategy::llReduce | ( | const PolyEntry & | entry, |
const Exponent & | ll_e | ||
) | [protected] |
Referenced by polybori::groebner::GroebnerStrategy::llReduceAll().
size_type polybori::groebner::ReductionStrategy::minimum | ( | Iterator | start, |
Iterator | finish, | ||
const CompareType & | comp | ||
) | const [inline, protected] |
References PBORI_UNLIKELY.
Polynomial polybori::groebner::ReductionStrategy::nf | ( | const Polynomial & | p | ) | const [inline] |
Referenced by polybori::groebner::GroebnerStrategy::nf().
polybori::groebner::ReductionStrategy::operator const PolyEntryVector & | ( | ) | const [inline] |
Polynomial polybori::groebner::ReductionStrategy::reducedNormalForm | ( | const Polynomial & | p | ) | const |
References polybori::groebner::red_tail().
int polybori::groebner::ReductionStrategy::select1 | ( | const Polynomial & | p | ) | const |
References polybori::BooleSet::divisorsOf(), polybori::BooleSet::expBegin(), polybori::COrderingBase::isLexicographical(), polybori::CCuddDDFacade< RingType, DiagramType >::isZero(), polybori::BoolePolynomial::lead(), polybori::BoolePolynomial::lexLead(), polybori::BoolePolyRing::ordering(), and polybori::BoolePolynomial::ring().
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 |
int polybori::groebner::ReductionStrategy::select_short | ( | const Polynomial & | p | ) | const [inline] |
References polybori::BoolePolynomial::leadDivisors().
Referenced by polybori::groebner::nf3_short().
int polybori::groebner::ReductionStrategy::select_short | ( | const Monomial & | m | ) | const [inline] |
References polybori::BooleMonomial::divisors().
int polybori::groebner::ReductionStrategy::select_short_by_terms | ( | const MonomialSet & | terms | ) | const [protected] |
void polybori::groebner::ReductionStrategy::setupSetsForElement | ( | const PolyEntry & | entry | ) | [protected] |
References polybori::BooleMonomial::exp(), polybori::groebner::PolyEntryBase::lead, polybori::groebner::PolyEntryBase::leadExp, polybori::groebner::PolyEntryBase::p, and PBORI_ASSERT.
void polybori::groebner::ReductionStrategy::unmarkNonMinimalLeadingTerms | ( | MonomialSet | removed | ) | [inline, protected] |
References polybori::BooleSet::expBegin(), polybori::BooleSet::expEnd(), and polybori::for_each().