Vlex Struct Reference

List of all members.

Detailed Description

Class defining the following order on the monomials $m_{1}$ and $m_{2}$; $m_{1} < m_{2}$ if either the degree of $degree(m_{1})>degree(m_{2})$ or $degree(m_{1})= degree(m_{2})$, or they are equal and $m_{1}$ is greater for the inverse lexicopgraphic ordering. In a sequence of decreasing monomial for this order, the degree are increasing.

Definition at line 24 of file Vlex.h.

Public Member Functions

template<class M>
bool operator() (const M &m1, const M &m2) const

Static Public Member Functions

template<class M>
static bool less (const M &, const M &)

The documentation for this struct was generated from the following file: