unnecessary()

bool MonomialInfo::unnecessary ( const_packed_monomial m, const_packed_monomial p1, const_packed_monomial p2, const_packed_monomial lcm ) const

inline

Definition at line 616 of file moninfo.hpp.

  {
    // TODO: MES: this maybe should check that lead components of m and p1 and
    // p2 are the same...
    ncalls_unneccesary++;
    bool A = false;
    m += firstvar;
    p1 += firstvar;
    p2 += firstvar;
    lcm += firstvar;
    for (int i = 0; i < nvars; i++)
      if (m[i] > lcm[i]) return false;
 
    for (int i = 0; i < nvars; i++)
      {
        varpower_word a = lcm[i];
        if (p1[i] < a && m[i] < a)
          {
            A = true;
            break;
          }
      }
 
    if (!A) return false;
 
    // Now (b), (A) hold.  Check (B).
    for (int i = 0; i < nvars; i++)
      {
        varpower_word a = lcm[i];
        if (p2[i] < a && m[i] < a) return true;
      }
 
    return false;
  }

References firstvar, ncalls_unneccesary, nvars, and p1.