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

Synopsis

• Function: variety

• Usage:

  variety F

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

Description

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}