index

index v -- yields the numeric index of the variable 'v' in its ring. Variables are indexed starting at 0, and ending at n-1, where n is the number of variables in the ring of 'v'. 

     i1 = R = ZZ/101[a..d,t]
     
     o1 = R
     
     o1 : PolynomialRing
     
     i2 = index a
     
     o2 = 0
     
     i3 = index t
     
     o3 = 4
If the ring element 'v' is not a variable, an error is generated.

The symbol index is also as a key used in GeneralOrderedMonoids to store a table which is used to map generator names to the position of the generator in the list of generators.

Go to concepts index.