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