Definition at line 412 of file monoid.cpp.
416{
418 while (1)
419 {
420 if (i == 0) break;
421 if (*m > *n)
return GT;
422 if (*m < *n)
return LT;
423 m++, n++;
424 --i;
425 }
427 {
428 if (mcomp < ncomp)
return LT;
429 if (mcomp > ncomp)
return GT;
430 }
431 else
432 {
433 if (mcomp < ncomp)
return GT;
434 if (mcomp > ncomp)
return LT;
435 }
437 while (1)
438 {
439 if (i == 0) break;
440 if (*m > *n)
return GT;
441 if (*m < *n)
return LT;
442 m++, n++;
443 --i;
444 }
446}
bool component_up_
indicates whether free module components are ordered lexicographically
int n_before_component_
indicates where the free module components are in the monomial order
References component_up_, EQ, GT, LT, n_after_component_, and n_before_component_.