Definition at line 605 of file monomial-ordering.cpp.
References make_mon_order(), mo_make(), MO_WEIGHTS, p, result(), and mon_part::wts.