Sophie

Sophie

distrib > Fedora > 15 > i386 > by-pkgid > 7ebd25ac536d248d499a3ce2acda963a > files > 3081

Macaulay2-1.3.1-8.fc15.i686.rpm

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

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

i2 : I = ideal(a*b-c*d, (a*c-b*d)^2);

o2 : Ideal of R

i3 : primaryDecomposition I

              2                   2                             2         
o3 = {ideal (d , a*d, a*b - c*d, a ), ideal (a*c + b*d + 2c*d, b  + 2b*c +
     ------------------------------------------------------------------------
      2              2           2           2        2                   
     c , a*b - c*d, a  + 2a*d + d ), ideal (c , b*c, b , a*b - c*d), ideal
     ------------------------------------------------------------------------
                         2           2              2           2
     (a*c + b*d - 2c*d, b  - 2b*c + c , a*b - c*d, a  - 2a*d + d )}

o3 : List

i4 : primaryDecomposition(I, Strategy => EisenbudHunekeVasconcelos)

              2                   2                             2         
o4 = {ideal (d , a*d, a*b - c*d, a ), ideal (a*c + b*d + 2c*d, b  + 2b*c +
     ------------------------------------------------------------------------
      2              2           2           2        2                   
     c , a*b - c*d, a  + 2a*d + d ), ideal (c , b*c, b , a*b - c*d), ideal
     ------------------------------------------------------------------------
                         2           2              2           2
     (a*c + b*d - 2c*d, b  - 2b*c + c , a*b - c*d, a  - 2a*d + d )}

o4 : List

i5 :