Dlex.hpp

Go to the documentation of this file.

/*********************************************************************
*      This file is part of the source code of BORDERBASIX software. *
*      (C) B. Mourrain,  INRIA                                       *
**********************************************************************
History: 
$Id: Dlex.hpp,v 1.1.1.1 2006/10/06 08:01:40 trebuche Exp $
**********************************************************************/
#ifndef _Dlex_H_
#define _Dlex_H_

template <class M> struct Dlex 
{
  static bool less (const M &, const M &);
  bool operator() (const M &, const M &);
};
 
template <class M>
bool
Dlex<M>::less (const M & m1, const M & m2) {
   int n1 = m1.Lvar(), n2 =m2.Lvar();
   if(n1 <0 && n2>0) return false;
   if(n2 <0 && n1>0) return true;
   if (Degree(m1) < Degree(m2) ) return false;
   else if (Degree(m1) > Degree(m2)) return true;
   else {
     int n = std::max(n1,n2);
     int i = std::max(n,0);
     while(i>=0 && m1[i] == m2[i]) i--;
     if(i <0) return false;
     else
       return (m1[i]> m2[i]);
   }
}

template <class M>
bool
Dlex<M>::operator() (const M & m1, const M & m2) {
    return less(m1,m2);
}

template <class T1,class T2>
bool
operator< (const Monom<T1,T2> & m1, const Monom<T1,T2> & m2) {
    return Dlex<Monom<T1,T2> >::less(m1,m2);
}

#endif // //_Dlex_H_