-- -*- M2-comint -*- {* hash: 1777466985 *} 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 i4 :
-- -*- M2-comint -*- {* hash: 1777466985 *} 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 i4 :