Definition at line 251 of file monoid.hpp.
252 {
254 if (i == 0)
return EQ;
255 while (1)
256 {
257 if (*m > *n)
return GT;
258 if (*m < *n)
return LT;
259 if (--i == 0)
return EQ;
260 m++, n++;
261 }
262 }
int monomial_size_
size of an encoded monomial
References EQ, GT, LT, and monomial_size_.