poly_set_degrees()

void F4GB::poly_set_degrees ( const GBF4Polynomial & f, int & deg_result, int & alpha ) const

private

Definition at line 121 of file f4.cpp.

{
  const monomial_word *w = f.monoms;
  monomial_word leaddeg = mMonomialInfo->monomial_heft(w);
  monomial_word deg = leaddeg;
 
  for (int i = 1; i < f.len; i++)
    {
      w = w + mMonomialInfo->monomial_size(w);
      monomial_word degi = mMonomialInfo->monomial_heft(w);
      if (degi > deg) deg = degi;
    }
  alpha = static_cast<int>(deg - leaddeg);
  deg_result = static_cast<int>(deg);
}

References GBF4Polynomial::len, mMonomialInfo, and GBF4Polynomial::monoms.

Referenced by new_generators().