CoherentSheaf ** CoherentSheaf -- tensor produce of coherent sheaves

Synopsis

• Operator: **

• Usage:

  F ** G

• Inputs:
  • F, a coherent sheaf
  • G, a coherent sheaf
• Outputs:
  • a coherent sheaf, the tensor product of F and G

Description

i1 : X = Proj(QQ[x,y,z])

o1 = X

o1 : ProjectiveVariety

i2 : OO_X(-3) ++ OO_X(4)

        1           1
o2 = OO  (-3) ++ OO  (4)
       X           X

o2 : coherent sheaf on X

i3 : oo ** oo

        1           2          1
o3 = OO  (-6) ++ OO  (1) ++ OO  (8)
       X           X          X

o3 : coherent sheaf on X