PolyBoRi
|
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 |
|
inlinestatic |
References polybori::BoolePolynomial::begin().
|
inlinestatic |
References polybori::BoolePolynomial::end().
|
inlinestatic |
References polybori::BooleMonomial::divisors(), polybori::CDDInterface< CuddLikeZDD >::emptiness(), polybori::BooleSet::expBegin(), polybori::BooleSet::expEnd(), polybori::BooleSet::intersect(), polybori::groebner::GroebnerStrategy::leadingTerms, and polybori::groebner::GroebnerStrategy::optRedTailDegGrowth.
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
References polybori::term_accumulate().
|
static |
|
static |