primary_degree_of_vars()

const std::vector< int > & Monoid::primary_degree_of_vars ( ) const

inline

Definition at line 178 of file monoid.hpp.

{ return mHeftDegrees; }

References mHeftDegrees.

Referenced by getPrimaryDegreeVector(), and primary_degree().