polynomial-algebra-0.1: Multivariate polynomial rings