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 LexHelper::iterator_type

---

Member Function Documentation

static Polynomial::const_iterator LexHelper::begin

(

const Polynomial &

p

)

[inline, static]

static Polynomial::const_iterator LexHelper::end

(

const Polynomial &

p

)

[inline, static]

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

References CDDInterface< CuddLikeZDD >::emptiness(), BooleSet::expBegin(), and BooleSet::expEnd().

Referenced by select_no_deg_growth().

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

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

References nf3(), and nf3_no_deg_growth().

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

References term_accumulate().

---

Member Data Documentation

const bool LexHelper::isDegreeOrder = false [static]

const bool LexHelper::isLexicographicalOrder = true [static]

---

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

• nf.cc