polybori::groebner::PolyEntry Class Reference

#include <pairs.h>

List of all members.

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

---

Constructor & Destructor Documentation

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]

---

Member Function Documentation

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().

---

Member Data Documentation

deg_type polybori::groebner::PolyEntry::deg

Referenced by PolyEntry(), recomputeInformation(), polybori::groebner::should_propagate(), and polybori::groebner::wlen_literal_exceptioned().

Monomial polybori::groebner::PolyEntry::gcdOfTerms

Monomial polybori::groebner::PolyEntry::lead

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().

deg_type polybori::groebner::PolyEntry::leadDeg

Referenced by PolyEntry(), and recomputeInformation().

Exponent polybori::groebner::PolyEntry::leadExp

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().

len_type polybori::groebner::PolyEntry::length

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().

LiteralFactorization polybori::groebner::PolyEntry::literal_factors

Referenced by recomputeInformation(), polybori::groebner::GroebnerStrategy::treatVariablePairs(), polybori::groebner::GroebnerStrategy::addGenerator(), and polybori::groebner::GroebnerStrategy::addNonTrivialImplicationsDelayed().

bool polybori::groebner::PolyEntry::minimal

Referenced by PolyEntry().

Polynomial polybori::groebner::PolyEntry::p

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().

Polynomial polybori::groebner::PolyEntry::tail

Referenced by PolyEntry(), and recomputeInformation().

Exponent polybori::groebner::PolyEntry::tailVariables

Referenced by PolyEntry(), and recomputeInformation().

Exponent polybori::groebner::PolyEntry::usedVariables

Referenced by PolyEntry(), recomputeInformation(), and polybori::groebner::GroebnerStrategy::treatVariablePairs().

std::set<idx_type> polybori::groebner::PolyEntry::vPairCalculated

set of variables with which pair was calculated

wlen_type polybori::groebner::PolyEntry::weightedLength

Referenced by PolyEntry(), recomputeInformation(), polybori::groebner::ShorterEliminationLengthModified::operator()(), and polybori::groebner::wlen_literal_exceptioned().

---

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

• pairs.h
• groebner_alg.cc