Ring _ ChernClassVariable -- get a ring generator corresponding to a Chern class variable

• Operator: _

• Usage:

  R_v

• Inputs:
  • R, a ring,
  • v, a Chern class variable,
• Outputs:
  • the generator of R corresponding to v

i1 : x = chern_3 E

o1 = c E
      3

o1 : ChernClassVariable

i2 : R = QQ[chern_1 E,chern_2 E,chern_3 E]

o2 = R

o2 : PolynomialRing

i3 : R_x

o3 = c E
      3

o3 : R