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

i1 : S = QQ[a..d];

i2 : I = monomialCurveIdeal(S,{1,3,4})

                        3      2     2    2    3    2
o2 = ideal (b*c - a*d, c  - b*d , a*c  - b d, b  - a c)

o2 : Ideal of S

i3 : R = S/I

o3 = R

o3 : QuotientRing

i4 : X = Proj R

o4 = X

o4 : ProjectiveVariety

i5 : IX = sheaf (module I ** R)

o5 = cokernel {2} | c2 bd ac b2 |
              {3} | -b -a 0  0  |
              {3} | d  c  -b -a |
              {3} | 0  0  -d -c |

                                         1           3
o5 : coherent sheaf on X, quotient of OO  (-2) ++ OO  (-3)
                                        X           X

i6 : Ext^1(IX,OO_X)

o6 = 0

o6 : QQ-module

i7 : Hom(IX,OO_X)

       16
o7 = QQ

o7 : QQ-module, free

i8 :