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

• Function: dual

• Usage:

  dual F

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

i1 : X = abstractProjectiveSpace' 1

o1 = X

o1 : a flag bundle with subquotient ranks {2:1}

i2 : dual OO_X(-1)

o2 = a sheaf

o2 : an abstract sheaf of rank 1 on X

i3 : chi oo

o3 = 2