PolyBoRi
|
Public Member Functions | |
ShorterEliminationLengthModified (const GroebnerStrategy &strat, wlen_type el, deg_type lm_deg) | |
bool | operator() (const Exponent &e) |
Public Attributes | |
const GroebnerStrategy * | strat |
wlen_type | el |
deg_type | lm_deg |
|
inline |
|
inline |
References polybori::BooleExponent::deg(), el, lm_deg, and polybori::groebner::PolyEntry::weightedLength.
wlen_type polybori::groebner::ShorterEliminationLengthModified::el |
Referenced by operator()(), and ShorterEliminationLengthModified().
deg_type polybori::groebner::ShorterEliminationLengthModified::lm_deg |
Referenced by operator()(), and ShorterEliminationLengthModified().
const GroebnerStrategy* polybori::groebner::ShorterEliminationLengthModified::strat |
Referenced by ShorterEliminationLengthModified().