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

i1 : A = ZZ/101[a..d];

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

i3 : R = A/I;

i4 : (F,G) = makeS2 R

                                     ZZ                                      
                                    ---[w   , a, b, c, d]                    
                                    101  0,0                                 
o4 = (map(-------------------------------------------------------------------
                               2                                     2   2   
          (b*c - a*d, w   d - c , w   c - b*d, w   b - a*c, w   a - b , w    
                       0,0         0,0          0,0          0,0         0,0 
     ------------------------------------------------------------------------
                            
                            
                            
     ------,R,{a, b, c, d}),
                            
     - a*d)                 
                            
     ------------------------------------------------------------------------
                     /                           ZZ                          
                     |                          ---[w   , a, b, c, d]        
                     |                          101  0,0                     
     map(frac(R),frac|-------------------------------------------------------
                     |                     2                                 
                     |(b*c - a*d, w   d - c , w   c - b*d, w   b - a*c, w   a
                     \             0,0         0,0          0,0          0,0 
     ------------------------------------------------------------------------
                       \
                       |
                       |  b*d
     ------------------|,{---, a, b, c, d}))
         2   2         |   c
      - b , w    - a*d)|
             0,0       /

o4 : Sequence

i5 :