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

PolyEntry::PolyEntry

(

const Polynomial &

p

)

References deg, length, lmDeg, lmExp, usedVariables, and weightedLength.

---

Member Function Documentation

deg_type PolyEntry::ecart

(

)

const [inline]

References deg, and lmDeg.

Referenced by should_propagate().

void PolyEntry::recomputeInformation

(

)

References deg, length, literal_factors, lmDeg, BooleEnv::ordering(), p, usedVariables, and weightedLength.

---

Member Data Documentation

deg_type PolyEntry::deg

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

Monomial PolyEntry::gcdOfTerms

len_type PolyEntry::length

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

LiteralFactorization PolyEntry::literal_factors

Referenced by recomputeInformation().

Monomial PolyEntry::lm

deg_type PolyEntry::lmDeg

Referenced by ecart(), PolyEntry(), and recomputeInformation().

Exponent PolyEntry::lmExp

Referenced by PolyEntry(), and polybori::groebner::reduce_complete().

bool PolyEntry::minimal

Polynomial PolyEntry::p

Referenced by recomputeInformation(), and polybori::groebner::reduce_complete().

Polynomial PolyEntry::tail

Exponent PolyEntry::tailVariables

Exponent PolyEntry::usedVariables

Referenced by PolyEntry(), and recomputeInformation().

std::set<idx_type> PolyEntry::vPairCalculated

set of variables with which pair was calculated

wlen_type PolyEntry::weightedLength

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

---

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

• pairs.h
• groebner_alg.cc