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

This class defines ordering related functions. More...

#include <DegLexOrder.h>

Inheritance diagram for polybori::DegLexOrder:
polybori::COrderingFacade< DegLexOrder, dlex_tag >

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

Comparison of indices corresponding to variables.

References PBORI_TRACE_FUNC, and polybori::generic_compare_3way().

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

Comparison of monomials.

References PBORI_TRACE_FUNC, and polybori::deg_lex_compare().

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

Comparison of exponent vectors.

References PBORI_TRACE_FUNC, and polybori::deg_lex_compare().

DegLexOrder::monom_type polybori::DegLexOrder::lead ( const poly_type &  poly) const

Get leading term.

References PBORI_TRACE_FUNC.

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

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)

References PBORI_TRACE_FUNC, polybori::dd_cached_degree(), and polybori::dd_recursive_degree_lead().

DegLexOrder::exp_type polybori::DegLexOrder::leadExp ( const poly_type &  poly) const

Get leading exponent.

References PBORI_TRACE_FUNC.

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

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

Note:
See note of the bounded lead

References PBORI_TRACE_FUNC, polybori::dd_cached_degree(), and polybori::dd_recursive_degree_leadexp().


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