IndexedVariable _ Ring -- get a ring variable by name

• Operator: _

• Usage:

  v_R

• Inputs:
  • v, an indexed variable
  • R, a ring
• Outputs:
  • a ring element, the variable of R whose name is the indexed variable v

i1 : R = QQ[t_1..t_4]

o1 = R

o1 : PolynomialRing

i2 : symbol t_1

o2 = t
      1

o2 : IndexedVariable

i3 : oo_R

o3 = t
      1

o3 : R