| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | |
|---|
| 4 | LIB"primdec.lib"; |
|---|
| 5 | option(prot); |
|---|
| 6 | |
|---|
| 7 | ring r=32003,(a,b,c,d,e,f,g,h,j),(C,dp); |
|---|
| 8 | ideal i= |
|---|
| 9 | a+2b+c-d+g, |
|---|
| 10 | f2gh-a, |
|---|
| 11 | efg-c, |
|---|
| 12 | fg2j-b, |
|---|
| 13 | a+b+c+f+g-1, |
|---|
| 14 | 3ad+3bd+2cd+df+dg-a-2b-c-g; |
|---|
| 15 | |
|---|
| 16 | list pr1=minAssPrimes(i); |
|---|
| 17 | ideal i1=radical(i); |
|---|
| 18 | ideal i2=equiRadical(i); |
|---|
| 19 | list pr2= primdecGTZ(i); |
|---|
| 20 | list pr3=min_ass_prim_charsets(i,1); |
|---|
| 21 | list pr4=primdecSY(i,1); |
|---|
| 22 | matrix m=char_series(i); |
|---|
| 23 | pr1; |
|---|
| 24 | i1; |
|---|
| 25 | i2; |
|---|
| 26 | pr2; |
|---|
| 27 | pr3; |
|---|
| 28 | pr4; |
|---|
| 29 | m; |
|---|
| 30 | testPrimary(pr2,i); |
|---|
| 31 | kill r; |
|---|
| 32 | |
|---|
| 33 | ring r=32003,(b,s,t,u,v,w,x,y,z),(C,dp); |
|---|
| 34 | ideal i= |
|---|
| 35 | bv+su, |
|---|
| 36 | bw+tu, |
|---|
| 37 | sw+tv, |
|---|
| 38 | by+sx, |
|---|
| 39 | bz+tx, |
|---|
| 40 | sz+ty, |
|---|
| 41 | uy+vx, |
|---|
| 42 | uz+wx, |
|---|
| 43 | vz+wy; |
|---|
| 44 | |
|---|
| 45 | list pr1=minAssPrimes(i); |
|---|
| 46 | ideal i1=radical(i); |
|---|
| 47 | ideal i2=equiRadical(i); |
|---|
| 48 | list pr2= primdecGTZ(i); |
|---|
| 49 | list pr3=min_ass_prim_charsets(i,1); |
|---|
| 50 | list pr4=primdecSY(i,1); |
|---|
| 51 | matrix m=char_series(i); |
|---|
| 52 | pr1; |
|---|
| 53 | i1; |
|---|
| 54 | i2; |
|---|
| 55 | pr2; |
|---|
| 56 | pr3; |
|---|
| 57 | pr4; |
|---|
| 58 | m; |
|---|
| 59 | testPrimary(pr2,i); |
|---|
| 60 | kill r; |
|---|
| 61 | ring r=0,(b,s,t,u,v,w,x,y,z),(C,dp); |
|---|
| 62 | ideal i= |
|---|
| 63 | bv+su, |
|---|
| 64 | bw+tu, |
|---|
| 65 | sw+tv, |
|---|
| 66 | by+sx, |
|---|
| 67 | bz+tx, |
|---|
| 68 | sz+ty, |
|---|
| 69 | uy+vx, |
|---|
| 70 | uz+wx, |
|---|
| 71 | vz+wy; |
|---|
| 72 | |
|---|
| 73 | list pr1=minAssPrimes(i); |
|---|
| 74 | ideal i1=radical(i); |
|---|
| 75 | ideal i2=equiRadical(i); |
|---|
| 76 | list pr2= primdecGTZ(i); |
|---|
| 77 | list pr3=min_ass_prim_charsets(i,1); |
|---|
| 78 | list pr4=primdecSY(i,1); |
|---|
| 79 | matrix m=char_series(i); |
|---|
| 80 | pr1; |
|---|
| 81 | i1; |
|---|
| 82 | i2; |
|---|
| 83 | pr2; |
|---|
| 84 | pr3; |
|---|
| 85 | pr4; |
|---|
| 86 | m; |
|---|
| 87 | testPrimary(pr2,i); |
|---|
| 88 | kill r; |
|---|
| 89 | |
|---|
| 90 | ring r= 32003,(x,y,z),(C,dp); |
|---|
| 91 | ideal i= |
|---|
| 92 | 17y6+49y5-9y4+41x2z+12y3+33y2+11y+73, |
|---|
| 93 | 42y5+33y4+21x2y+17x2z+63y3+11xy+77y2+91y+1, |
|---|
| 94 | 26y2+44xz+12y+9; |
|---|
| 95 | |
|---|
| 96 | list pr1=minAssPrimes(i); |
|---|
| 97 | ideal i1=radical(i); |
|---|
| 98 | ideal i2=equiRadical(i); |
|---|
| 99 | list pr2= primdecGTZ(i); |
|---|
| 100 | list pr3=min_ass_prim_charsets(i,1); |
|---|
| 101 | list pr4=primdecSY(i,1); |
|---|
| 102 | matrix m=char_series(i); |
|---|
| 103 | pr1; |
|---|
| 104 | i1; |
|---|
| 105 | i2; |
|---|
| 106 | pr2; |
|---|
| 107 | pr3; |
|---|
| 108 | pr4; |
|---|
| 109 | m; |
|---|
| 110 | testPrimary(pr2,i); |
|---|
| 111 | kill r; |
|---|
| 112 | |
|---|
| 113 | ring r =32003,(a,b,c,d,e,h),(C,dp); |
|---|
| 114 | ideal i= |
|---|
| 115 | a+b+c+d+e, |
|---|
| 116 | de+1cd+1bc+1ae+1ab, |
|---|
| 117 | cde+1bcd+1ade+1abe+1abc, |
|---|
| 118 | bcde+1acde+1abde+1abce+1abcd, |
|---|
| 119 | abcde-h5; |
|---|
| 120 | |
|---|
| 121 | list pr1=minAssPrimes(i); |
|---|
| 122 | ideal i1=radical(i); |
|---|
| 123 | ideal i2=equiRadical(i); |
|---|
| 124 | list pr2= primdecGTZ(i); |
|---|
| 125 | list pr3=min_ass_prim_charsets(i,1); |
|---|
| 126 | list pr4=primdecSY(i,1); |
|---|
| 127 | matrix m=char_series(i); |
|---|
| 128 | pr1; |
|---|
| 129 | i1; |
|---|
| 130 | i2; |
|---|
| 131 | pr2; |
|---|
| 132 | pr3; |
|---|
| 133 | pr4; |
|---|
| 134 | m; |
|---|
| 135 | testPrimary(pr2,i); |
|---|
| 136 | kill r; |
|---|
| 137 | $ |
|---|
