| 
    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));
  }