compare_schreyer()

int ResMonoidDense::compare_schreyer ( res_const_packed_monomial m, res_const_packed_monomial n, res_const_packed_monomial m0, res_const_packed_monomial n0, component_index tie1, component_index tie2 ) const

inline

Definition at line 390 of file res-moninfo-dense.hpp.

  {
    ncalls_compare++;
#if 0
    printf("compare_schreyer: ");
    printf("  m=");
    showAlpha(m);
    printf("  n=");    
    showAlpha(n);
    printf("  m0=");    
    showAlpha(m0);
    printf("  n0=");    
    showAlpha(n0);
    printf("  tiebreakers: %d %d\n", tie1, tie2);
#endif
    res_const_packed_monomial m1 = m + nslots;
    res_const_packed_monomial n1 = n + nslots;
    res_const_packed_monomial m2 = m0 + nslots;
    res_const_packed_monomial n2 = n0 + nslots;
    for (int i = nslots - 2; i > 0; i--)
      {
        res_varpower_word cmp = *--m1 - *--n1 + *--m2 - *--n2;
        if (cmp < 0) return -1;
        if (cmp > 0) return 1;
      }
    res_monomial_word cmp = tie1 - tie2;
    if (cmp < 0) return 1;
    if (cmp > 0) return -1;
    return 0;
  }

References ncalls_compare, nslots, and showAlpha().