Description
variety F -- produce the variety over which a coherent sheaf is defined.
i1 : X = Proj(QQ[x,y,z])
o1 = X
o1 : ProjectiveVariety
|
i2 : OO_X(3)
1
o2 = OO (3)
X
o2 : coherent sheaf on X, free of rank 1
|
i3 : variety oo
o3 = X
o3 : ProjectiveVariety
|