Sophie
-- -*- M2-comint -*- {* hash: -210013000 *} i1 : R = QQ[x,y]; i2 : Proj R o2 = Proj(R) o2 : ProjectiveVariety i3 :