-- -*- M2-comint -*- {* hash: 382122041 *}

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

i6 :