PolyBoRi
Public Types | Static Public Member Functions | Static Public Attributes
polybori::groebner::DegOrderHelper Class Reference

List of all members.

Public Types

typedef
Polynomial::ordered_iterator 
iterator_type

Static Public Member Functions

static bool irreducible_lead (const Monomial &m, const GroebnerStrategy &strat)
static Polynomial::ordered_iterator begin (const Polynomial &p)
static Polynomial::ordered_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, iterator_type it, iterator_type end, Polynomial init)

Static Public Attributes

static const bool isDegreeOrder = true
static const bool isLexicographicalOrder = false

Member Typedef Documentation


Member Function Documentation

static bool polybori::groebner::DegOrderHelper::irreducible_lead ( const Monomial m,
const GroebnerStrategy &  strat 
) [inline, static]
static bool polybori::groebner::DegOrderHelper::knowRestIsIrreducible ( const iterator_type it,
const GroebnerStrategy &  strat 
) [inline, static]
static Polynomial polybori::groebner::DegOrderHelper::nf ( const GroebnerStrategy &  strat,
const Polynomial p,
const Monomial m 
) [inline, static]
static Polynomial polybori::groebner::DegOrderHelper::sum_range ( std::vector< Monomial > &  vec,
iterator_type  it,
iterator_type  end,
Polynomial  init 
) [inline, static]

Member Data Documentation


The documentation for this class was generated from the following file: