[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.