realroot_doc 0.1.1
|
Lexicographic monomial ordering. More...
#include <monomial_ordering.hpp>
Lexicographic monomial ordering.
Definition at line 46 of file monomial_ordering.hpp.
bool less | ( | const int * | m1, |
int | s1, | ||
const int * | m2, | ||
int | s2 | ||
) | const [virtual] |
Implements MonomialOrdering.
Definition at line 61 of file monomial_ordering.cpp.
{ int i = 0; for(i=0; i< (n1>n2?n1:n2) && (i<n1?m1[i]:0) == (i<n2?m2[i]:0); i++); return ((i<n1?m1[i]:0)< (i<n2?m2[i]:0)); }