i1 : R = ZZ[x] o1 = R o1 : PolynomialRing
i2 : content(4*x + 6*x^5) o2 = ideal (6, 4) o2 : Ideal of ZZ
i3 : generator oo o3 = 2