Variety -- the class of all algebraic varieties

Types of variety:

• AffineVariety -- the class of all affine varieties
• ProjectiveVariety -- the class of all projective varieties

Functions and methods returning a variety:

• variety -- get the variety
• variety(SheafMap) (missing documentation)

Methods that use a variety:

• codim(Variety) -- codimension of a variety
• HH^ZZ(Variety,SheafOfRings) (missing documentation)
• ideal(Variety) -- returns the defining ideal
• isProjective(Variety) (missing documentation)
• isWellDefined(Variety) (missing documentation)
• ring(Variety) -- coordinate ring of the variety
• sheaf(Variety) -- make a coherent sheaf
• sheaf(Variety,Module) -- make a coherent sheaf
• sheaf(Variety,Ring) -- make a coherent sheaf of rings

For the programmer

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