#include <pairs.h>
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 |
PolyEntry::PolyEntry | ( | const Polynomial & | p | ) |
References deg, length, lmDeg, lmExp, usedVariables, and weightedLength.
deg_type PolyEntry::ecart | ( | ) | const [inline] |
Referenced by should_propagate().
void PolyEntry::recomputeInformation | ( | ) |
References deg, length, literal_factors, lmDeg, BooleEnv::ordering(), p, usedVariables, and weightedLength.
Referenced by ecart(), PolyEntry(), recomputeInformation(), should_propagate(), and polybori::groebner::wlen_literal_exceptioned().
Referenced by recomputeInformation().
Referenced by ecart(), PolyEntry(), and recomputeInformation().
Referenced by PolyEntry(), and polybori::groebner::reduce_complete().
bool PolyEntry::minimal |
Referenced by recomputeInformation(), and polybori::groebner::reduce_complete().
Referenced by PolyEntry(), and recomputeInformation().
std::set<idx_type> PolyEntry::vPairCalculated |
set of variables with which pair was calculated
Referenced by PolyEntry(), recomputeInformation(), and polybori::groebner::wlen_literal_exceptioned().