#include <ShorterEliminationLengthModified.h>
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 |
| polybori::groebner::ShorterEliminationLengthModified::ShorterEliminationLengthModified | ( | const GroebnerStrategy & | strat, | |
| wlen_type | el, | |||
| deg_type | lm_deg | |||
| ) | [inline] |
| bool polybori::groebner::ShorterEliminationLengthModified::operator() | ( | const Exponent & | e | ) | [inline] |
References polybori::BooleExponent::deg(), and PBORI_ASSERT.
1.5.6