Objects of this type are created by GG.

- GG -- the Grassmannian of k-dimensional linear subspaces of an n-dimensional projective space
- GG(ZZ,MultirationalMap) -- induced automorphism of the Grassmannian
- schubertCycle -- take a random Schubert cycle
- cycleClass -- determine the expression of the class of a cycle as a linear combination of Schubert classes
- Fano(ZZ,EmbeddedProjectiveVariety) -- Fano scheme of a projective variety
- tangentialChowForm(EmbeddedProjectiveVariety,ZZ) -- higher Chow forms of a projective variety

- schubertCycle(VisibleList,GrassmannianVariety) -- see schubertCycle -- take a random Schubert cycle

The object GrassmannianVariety is a type, with ancestor classes EmbeddedProjectiveVariety < MultiprojectiveVariety < MutableHashTable < HashTable < Thing.