unnecessary1()

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

inline

Definition at line 574 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;
    bool B = false;
    m += firstvar;
    p1 += firstvar;
    p2 += firstvar;
    lcm += firstvar;
    for (int i = 0; i < nvars; i++)
      {
        if (m[i] > lcm[i]) return false;
        if (m[i] == lcm[i]) continue;
        if (!A && p1[i] < lcm[i])
          {
            A = true;
            continue;
          }
        if (!B && p2[i] < lcm[i])
          {
            B = true;
          }
      }
    return (A && B);
  }

References firstvar, ncalls_unneccesary, nvars, and p1.