Definition:Polynomial Ring in one Indeterminate