polybori::groebner::PolyEntry Class Reference

#include <pairs.h>

List of all members.

Public Member Functions
	PolyEntry (const Polynomial &p)
deg_type	ecart () const
void	recomputeInformation ()
Public Attributes
LiteralFactorization	literal_factors
Polynomial	p
Monomial	lm
wlen_type	weightedLength
len_type	length
deg_type	deg
deg_type	lmDeg
Exponent	lmExp
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

)

---

Member Function Documentation

deg_type polybori::groebner::PolyEntry::ecart

(

)

const [inline]

Referenced by polybori::groebner::GroebnerStrategy::propagate_step().

void polybori::groebner::PolyEntry::recomputeInformation

(

)

---

Member Data Documentation

deg_type polybori::groebner::PolyEntry::deg

Referenced by polybori::groebner::GroebnerStrategy::propagate_step(), and polybori::groebner::wlen_literal_exceptioned().

Monomial polybori::groebner::PolyEntry::gcdOfTerms

len_type polybori::groebner::PolyEntry::length

Referenced by polybori::groebner::GroebnerStrategy::propagate_step(), polybori::groebner::GroebnerStrategy::treat_m_p_1_case(), and polybori::groebner::wlen_literal_exceptioned().

LiteralFactorization polybori::groebner::PolyEntry::literal_factors

Referenced by polybori::groebner::GroebnerStrategy::treatVariablePairs().

Monomial polybori::groebner::PolyEntry::lm

Referenced by polybori::groebner::GroebnerStrategy::llReduceAll().

deg_type polybori::groebner::PolyEntry::lmDeg

Exponent polybori::groebner::PolyEntry::lmExp

Referenced by polybori::groebner::GroebnerStrategy::treatVariablePairs().

bool polybori::groebner::PolyEntry::minimal

Polynomial polybori::groebner::PolyEntry::p

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

Polynomial polybori::groebner::PolyEntry::tail

Exponent polybori::groebner::PolyEntry::tailVariables

Exponent polybori::groebner::PolyEntry::usedVariables

Referenced by 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 polybori::groebner::wlen_literal_exceptioned().

---

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

• pairs.h
• groebner_alg.cc