-- -*- M2-comint -*- {* hash: -1017800258 *} i1 : R = QQ[x..z] o1 = R o1 : PolynomialRing i2 : variety ideal x R o2 = Proj(-) x o2 : ProjectiveVariety i3 : dim oo o3 = 1 i4 :
-- -*- M2-comint -*- {* hash: -1017800258 *} i1 : R = QQ[x..z] o1 = R o1 : PolynomialRing i2 : variety ideal x R o2 = Proj(-) x o2 : ProjectiveVariety i3 : dim oo o3 = 1 i4 :