quotient_as_vp()

void ResMonoidDense::quotient_as_vp ( res_const_packed_monomial a, res_const_packed_monomial b, res_varpower_monomial result ) const

inline

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

  {
    // sets result
    ncalls_quotient_as_vp++;
    a += firstvar;
    b += firstvar;
    int len = 0;
    res_varpower_word* r = result + 1;
    for (int i = nvars - 1; i >= 0; --i)
      {
        res_varpower_word c = a[i] - b[i];
        if (c > 0)
          {
            *r++ = i;
            *r++ = c;
            len++;
          }
      }
    result[0] = len;
  }

References firstvar, ncalls_quotient_as_vp, nvars, and result().

Referenced by SchreyerFrame::createQuotientElement().