mDegreeMonoid

const Monoid* Monoid::mDegreeMonoid

private

Definition at line 90 of file monoid.hpp.

Referenced by degree_monoid(), degree_of_expvector(), degree_of_varpower(), Monoid(), Monoid(), multi_degree(), set_degrees(), set_trivial_monoid_degree_ring(), and text_out().