R_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