ProjectiveVariety

ProjectiveVariety -- the class of all projective varieties, a subclass of Variety.

To create an affine variety, use Proj.

i1 : R = QQ[x,y];
i2 : Proj R

o2 = Proj R

o2 : ProjectiveVariety

See also CoherentSheaf.

topindexpreviousupnext