Eventually, this page will have to be dressed up with a formal definition of a polynomial expression: an element in the image of the evaluation homomorphism at $x$. --barto (talk) 07:11, 18 March 2017 (EDT)