el | polybori::groebner::ShorterEliminationLengthModified | |
lm_deg | polybori::groebner::ShorterEliminationLengthModified | |
operator()(const Exponent &e) | polybori::groebner::ShorterEliminationLengthModified | [inline] |
ShorterEliminationLengthModified(const GroebnerStrategy &strat, wlen_type el, deg_type lm_deg) | polybori::groebner::ShorterEliminationLengthModified | [inline] |
strat | polybori::groebner::ShorterEliminationLengthModified |