module F
i1 : R = QQ[x..z] o1 = R o1 : PolynomialRing
i2 : X = Proj R o2 = X o2 : ProjectiveVariety
i3 : OO_X^6 6 o3 = OO X o3 : coherent sheaf on X, free of rank 6
i4 : module oo 6 o4 = R o4 : R-module, free