Generally given a polynomial in R[x], you want to be able to evaluate it not just when x is in R, but when it's in any R-algebra. So we wouldn't automatically i

Generally given a polynomial in R[x], you want to be able to evaluate it not just when x is in R, but when it's in any R-algebra. So we wouldn't automatically identify x^2 and x.