PolyBoRi
|
This class defines the base of PolyEntry
.
More...
#include <PolyEntryBase.h>
Public Member Functions | |
PolyEntryBase (const Polynomial &poly) | |
Public Attributes | |
LiteralFactorization | literal_factors |
Polynomial | p |
Monomial | lead |
wlen_type | weightedLength |
len_type | length |
deg_type | deg |
deg_type | leadDeg |
Exponent | leadExp |
Monomial | gcdOfTerms |
Exponent | usedVariables |
Exponent | tailVariables |
Polynomial | tail |
bool | minimal |
std::set< idx_type > | vPairCalculated |
set of variables with which pair was calculated More... | |
This class defines the base of PolyEntry
.
|
inline |
deg_type polybori::groebner::PolyEntryBase::deg |
Referenced by polybori::groebner::should_propagate(), and polybori::groebner::wlen_literal_exceptioned().
Monomial polybori::groebner::PolyEntryBase::gcdOfTerms |
Monomial polybori::groebner::PolyEntryBase::lead |
Referenced by polybori::groebner::GroebnerStrategy::addVariablePairs(), polybori::groebner::extended_product_criterion(), polybori::groebner::PolyEntryIndices::insert(), polybori::groebner::MonomialTerms::isCompatible(), polybori::groebner::LLReductor::isCompatible(), polybori::groebner::ReductionStrategy::llReduce(), polybori::groebner::PolyEntryPtrLmLess::operator()(), polybori::groebner::CountCriterion::operator()(), polybori::groebner::reduce_by_small_entry(), polybori::groebner::ReductionTerms::related(), polybori::groebner::ReductionStrategy::setupSetsForElement(), polybori::groebner::TermsFacade< LeadingTerms00 >::update(), and polybori::groebner::PolyEntryIndices::update().
deg_type polybori::groebner::PolyEntryBase::leadDeg |
Exponent polybori::groebner::PolyEntryBase::leadExp |
Referenced by polybori::groebner::GroebnerStrategy::add4ImplDelayed(), polybori::groebner::GroebnerStrategy::addVariablePairs(), polybori::groebner::PolyEntryIndices::insert(), polybori::groebner::PolyEntry::propagatableBy(), polybori::groebner::reduce_complete(), polybori::groebner::ReductionStrategy::setupSetsForElement(), and polybori::groebner::PolyEntryIndices::update().
len_type polybori::groebner::PolyEntryBase::length |
LiteralFactorization polybori::groebner::PolyEntryBase::literal_factors |
Referenced by polybori::groebner::GroebnerStrategy::addNonTrivialImplicationsDelayed(), polybori::groebner::GroebnerStrategy::addVariablePairs(), polybori::groebner::extended_product_criterion(), polybori::groebner::LeadingTerms11::isCompatible(), polybori::groebner::LeadingTerms00::isCompatible(), polybori::groebner::ReductionTerms::related(), and polybori::groebner::GroebnerStrategy::treatVariablePairs().
bool polybori::groebner::PolyEntryBase::minimal |
Referenced by polybori::groebner::ReductionStrategy::llReduce().
Polynomial polybori::groebner::PolyEntryBase::p |
Referenced by polybori::groebner::GroebnerStrategy::add4ImplDelayed(), polybori::groebner::GroebnerStrategy::addNonTrivialImplicationsDelayed(), polybori::groebner::MonomialPlusOneTerms::isCompatible(), polybori::groebner::MonomialTerms::isCompatible(), polybori::groebner::LLReductor::isCompatible(), polybori::groebner::PolyFromPolyEntry::operator()(), polybori::groebner::CountCriterion::operator()(), polybori::groebner::PolyEntry::propagatableBy(), polybori::groebner::reduce_by_small_entry(), polybori::groebner::reduce_complete(), polybori::groebner::ReductionTerms::related(), polybori::groebner::ReductionStrategy::setupSetsForElement(), polybori::groebner::GroebnerStrategy::treatVariablePairs(), and polybori::groebner::LLReductor::update().
Polynomial polybori::groebner::PolyEntryBase::tail |
Referenced by polybori::groebner::ReductionStrategy::llReduce().
Exponent polybori::groebner::PolyEntryBase::tailVariables |
Referenced by polybori::groebner::ReductionStrategy::llReduce().
Exponent polybori::groebner::PolyEntryBase::usedVariables |
std::set<idx_type> polybori::groebner::PolyEntryBase::vPairCalculated |
set of variables with which pair was calculated
wlen_type polybori::groebner::PolyEntryBase::weightedLength |