Developer documentation

Monomial ordering

Different ordering on monomials are available. They derived from the virtual class MonomialOrdering. These classes implement the function:

bool less(const int *m1, int s1, const int *m2, int s2) const =0;

where

  • m1, m2 are the arrays of int exponents,
  • s1, s2 their size.

It should return true iff $m_1< m_2$.

Available ordering
See:
Monomials, monomial_ordering.hpp, mmx::DegRevLex, mmx::Lex
Home