next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Macaulay2Doc :: CoherentSheaf ^ ZZ

CoherentSheaf ^ ZZ -- direct sum

Synopsis

Description

i1 : R = QQ[a..d]/(a*d-b*c)

o1 = R

o1 : QuotientRing
i2 : Q = Proj R

o2 = Q

o2 : ProjectiveVariety
i3 : OO_Q^5

        5
o3 = OO
       Q

o3 : coherent sheaf on Q, free
i4 : IL = sheaf module ideal(a,b)

o4 = image | a b |

                                         1
o4 : coherent sheaf on Q, subsheaf of OO
                                        Q
i5 : IL^3

o5 = image | a b 0 0 0 0 |
           | 0 0 a b 0 0 |
           | 0 0 0 0 a b |

                                         3
o5 : coherent sheaf on Q, subsheaf of OO
                                        Q

See also