AbstractSheaf * AbstractSheaf -- (tensor) product of two abstract sheaves

Synopsis

• Operator: *

• Usage:

  F*G

  F**G

• Inputs:
  • F, an abstract sheaf,
  • G, an abstract sheaf,
• Outputs:
  • an abstract sheaf, the (tensor) product of $F$ and $G$

Description

i1 : X = abstractProjectiveSpace 1

o1 = X

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

i2 : OO_X(1) * OO_X(2)

o2 = a sheaf

o2 : an abstract sheaf of rank 1 on X

i3 : chi oo

o3 = 4