Public Types | |
typedef Polynomial::const_iterator | iterator_type |
Static Public Member Functions | |
static bool | irreducible_lead (const Monomial &m, const GroebnerStrategy &strat) |
static Polynomial::const_iterator | begin (const Polynomial &p) |
static Polynomial::const_iterator | end (const Polynomial &p) |
static Polynomial | nf (const GroebnerStrategy &strat, const Polynomial &p, const Monomial &m) |
static bool | knowRestIsIrreducible (const iterator_type &it, const GroebnerStrategy &strat) |
static Polynomial | sum_range (std::vector< Monomial > &vec, const iterator_type &it, const iterator_type &end, Polynomial init) |
Static Public Attributes | |
static const bool | isDegreeOrder = false |
static const bool | isLexicographicalOrder = true |
typedef Polynomial::const_iterator LexHelper::iterator_type |
static Polynomial::const_iterator LexHelper::begin | ( | const Polynomial & | p | ) | [inline, static] |
static Polynomial::const_iterator LexHelper::end | ( | const Polynomial & | p | ) | [inline, static] |
static bool LexHelper::irreducible_lead | ( | const Monomial & | m, | |
const GroebnerStrategy & | strat | |||
) | [inline, static] |
References CDDInterface< CuddLikeZDD >::emptiness(), BooleSet::expBegin(), and BooleSet::expEnd().
Referenced by select_no_deg_growth().
static bool LexHelper::knowRestIsIrreducible | ( | const iterator_type & | it, | |
const GroebnerStrategy & | strat | |||
) | [inline, static] |
static Polynomial LexHelper::nf | ( | const GroebnerStrategy & | strat, | |
const Polynomial & | p, | |||
const Monomial & | m | |||
) | [inline, static] |
References nf3(), and nf3_no_deg_growth().
static Polynomial LexHelper::sum_range | ( | std::vector< Monomial > & | vec, | |
const iterator_type & | it, | |||
const iterator_type & | end, | |||
Polynomial | init | |||
) | [inline, static] |
References term_accumulate().
const bool LexHelper::isDegreeOrder = false [static] |
const bool LexHelper::isLexicographicalOrder = true [static] |