source: git/Tst/Long/primdec_l.tst @ e3acb5

spielwiese
Last change on this file since e3acb5 was e3acb5, checked in by Olaf Bachmann <obachman@…>, 24 years ago
* new stuff, no option(prot) git-svn-id: file:///usr/local/Singular/svn/trunk@3845 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 1.8 KB
Line 
1LIB "tst.lib";
2tst_init();
3
4LIB"primdec.lib";
5
6ring r=32003,(a,b,c,d,e,f,g,h,j),(C,dp);
7ideal i=
8a+2b+c-d+g,
9f2gh-a,
10efg-c,
11fg2j-b,
12a+b+c+f+g-1,
133ad+3bd+2cd+df+dg-a-2b-c-g;
14
15list pr1=minAssGTZ(i);
16ideal i1=radical(i);
17ideal i2=equiRadical(i);
18list pr2= primdecGTZ(i);
19list pr3=minAssChar(i,1);
20list pr4=primdecSY(i,1);
21matrix m=char_series(i);
22pr1;
23i1;
24i2;
25pr2;
26pr3;
27pr4;
28m;
29testPrimary(pr2,i);
30kill r;
31
32ring r=32003,(b,s,t,u,v,w,x,y,z),(C,dp);
33ideal i=
34bv+su,
35bw+tu,
36sw+tv,
37by+sx,
38bz+tx,
39sz+ty,
40uy+vx,
41uz+wx,
42vz+wy;
43
44list pr1=minAssGTZ(i);
45ideal i1=radical(i);
46ideal i2=equiRadical(i);
47list pr2= primdecGTZ(i);
48list pr3=minAssChar(i,1);
49list pr4=primdecSY(i,1);
50matrix m=char_series(i);
51pr1;
52i1;
53i2;
54pr2;
55pr3;
56pr4;
57m;
58testPrimary(pr2,i);
59kill r;
60ring r=0,(b,s,t,u,v,w,x,y,z),(C,dp);
61ideal i=
62bv+su,
63bw+tu,
64sw+tv,
65by+sx,
66bz+tx,
67sz+ty,
68uy+vx,
69uz+wx,
70vz+wy;
71
72list pr1=minAssGTZ(i);
73ideal i1=radical(i);
74ideal i2=equiRadical(i);
75list pr2= primdecGTZ(i);
76list pr3=minAssChar(i,1);
77list pr4=primdecSY(i,1);
78matrix m=char_series(i);
79pr1;
80i1;
81i2;
82pr2;
83pr3;
84pr4;
85m;
86testPrimary(pr2,i);
87kill r;
88
89ring r= 32003,(x,y,z),(C,dp);
90ideal i=
9117y6+49y5-9y4+41x2z+12y3+33y2+11y+73,
9242y5+33y4+21x2y+17x2z+63y3+11xy+77y2+91y+1,
9326y2+44xz+12y+9;
94
95list pr1=minAssGTZ(i);
96ideal i1=radical(i);
97ideal i2=equiRadical(i);
98list pr2= primdecGTZ(i);
99list pr3=minAssChar(i,1);
100list pr4=primdecSY(i,1);
101matrix m=char_series(i);
102pr1;
103i1;
104i2;
105pr2;
106pr3;
107pr4;
108m;
109testPrimary(pr2,i);
110kill r;
111
112ring r =32003,(a,b,c,d,e,h),(C,dp);
113ideal i=
114a+b+c+d+e,
115de+1cd+1bc+1ae+1ab,
116cde+1bcd+1ade+1abe+1abc,
117bcde+1acde+1abde+1abce+1abcd,
118abcde-h5;
119
120list pr1=minAssGTZ(i);
121ideal i1=radical(i);
122ideal i2=equiRadical(i);
123list pr2= primdecGTZ(i);
124list pr3=minAssChar(i,1);
125list pr4=primdecSY(i,1);
126matrix m=char_series(i);
127pr1;
128i1;
129i2;
130pr2;
131pr3;
132pr4;
133m;
134testPrimary(pr2,i);
135kill r;
136tst_status(1);$
Note: See TracBrowser for help on using the repository browser.