-- -*- M2-comint -*- hash: 17831136261268728696

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

i4 : 
