source: git/Tst/Long/primdec_l.tst.sv @ 2dd447b

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