Definition:Polynomial Ring in One Variable