variety(AbstractSheaf) -- the variety of an abstract sheaf

• Function: variety

• Usage:

  variety F

• Inputs:
  • F, an abstract sheaf,
• Outputs:
  • an abstract variety, the variety of F

i1 : X = abstractProjectiveSpace 4

o1 = X

o1 : a flag bundle with subquotient ranks {1, 4}

i2 : tangentBundle X

o2 = a sheaf

o2 : an abstract sheaf of rank 4 on X

i3 : variety oo

o3 = X

o3 : a flag bundle with subquotient ranks {1, 4}