PolyBoRi
Public Types | Public Member Functions
polybori::DegRevLexAscOrder Class Reference

This class defines ordering related functions. More...

#include <DegRevLexAscOrder.h>

Inheritance diagram for polybori::DegRevLexAscOrder:
polybori::COrderingFacade< DegRevLexAscOrder, dp_asc_tag > polybori::COrderingBase polybori::COrderingTags< dp_asc_tag > polybori::order_traits< dp_asc_tag > polybori::CAuxTypes polybori::CDegreeOrderingTags< dp_asc_tag, invalid_tag > polybori::COrderingTagsBase< dp_asc_tag, invalid_tag, valid_tag, invalid_tag, invalid_tag >

List of all members.

Public Types

typedef std::greater< idx_typeidx_comparer_type
 Define binary predicate for index comparision.

Public Member Functions

 DegRevLexAscOrder ()
 Default Constructor.
 DegRevLexAscOrder (const self &rhs)
 Copy Constructor.
 ~DegRevLexAscOrder ()
 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

Define binary predicate for index comparision.


Constructor & Destructor Documentation

Default Constructor.

Copy Constructor.

Destructor.


Member Function Documentation

Comparison of indices corresponding to variables.

Implements polybori::COrderingBase.

References polybori::generic_compare_3way(), and PBORI_TRACE_FUNC.

DegRevLexAscOrder::comp_type polybori::DegRevLexAscOrder::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.

DegRevLexAscOrder::comp_type polybori::DegRevLexAscOrder::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.

Get leading term.

Implements polybori::COrderingBase.

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

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

Note:
returns lead of the sub-polynomial of degree bound

Implements polybori::COrderingBase.

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

Get leading exponent.

Implements polybori::COrderingBase.

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

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: