AffineVariety -- the class of all affine varieties

AffineVariety -- the class of all affine varieties

The type AffineVariety is a member of the class Type. Each object of class AffineVariety is called an affine variety. Each affine 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 an affine variety, use Spec.

i1 : Spec(QQ[x,y])



o1 = Spec(QQ [x, y])



o1 : AffineVariety

Functions and methods returning a an affine variety :

AffineVariety * AffineVariety

AffineVariety ** Ring

Spec Ring

Methods for using an affine variety :

ambient AffineVariety

dim AffineVariety

expression AffineVariety