PolyBoRi
|
This class defines ShorterEliminationLengthModified. More...
#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 |
This class defines ShorterEliminationLengthModified.
polybori::groebner::ShorterEliminationLengthModified::ShorterEliminationLengthModified | ( | const GroebnerStrategy & | strat, |
wlen_type | el, | ||
deg_type | lm_deg | ||
) | [inline] |
bool polybori::groebner::ShorterEliminationLengthModified::operator() | ( | const Exponent & | e | ) | [inline] |