tuned up quotient ring multiplication