PolyBoRi
|
This class defines BlockOrderHelper. More...
#include <BlockOrderHelper.h>
Public Types | |
typedef Polynomial::ordered_iterator | iterator_type |
Static Public Member Functions | |
static bool | irreducible_lead (const Monomial &m, const ReductionStrategy &strat) |
static Polynomial::ordered_iterator | begin (const Polynomial &p) |
static Polynomial::ordered_iterator | end (const Polynomial &p) |
static Polynomial | nf (const ReductionStrategy &strat, const Polynomial &p, const Monomial &m) |
static bool | knowRestIsIrreducible (const iterator_type &it, const ReductionStrategy &strat) |
static Polynomial | sum_range (std::vector< Monomial > &vec, iterator_type it, iterator_type end, Polynomial init) |
Static Public Attributes | |
static const bool | isDegreeOrder =false |
static const bool | isLexicographicalOrder =false |
This class defines BlockOrderHelper.
|
inlinestatic |
References polybori::BoolePolynomial::orderedBegin().
|
inlinestatic |
References polybori::BoolePolynomial::orderedEnd().
|
inlinestatic |
References polybori::groebner::irreducible_lead().
|
inlinestatic |
|
inlinestatic |
References polybori::groebner::nf3().
|
inlinestatic |
References polybori::groebner::add_up_generic().
|
static |
|
static |