#include <pairs.h>
Public Member Functions | |
PolyEntry (const Polynomial &p) | |
PolyEntry () | |
bool | operator== (const PolyEntry &other) const |
deg_type | ecart () const |
void | recomputeInformation () |
Public Attributes | |
LiteralFactorization | literal_factors |
Polynomial | p |
Monomial | lead |
wlen_type | weightedLength |
len_type | length |
deg_type | deg |
deg_type | leadDeg |
Exponent | leadExp |
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 | ) |
polybori::groebner::PolyEntry::PolyEntry | ( | ) | [inline] |
deg_type polybori::groebner::PolyEntry::ecart | ( | ) | const [inline] |
Referenced by polybori::groebner::GroebnerStrategy::propagate_step().
bool polybori::groebner::PolyEntry::operator== | ( | const PolyEntry & | other | ) | const [inline] |
References p.
void polybori::groebner::PolyEntry::recomputeInformation | ( | ) |
Referenced by polybori::groebner::GroebnerStrategy::llReduceAll().
Referenced by polybori::groebner::GroebnerStrategy::treatVariablePairs().
Referenced by polybori::groebner::GroebnerStrategy::treatVariablePairs().
Referenced by polybori::groebner::GroebnerStrategy::treatVariablePairs().
set of variables with which pair was calculated
Referenced by polybori::groebner::wlen_literal_exceptioned().