One way to get many variables suitable for use as indeterminates in a polynomial ring is with the function vars. It converts a list or sequence of integers into symbols. It prefers to hand out symbols whose name consists of a single letter, but there are only 52 such symbols, so it also uses symbols such as x55 and X44.
i1 : vars (0 .. 9,40,100,-100) |
These variables can be used to make polynomial rings.
i2 : ZZ[vars(0 .. 10)] |