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

i1 : R = ZZ/32003[a..d];

i2 : I = monomialCurveIdeal(R,{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 R

i3 : M = R^1/I

o3 = cokernel | bc-ad c3-bd2 ac2-b2d b3-a2c |

                            1
o3 : R-module, quotient of R

i4 : Ext^1(M,R)

o4 = 0

o4 : R-module

i5 : Ext^2(M,R)

o5 = cokernel {-3} | c  a  0 b 0 |
              {-3} | -d -b c 0 a |
              {-3} | 0  0  d c b |

                            3
o5 : R-module, quotient of R

i6 : Ext^3(M,R)

o6 = cokernel {-5} | d c b a |

                            1
o6 : R-module, quotient of R

i7 : Ext^1(I,R)

o7 = cokernel {-3} | c 0 -d 0 -b |
              {-3} | b c 0  a 0  |
              {-3} | 0 d c  b a  |

                            3
o7 : R-module, quotient of R

i8 :