Multivariate polynomial ring