polybori::groebner::LexHelper Class Reference

List of all members.

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


Member Typedef Documentation


Member Function Documentation

static Polynomial::const_iterator polybori::groebner::LexHelper::begin ( const Polynomial p  )  [inline, static]

static Polynomial::const_iterator polybori::groebner::LexHelper::end ( const Polynomial p  )  [inline, static]

static bool polybori::groebner::LexHelper::irreducible_lead ( const Monomial m,
const GroebnerStrategy strat 
) [inline, static]

static bool polybori::groebner::LexHelper::knowRestIsIrreducible ( const iterator_type it,
const GroebnerStrategy strat 
) [inline, static]

static Polynomial polybori::groebner::LexHelper::nf ( const GroebnerStrategy strat,
const Polynomial p,
const Monomial m 
) [inline, static]

static Polynomial polybori::groebner::LexHelper::sum_range ( std::vector< Monomial > &  vec,
const iterator_type it,
const iterator_type end,
Polynomial  init 
) [inline, static]


Member Data Documentation

const bool polybori::groebner::LexHelper::isDegreeOrder = false [static]


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

Generated on Fri Apr 3 20:47:43 2009 for PolyBoRi by  doxygen 1.5.8