i1 : Spec(QQ[x,y]) o1 = Spec(QQ [x, y]) o1 : AffineVariety
The object AffineVariety is a type, with ancestor classes Variety < MutableHashTable < HashTable < Thing.