ProjectiveVariety -- the class of all projective varieties

ProjectiveVariety -- the class of all projective varieties

The type ProjectiveVariety is a member of the class Type. Each object of class ProjectiveVariety is called a projective variety. Each projective variety is also a member of class Variety.

More general types (whose methods may also apply) :

Variety -- the class of all algebraic varieties

MutableHashTable -- the class of all mutable hash tables

HashTable -- the class of all hash tables

To create a projective variety, use Proj.

i1 : Proj(QQ[x,y])



o1 = Proj(QQ [x, y])



o1 : ProjectiveVariety

Functions and methods returning a a projective variety :

Proj Ring

ProjectiveVariety ** Ring

Methods for using a projective variety :

ambient ProjectiveVariety

codim ProjectiveVariety

cotangentSheaf ProjectiveVariety -- cotangent sheaf of a variety

cotangentSheaf(ZZ,ProjectiveVariety) -- make an exterior power of the cotangent sheaf

degree ProjectiveVariety

dim ProjectiveVariety

expression ProjectiveVariety

genera ProjectiveVariety

genus ProjectiveVariety

hilbertFunction(List,ProjectiveVariety)

hilbertFunction(ZZ,ProjectiveVariety)

hilbertPolynomial ProjectiveVariety

hilbertSeries ProjectiveVariety

singularLocus ProjectiveVariety