multivariate polynomial ring