|
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().
1.8.1.2