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