[chongli]

That's false. Z[n] in rings does not mean "an array of integers of length n", it means the subring generated by Z union with {n}, where n is an element of some other set. For example:

Z[i], the Gaussian integers, is the subring (of C) generated by Z union {i} where i is the imaginary unit in C, the complex numbers. The Gaussian integers correspond to the integer grid-points of the complex plane, if you want to visualize them.

[lanstin]

A formal polynomial over Z is an array of integers with addition and multiplication defined as in the spec above, derived from the ring operations and the normal rules of exponents of variables.

[reinitctxoffset]

Cher Monsieur Laurent, comment pourrions-nous espérer obtenir un soutien de la part de ℤ ⭢ ℤ? Les polynomials! Tout est grande!