IndexedVariable

IndexedVariable -- the class of all indexed variables.

Indexed variables provide the possibility of producing polynomial rings R[x_0, x_1, ..., x_(n-1)] in n variables, where n is not known in advance. If x is an symbol, and i is an integer, then x_i produces an indexed variable. (What actually happens is a hash table been assigned to the as the value of the symbol x. After this has been done, an assignment x#i=v will assign a value to it. A new sequence of indexed variables of length n assigned to the symbol x can be produced with x_1 .. x_n and that sequence can be used in constructing a polynomial ring.

i1 : ZZ/101[t_0 .. t_4]



      ZZ

o1 = ---[t ,t ,t ,t ,t ]

     101  0  1  2  3  4



o1 : PolynomialRing

i2 : (t_0 -  2*t_1)^3



      3      2           2      3

o2 = t  - 6*t t  + 12*t t  - 8*t 

      0      0 1       0 1      1



      ZZ

o2 : ---[t ,t ,t ,t ,t ]

     101  0  1  2  3  4