i1 : PP3 = projectiveSpace 3; |
i2 : F = sheaf(PP3, (ring PP3)^{{1},{2},{3}}) 1 1 1 o2 = OO (1) ++ OO (2) ++ OO (3) PP3 PP3 PP3 o2 : coherent sheaf on PP3 |
i3 : FF7 = hirzebruchSurface 7; |
i4 : G = sheaf(FF7, (ring FF7)^{{1,0},{0,1}}) 1 1 o4 = OO (1,0) ++ OO (0,1) FF7 FF7 o4 : coherent sheaf on FF7 |