range_dominating_monomials function working