SQVlex 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 maximal of the degrees of each variable is strictly greater in $m_{1}$ than in $m_{2}$, or they are equal and $m_{1}$ is greater for the inverse lexicopgraphic ordering refined by the degree.

Definition at line 22 of file SQVlex.h.

Public Member Functions

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

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: