degree_of_vp()

int ResMonoidDense::degree_of_vp ( res_const_varpower_monomial a ) const

inline

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

  {
    return static_cast<int>(res_varpower_monomials::weight(a, mVarDegrees));
  }

References mVarDegrees, and ExponentList< myword, false >::weight().

Referenced by SchreyerFrame::computeIdealQuotient(), and SchreyerFrame::createQuotientElement().