source: git/Tst/Short/primdec_s.tst @ b35b93

spielwiese
Last change on this file since b35b93 was b35b93, checked in by Olaf Bachmann <obachman@…>, 26 years ago
This commit was generated by cvs2svn to compensate for changes in r1396, which included commits to RCS files with non-trunk default branches. git-svn-id: file:///usr/local/Singular/svn/trunk@1397 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 2.4 KB
Line 
1LIB "tst.lib";
2tst_init();
3
4LIB "primdec.lib";
5
6ring r=32003,(a,b,c,d,e,f),(C,dp);
7ideal i=
8a2cdf2,
9b2cdf2,
10a2bdf2,
11b3df2,
12a3df2,
13ab2df2,
14a2cde,
15b2cde,
16a2bde,
17b3de,
18a3de,
19ab2de,
20a2cd2,
21b2cd2,
22a2bd2,
23b3d2,
24a3d2,
25ab2d2,
26a2c2f2,
27b2c2f2,
28a2bcf2,
29b3cf2,
30a3cf2,
31ab2cf2,
32a2b2f2,
33b4f2,
34a3bf2,
35ab3f2,
36a4f2;
37
38list pr1=minAssPrimes(i);
39ideal i1=radical(i);
40ideal i2=equiRadical(i);
41list pr2= primdecGTZ(i);
42list pr3=min_ass_prim_charsets(i,1);
43list pr4=primdecSY(i,1);
44matrix m=char_series(i);
45pr1;
46i1;
47i2;
48pr2;
49pr3;
50pr4;
51m;
52testPrimary(pr2,i);
53kill r;
54
55ring r=0,(a,b,c,d,e,f),(C,dp);
56ideal i=
57a2cdf2,
58b2cdf2,
59a2bdf2,
60b3df2,
61a3df2,
62ab2df2,
63a2cde,
64b2cde,
65a2bde,
66b3de,
67a3de,
68ab2de,
69a2cd2,
70b2cd2,
71a2bd2,
72b3d2,
73a3d2,
74ab2d2,
75a2c2f2,
76b2c2f2,
77a2bcf2,
78b3cf2,
79a3cf2,
80ab2cf2,
81a2b2f2,
82b4f2,
83a3bf2,
84ab3f2,
85a4f2;
86
87list pr1=minAssPrimes(i);
88ideal i1=radical(i);
89ideal i2=equiRadical(i);
90list pr2= primdecGTZ(i);
91list pr3=min_ass_prim_charsets(i,1);
92list pr4=primdecSY(i,1);
93matrix m=char_series(i);
94pr1;
95i1;
96i2;
97pr2;
98pr3;
99pr4;
100m;
101testPrimary(pr2,i);
102kill r;
103
104
105
106ring r=32003,(x,y,z),(C,dp);
107ideal i=
108xy2z2-1xy2z+xyz2-1xyz,
109xy3z+xy2z,
110xy4-1xy2,
111x2yz2-1x2yz,
112x2y3-1x2y2,
113x4z3-1x4z2+2x3z3-2x3z2+x2z3-1x2z2,
114x2y2z,
115x4yz+x3yz,
1162x4y2+6x3y2+6x2y2+xy3+xy2,
117x5z+x4z2+x4z+2x3z2-1x3z+x2z2-1x2z,
118x6y+3x5y+3x4y+x3y;
119
120list pr1=minAssPrimes(i);
121ideal i1=radical(i);
122ideal i2=equiRadical(i);
123list pr2= primdecGTZ(i);
124list pr3=min_ass_prim_charsets(i,1);
125list pr4=primdecSY(i,1);
126matrix m=char_series(i);
127pr1;
128i1;
129i2;
130pr2;
131pr3;
132pr4;
133m;
134testPrimary(pr2,i);
135kill r;
136
137
138ring r=0,(x,y,z),(C,dp);
139ideal i=
140xy2z2-1xy2z+xyz2-1xyz,
141xy3z+xy2z,
142xy4-1xy2,
143x2yz2-1x2yz,
144x2y3-1x2y2,
145x4z3-1x4z2+2x3z3-2x3z2+x2z3-1x2z2,
146x2y2z,
147x4yz+x3yz,
1482x4y2+6x3y2+6x2y2+xy3+xy2,
149x5z+x4z2+x4z+2x3z2-1x3z+x2z2-1x2z,
150x6y+3x5y+3x4y+x3y;
151
152list pr1=minAssPrimes(i);
153ideal i1=radical(i);
154ideal i2=equiRadical(i);
155list pr2= primdecGTZ(i);
156list pr3=min_ass_prim_charsets(i,1);
157list pr4=primdecSY(i,1);
158matrix m=char_series(i);
159pr1;
160i1;
161i2;
162pr2;
163pr3;
164pr4;
165m;
166testPrimary(pr2,i);
167kill r;
168
169ring r = 32003,(b,c,d,e,f,g,h,j,k,l),(C,dp);
170ideal i=
171(l-k)^9,
172(l-k)^8*(l-b),
173(l-k)^7*(l-c),
174(l-k)^6*(l-d),
175(l-k)^5*(l-e),
176(l-k)^4*(l-f),
177(l-k)^3*(l-g),
178(l-k)^2*(l-h),
179(l-k)*(l-j);
180
181list pr1=minAssPrimes(i);
182ideal i1=radical(i);
183ideal i2=equiRadical(i);
184list pr2= primdecGTZ(i);
185list pr3=min_ass_prim_charsets(i,1);
186list pr4=primdecSY(i,1);
187matrix m=char_series(i);
188pr1;
189i1;
190i2;
191pr2;
192pr3;
193pr4;
194m;
195testPrimary(pr2,i);
196kill r;
197$
Note: See TracBrowser for help on using the repository browser.