PolyBoRi
|
This class defines PolyEntry. More...
#include <PolyEntry.h>
Public Member Functions | |
PolyEntry (const Polynomial &p) | |
bool | operator== (const self &other) const |
self & | operator= (const self &rhs) |
self & | operator= (const Polynomial &rhs) |
deg_type | ecart () const |
void | recomputeInformation () |
void | markVariablePairsCalculated () |
bool | propagatableBy (const PolyEntry &other) const |
bool | isSingleton () const |
![]() | |
PolyEntryBase (const Polynomial &poly) | |
Additional Inherited Members | |
![]() | |
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 |
bool | minimal |
std::set< idx_type > | vPairCalculated |
set of variables with which pair was calculated More... | |
This class defines PolyEntry.
|
inline |
|
inline |
Referenced by polybori::groebner::should_propagate().
|
inline |
Referenced by polybori::groebner::IsVariableOfIndex::operator()().
|
inline |
|
inline |
|
inline |
|
inline |
void polybori::groebner::PolyEntry::recomputeInformation | ( | ) |
References PBORI_ASSERT.