PolyBoRi
|
#include <pairs.h>
Public Member Functions | |
PolyEntry (const Polynomial &p) | |
PolyEntry () | |
bool | operator== (const PolyEntry &other) const |
deg_type | ecart () const |
void | recomputeInformation () |
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 |
std::set< idx_type > | vPairCalculated |
set of variables with which pair was calculated | |
bool | minimal |
polybori::groebner::PolyEntry::PolyEntry | ( | const Polynomial & | p | ) |
References p, deg, polybori::BoolePolynomial::deg(), lead, polybori::BoolePolynomial::boundedLead(), leadExp, polybori::BooleMonomial::exp(), leadDeg, polybori::BooleExponent::deg(), length, polybori::BoolePolynomial::length(), weightedLength, polybori::BoolePolynomial::eliminationLengthWithDegBound(), usedVariables, polybori::BoolePolynomial::usedVariablesExp(), tail, tailVariables, and minimal.
polybori::groebner::PolyEntry::PolyEntry | ( | ) | [inline] |
deg_type polybori::groebner::PolyEntry::ecart | ( | ) | const [inline] |
Referenced by polybori::groebner::should_propagate().
bool polybori::groebner::PolyEntry::operator== | ( | const PolyEntry & | other | ) | const [inline] |
void polybori::groebner::PolyEntry::recomputeInformation | ( | ) |
References lead, p, polybori::BoolePolynomial::lead(), polybori::BooleEnv::ordering(), deg, polybori::BoolePolynomial::deg(), length, polybori::BoolePolynomial::length(), leadDeg, weightedLength, polybori::BoolePolynomial::eliminationLengthWithDegBound(), usedVariables, polybori::BoolePolynomial::usedVariablesExp(), tail, tailVariables, literal_factors, and polybori::BoolePolynomial::leadDeg().
Referenced by polybori::groebner::GroebnerStrategy::treat_m_p_1_case(), PolyEntry(), recomputeInformation(), polybori::groebner::GroebnerStrategy::propagate_step(), polybori::groebner::GroebnerStrategy::treatNormalPairs(), polybori::groebner::ReductionStrategy::setupSetsForLastElement(), and polybori::groebner::GroebnerStrategy::addGenerator().
Referenced by PolyEntry(), and recomputeInformation().
Referenced by PolyEntry(), polybori::groebner::reduce_complete(), polybori::groebner::GroebnerStrategy::propagate_step(), polybori::groebner::GroebnerStrategy::treatVariablePairs(), polybori::groebner::GroebnerStrategy::treatNormalPairs(), and polybori::groebner::ReductionStrategy::setupSetsForLastElement().
Referenced by polybori::groebner::GroebnerStrategy::treat_m_p_1_case(), PolyEntry(), recomputeInformation(), polybori::groebner::reduce_complete(), polybori::groebner::should_propagate(), polybori::groebner::GroebnerStrategy::propagate_step(), polybori::groebner::ReductionStrategy::setupSetsForLastElement(), and polybori::groebner::wlen_literal_exceptioned().
Referenced by PolyEntry().
Referenced by polybori::groebner::GroebnerStrategy::treat_m_p_1_case(), PolyEntry(), recomputeInformation(), polybori::groebner::reduce_complete(), polybori::groebner::GroebnerStrategy::propagate_step(), polybori::groebner::GroebnerStrategy::treatVariablePairs(), polybori::groebner::ReductionStrategy::setupSetsForLastElement(), and polybori::groebner::GroebnerStrategy::addNonTrivialImplicationsDelayed().
Referenced by PolyEntry(), and recomputeInformation().
Referenced by PolyEntry(), and recomputeInformation().
Referenced by PolyEntry(), recomputeInformation(), and polybori::groebner::GroebnerStrategy::treatVariablePairs().
set of variables with which pair was calculated