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

typedef Polynomial::const_iterator polybori::groebner::LexHelper::iterator_type

---

Member Function Documentation

static Polynomial::const_iterator polybori::groebner::LexHelper::begin

(

const Polynomial &

p

)

[inline, static]

References polybori::BoolePolynomial::begin().

static Polynomial::const_iterator polybori::groebner::LexHelper::end

(

const Polynomial &

p

)

[inline, static]

References polybori::BoolePolynomial::end().

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

References polybori::BooleMonomial::divisors(), polybori::CDDInterface< CuddLikeZDD >::emptiness(), polybori::BooleSet::expBegin(), polybori::BooleSet::expEnd(), and polybori::BooleSet::intersect().

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]

References polybori::groebner::nf3(), and polybori::groebner::nf3_no_deg_growth().

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

References polybori::term_accumulate().

---

Member Data Documentation

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

const bool polybori::groebner::LexHelper::isLexicographicalOrder = true [static]

---

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

• nf.cc