#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 |
polybori::groebner::PolyEntry::PolyEntry | ( | const Polynomial & | p | ) |
deg_type polybori::groebner::PolyEntry::ecart | ( | ) | const [inline] |
void polybori::groebner::PolyEntry::recomputeInformation | ( | ) |
set of variables with which pair was calculated