R_"x"

R_"x" -- produce the indeterminate of the polynomial ring R whose name is x. 

     i1 = R = ZZ[x,y,z]
     
     o1 = R
     
     o1 : PolynomialRing
     
     i2 = R_"x"
     
     o2 = x
     
     o2 : R

Eventually we will implement this for monoids, too.

Go to main index.

Go to concepts index.