-- -*- M2-comint -*- {* hash: 764616679 *} i1 : R = QQ[a..z] o1 = R o1 : PolynomialRing i2 : b ..< i o2 = (b, c, d, e, f, g, h) o2 : Sequence i3 : plus oo o3 = b + c + d + e + f + g + h o3 : R i4 :
-- -*- M2-comint -*- {* hash: 764616679 *} i1 : R = QQ[a..z] o1 = R o1 : PolynomialRing i2 : b ..< i o2 = (b, c, d, e, f, g, h) o2 : Sequence i3 : plus oo o3 = b + c + d + e + f + g + h o3 : R i4 :