ProjectiveVariety -- the class of all projective varieties

Functions and methods returning a projective variety :

• ProjectiveVariety ** Ring, see ** -- a binary operator, usually used for tensor product or Cartesian product
• Proj(Ring) -- make a projective variety

Methods that use a projective variety :

• ambient(ProjectiveVariety)
• char(ProjectiveVariety) -- missing documentation
• codim(ProjectiveVariety) -- codimension of the projective variety
• cotangentSheaf(ProjectiveVariety) -- cotangent sheaf of a projective variety
• cotangentSheaf(ZZ,ProjectiveVariety) -- exterior powers of the cotangent sheaf of a projective variety
• degree(ProjectiveVariety)
• dim(ProjectiveVariety) -- dimension of the projective variety
• euler(ProjectiveVariety) -- topological Euler characteristic of a (smooth) projective variety
• genera(ProjectiveVariety) -- list of the successive linear sectional arithmetic genera
• genus(ProjectiveVariety) -- arithmetic genus
• hh(Sequence,ProjectiveVariety), see hh -- Hodge numbers of a smooth projective variety
• hilbertFunction(List,ProjectiveVariety) -- compute the Hilbert function of a projective variety
• hilbertFunction(ZZ,ProjectiveVariety), see hilbertFunction(List,ProjectiveVariety) -- compute the Hilbert function of a projective variety
• hilbertPolynomial(ProjectiveVariety) -- compute the Hilbert polynomial of the projective variety
• hilbertSeries(ProjectiveVariety) -- compute the Hilbert series of a projective variety
• singularLocus(ProjectiveVariety), see singularLocus -- singular locus
• tangentSheaf(ProjectiveVariety) -- tangent sheaf of a projective variety

For the programmer

The object ProjectiveVariety is a type, with ancestor classes Variety < MutableHashTable < HashTable < Thing.