divide()

bool MonomialInfo::divide ( const_packed_monomial m, const_packed_monomial n, packed_monomial result ) const

inline

Definition at line 380 of file moninfo.hpp.

  {
    ncalls_divide++;
    // First, divide monomials
    // Then, if the division is OK, set the component, hash value and rest of
    // the monomial
    if (m[1] != n[1])  // components are not equal
      return false;
    const_packed_monomial m1 = m + nslots;
    const_packed_monomial n1 = n + nslots;
    packed_monomial result1 = result + nslots;
    for (int i = nslots - 2; i > 0; i--)
      {
        varpower_word cmp = *--m1 - *--n1;
        if (cmp < 0) return false;
        *--result1 = cmp;
      }
    result[1] = 0;  // the component of a division is in the ring (comp 0).
    result[0] = m[0] - n[0];  // subtract hash codes
    return true;
  }

References ncalls_divide, nslots, and result().