Definition at line 220 of file monoid.cpp.
References MonomialOrdering::array, getMonomialOrdering(), MO_WEIGHTS, n_vars(), and result().