IndexedVariable -- the class of all indexed variables

IndexedVariable -- the class of all indexed variables

The type IndexedVariable is a member of the class Type. Each object of class IndexedVariable is called an indexed variable. Each indexed variable is also a member of class BasicList.

More general types (whose methods may also apply) :

BasicList -- the class of all basic lists

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  - 6t t  + 12t t  - 8t

      0     0 1      0 1     1



      ZZ

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

     101   0   1   2   3   4

See also:

IndexedVariableTable -- the class of indexed variable tables

Functions and methods returning a an indexed variable :

IndexedVariableTable _ Thing

Symbol _ Thing

Methods for using an indexed variable :

assign(IndexedVariable,Thing)

baseName IndexedVariable

expression IndexedVariable

IndexedVariable .. IndexedVariable

IndexedVariable ? IndexedVariable

IndexedVariable _ GeneralOrderedMonoid

IndexedVariable _ Ring -- generator of a ring with a given name

net IndexedVariable

Symbol ? IndexedVariable

toString IndexedVariable

vars IndexedVariable