mo_

const MonomialOrdering* Monoid::mo_

private

the monomial ordering of the variables

Definition at line 94 of file monoid.hpp.

Referenced by getMonomialOrdering(), Monoid(), Monoid(), and text_out().