variety
variety F
-- produce the variety associated to
F
.
variety CoherentSheaf
