ProjectiveVariety -- the class of all projective varieties

Functions and methods returning a projective variety :

• ambient(ProjectiveVariety) (missing documentation)
• Proj -- make a projective variety
• singularLocus(ProjectiveVariety) (missing documentation)

Methods that use a projective variety :

• canonicalBundle(ProjectiveVariety) (missing documentation)
• char(ProjectiveVariety) -- see char(AffineVariety) -- the characteristic of the coordinate ring of a 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)
• genus(ProjectiveVariety)
• hh(Sequence,ProjectiveVariety) -- see hh -- Hodge numbers of a smooth projective variety
• HH^ZZ(ProjectiveVariety,CoherentSheaf) -- cohomology of a coherent sheaf on a projective variety
• HH^ZZ(ProjectiveVariety,SheafMap) (missing documentation)
• HH^ZZ(ProjectiveVariety,SumOfTwists) (missing documentation)
• hilbertPolynomial(ProjectiveVariety) -- compute the Hilbert polynomial of the projective variety
• isProjective(ProjectiveVariety) (missing documentation)
• tangentSheaf(ProjectiveVariety) -- tangent sheaf of a projective variety

For the programmer

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