Definition:Polynomial Ring in Multiple Variables