#include <pairs.h>
Constructor & Destructor Documentation
polybori::groebner::PolyEntry::PolyEntry |
( |
const Polynomial & |
p | ) |
|
References polybori::BoolePolynomial::boundedLead(), deg, polybori::BooleExponent::deg(), polybori::BoolePolynomial::deg(), polybori::BoolePolynomial::eliminationLengthWithDegBound(), polybori::BooleMonomial::exp(), length, polybori::BoolePolynomial::length(), lm, lmDeg, lmExp, minimal, p, tail, tailVariables, usedVariables, polybori::BoolePolynomial::usedVariablesExp(), and weightedLength.
Member Function Documentation
deg_type polybori::groebner::PolyEntry::ecart |
( |
| ) |
const |
|
inline |
void polybori::groebner::PolyEntry::recomputeInformation |
( |
| ) |
|
References deg, polybori::BoolePolynomial::deg(), polybori::BoolePolynomial::eliminationLengthWithDegBound(), polybori::BoolePolynomial::lead(), length, polybori::BoolePolynomial::length(), literal_factors, lm, lmDeg, polybori::BoolePolynomial::lmDeg(), polybori::BooleEnv::ordering(), p, tail, tailVariables, usedVariables, polybori::BoolePolynomial::usedVariablesExp(), and weightedLength.
Member Data Documentation
deg_type polybori::groebner::PolyEntry::deg |
Monomial polybori::groebner::PolyEntry::gcdOfTerms |
len_type polybori::groebner::PolyEntry::length |
Monomial polybori::groebner::PolyEntry::lm |
deg_type polybori::groebner::PolyEntry::lmDeg |
Exponent polybori::groebner::PolyEntry::lmExp |
bool polybori::groebner::PolyEntry::minimal |
Exponent polybori::groebner::PolyEntry::tailVariables |
Exponent polybori::groebner::PolyEntry::usedVariables |
std::set<idx_type> polybori::groebner::PolyEntry::vPairCalculated |
set of variables with which pair was calculated
wlen_type polybori::groebner::PolyEntry::weightedLength |
The documentation for this class was generated from the following files: