monomial comparison for both rings