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 | $ |
---|