Definition:Polynomial Ring