polybori::DegLexOrder Class Reference

This class defines ordering related functions. More...

#include <DegLexOrder.h>

Inheritance diagram for polybori::DegLexOrder:

List of all members.

Public Types
typedef std::less< idx_type >	idx_comparer_type
	Define binary predicate for index comparision.
Public Member Functions
	DegLexOrder ()
	Default Constructor.
	DegLexOrder (const self &rhs)
	Copy Constructor.
	~DegLexOrder ()
	Destructor.
comp_type	compare (idx_type, idx_type) const
	Comparison of indices corresponding to variables.
comp_type	compare (const monom_type &, const monom_type &) const
	Comparison of monomials.
comp_type	compare (const exp_type &, const exp_type &) const
	Comparison of exponent vectors.
monom_type	lead (const poly_type &) const
	Get leading term.
monom_type	lead (const poly_type &poly, deg_type bound) const
exp_type	leadExp (const poly_type &) const
	Get leading exponent.
exp_type	leadExp (const poly_type &, deg_type) const

---

Detailed Description

This class defines ordering related functions.

---

Member Typedef Documentation

typedef std::less<idx_type> polybori::DegLexOrder::idx_comparer_type

Define binary predicate for index comparision.

---

Constructor & Destructor Documentation

polybori::DegLexOrder::DegLexOrder

(

)

[inline]

Default Constructor.

polybori::DegLexOrder::DegLexOrder

(

const self &

rhs

)

[inline]

Copy Constructor.

polybori::DegLexOrder::~DegLexOrder

(

)

[inline]

Destructor.

---

Member Function Documentation

DegLexOrder::comp_type polybori::DegLexOrder::compare	(	idx_type	lhs,
		idx_type	rhs
	)			const [virtual]

Comparison of indices corresponding to variables.

Implements polybori::COrderingBase.

References polybori::generic_compare_3way(), and PBORI_TRACE_FUNC.

DegLexOrder::comp_type polybori::DegLexOrder::compare	(	const monom_type &	lhs,
		const monom_type &	rhs
	)			const [virtual]

Comparison of monomials.

Implements polybori::COrderingBase.

References polybori::deg_lex_compare(), and PBORI_TRACE_FUNC.

DegLexOrder::comp_type polybori::DegLexOrder::compare	(	const exp_type &	lhs,
		const exp_type &	rhs
	)			const [virtual]

Comparison of exponent vectors.

Implements polybori::COrderingBase.

References polybori::deg_lex_compare(), and PBORI_TRACE_FUNC.

DegLexOrder::monom_type polybori::DegLexOrder::lead

(

const poly_type &

poly

)

const [virtual]

Get leading term.

Implements polybori::COrderingBase.

References polybori::BoolePolynomial::deg(), and PBORI_TRACE_FUNC.

DegLexOrder::monom_type polybori::DegLexOrder::lead	(	const poly_type &	poly,
		deg_type	bound
	)			const [virtual]

Get leading term (using upper bound of the polynomial degree)

Note:

returns lead of the sub-polynomial of degree bound

Todo:

: more accurate explanation (comments)

Implements polybori::COrderingBase.

References polybori::dd_cached_degree(), polybori::dd_recursive_degree_lead(), polybori::COrderingBase::monom(), polybori::BoolePolynomial::navigation(), PBORI_TRACE_FUNC, and polybori::BoolePolynomial::ring().

DegLexOrder::exp_type polybori::DegLexOrder::leadExp

(

const poly_type &

poly

)

const [virtual]

Get leading exponent.

Implements polybori::COrderingBase.

References polybori::BoolePolynomial::deg(), and PBORI_TRACE_FUNC.

DegLexOrder::exp_type polybori::DegLexOrder::leadExp	(	const poly_type &	poly,
		deg_type	bound
	)			const [virtual]

Get leading exponent (using an upper bound of the polynomial degree)

Note:

See note of the bounded lead

Implements polybori::COrderingBase.

References polybori::dd_cached_degree(), polybori::dd_recursive_degree_leadexp(), polybori::BoolePolynomial::navigation(), PBORI_TRACE_FUNC, polybori::BooleExponent::reserve(), and polybori::BoolePolynomial::ring().

---

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

• DegLexOrder.h
• DegLexOrder.cc