i1 : ZZ[a..i] o1 = ZZ[a,b,c,d,e,f,g,h,i] o1 : PolynomialRing
i2 : ideal (c..h) o2 = ideal (c, d, e, f, g, h) o2 : Ideal of ZZ[a,b,c,d,e,f,g,h,i]
