|
PolyBoRi
|
This class defines ordering related functions. More...
#include <DegLexOrder.h>
Public Types | |
| enum | { order_code = CTypes::dlex, baseorder_code = order_code } |
| Get order code. More... | |
| typedef DegLexOrder | self |
| generic access to current type | |
| typedef std::less< idx_type > | idx_comparer_type |
| Define binary predicate for index comparision. | |
define generic property markers | |
| typedef valid_tag | symmetry_property |
| typedef valid_tag | degorder_property |
| typedef valid_tag | totaldegorder_property |
| typedef valid_tag | descending_property |
| typedef dlex_tag | order_tag |
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, size_type) const |
| Get leading term (using upper bound) | |
| exp_type | leadExp (const poly_type &) const |
| Get leading exponent. | |
| exp_type | leadExp (const poly_type &, size_type) const |
| Get leading exponent (using an upper bound) | |
| indirect_iterator | leadIteratorBegin (const poly_type &) const |
| Initialize iterator corresponding to leading term. | |
| indirect_iterator | leadIteratorEnd () const |
| indirect_exp_iterator | leadExpIteratorBegin (const poly_type &) const |
| indirect_exp_iterator | leadExpIteratorEnd () const |
This class defines ordering related functions.
| typedef valid_tag polybori::DegLexOrder::degorder_property |
| typedef valid_tag polybori::DegLexOrder::descending_property |
| typedef std::less<idx_type> polybori::DegLexOrder::idx_comparer_type |
Define binary predicate for index comparision.
generic access to current type
| typedef valid_tag polybori::DegLexOrder::symmetry_property |
| typedef valid_tag polybori::DegLexOrder::totaldegorder_property |
| polybori::DegLexOrder::DegLexOrder | ( | ) | [inline] |
Default Constructor.
| polybori::DegLexOrder::DegLexOrder | ( | const self & | rhs | ) | [inline] |
Copy Constructor.
| polybori::DegLexOrder::~DegLexOrder | ( | ) | [inline] |
Destructor.
| DegLexOrder::comp_type polybori::DegLexOrder::compare | ( | idx_type | lhs, |
| idx_type | rhs | ||
| ) | const |
Comparison of indices corresponding to variables.
References polybori::generic_compare_3way(), and PBORI_TRACE_FUNC.
| DegLexOrder::comp_type polybori::DegLexOrder::compare | ( | const monom_type & | lhs, |
| const monom_type & | rhs | ||
| ) | const |
Comparison of monomials.
References polybori::deg_lex_compare(), and PBORI_TRACE_FUNC.
| DegLexOrder::comp_type polybori::DegLexOrder::compare | ( | const exp_type & | lhs, |
| const exp_type & | rhs | ||
| ) | const |
Comparison of exponent vectors.
References polybori::deg_lex_compare(), and PBORI_TRACE_FUNC.
| DegLexOrder::monom_type polybori::DegLexOrder::lead | ( | const poly_type & | poly | ) | const |
Get leading term.
References polybori::dd_recursive_degree_lead(), and PBORI_TRACE_FUNC.
| DegLexOrder::monom_type polybori::DegLexOrder::lead | ( | const poly_type & | poly, |
| size_type | bound | ||
| ) | const |
Get leading term (using upper bound)
References polybori::dd_cached_degree(), polybori::dd_recursive_degree_lead(), and PBORI_TRACE_FUNC.
| DegLexOrder::exp_type polybori::DegLexOrder::leadExp | ( | const poly_type & | poly | ) | const |
Get leading exponent.
References polybori::dd_recursive_degree_leadexp(), and PBORI_TRACE_FUNC.
| DegLexOrder::exp_type polybori::DegLexOrder::leadExp | ( | const poly_type & | poly, |
| size_type | bound | ||
| ) | const |
Get leading exponent (using an upper bound)
References polybori::dd_cached_degree(), polybori::dd_recursive_degree_leadexp(), and PBORI_TRACE_FUNC.
| DegLexOrder::indirect_exp_iterator polybori::DegLexOrder::leadExpIteratorBegin | ( | const poly_type & | poly | ) | const |
References PBORI_TRACE_FUNC.
| DegLexOrder::indirect_exp_iterator polybori::DegLexOrder::leadExpIteratorEnd | ( | ) | const |
References PBORI_TRACE_FUNC.
| DegLexOrder::indirect_iterator polybori::DegLexOrder::leadIteratorBegin | ( | const poly_type & | poly | ) | const |
Initialize iterator corresponding to leading term.
References PBORI_TRACE_FUNC.
| DegLexOrder::indirect_iterator polybori::DegLexOrder::leadIteratorEnd | ( | ) | const |
References PBORI_TRACE_FUNC.
1.7.6.1