source: git/Tst/Long/resol5.tst @ 887634

spielwiese
Last change on this file since 887634 was b79446c, checked in by Hans Schönemann <hannes@…>, 19 years ago
*hannes: resol.lib, zeta.lib -> resolve.lib, reszeta.lib git-svn-id: file:///usr/local/Singular/svn/trunk@8345 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 3.3 KB
Line 
1LIB "tst.lib";
2tst_init();
3
4LIB"reszeta.lib";
5
6"============== U16";
7ring R=0,(x,y,z),dp;
8ideal I=y5+x2y2+x3-xz2;  //U16
9list L=resolve(I);
10zetaDL(L,1);
11kill L;kill R;
12
13"============== J3,0";
14ring R=0,(x,y,z),dp;
15ideal I=x3+x2y3+y9+z2;;  //J3,0
16list L=resolve(I);
17zetaDL(L,1);
18kill L;kill R;
19
20
21"============== J3,1";
22//ring R=0,(x,y,z),dp;
23//ideal I=x3+x2y3+y10+z2;   //J3,1  long
24//list L=resolve(I);
25//zetaDL(L,1);
26//kill L;kill R;
27
28
29"============== Z1,0";
30ring R=0,(x,y,z),dp;
31ideal I=x3y+x2y3+y7+z2;   //Z1,0
32list L=resolve(I);
33zetaDL(L,1);
34kill L;kill R;
35
36
37"============== S1,1";
38ring R=0,(x,y,z),dp;
39ideal I=x2z+yz2+x2y2+y6;  //S1,1
40list L=resolve(I);
41zetaDL(L,1);
42kill L;kill R;
43
44
45"============== E18";
46//ring R=0,(x,y,z),dp;
47//ideal I=x3+y10+xy7+z2;  //E18  ERROR in RADICAL2
48//list L=resolve(I);
49//zetaDL(L,1);
50//kill L;kill R;
51
52
53"============== W17";
54ring R=0,(x,y,z),dp;
55ideal I=x4+xy5+y7+z2;  //W17   
56list L=resolve(I);
57zetaDL(L,1);
58kill L;kill R;
59
60
61"============== D10";
62//ring R=0,(x,y,z),dp;
63//ideal I=x2y+y9+z2;  //D10  long
64//list L=resolve(I);
65//zetaDL(L,1);
66//kill L;kill R;
67
68
69"============== A10";
70ring R=0,(x,y,z),dp;
71ideal I=x11+y2+z2;  //A10
72list L=resolve(I);
73zetaDL(L,1);
74kill L;kill R;
75
76
77"============== A15";
78ring R=0,(x,y,z),dp;
79ideal I=x16+y2+z2;  //A15
80list L=resolve(I);
81zetaDL(L,1);
82kill L;kill R;
83
84
85"============== (y2-x3)^2-x7+z2";
86ring R=0,(x,y,z),dp;
87ideal I=(y2-x3)^2-x7+z2; 
88list L=resolve(I);
89zetaDL(L,1);
90kill L;kill R;
91
92"============== x4+y4+z4+xyz2+x2yz2";
93ring R=0,(x,y,z),dp;
94ideal I=x4+y4+z4+xyz2+x2yz2;
95list L=resolve(I);
96zetaDL(L,1);
97kill L;kill R;
98
99"============== x4+y5+z6+xyz2+x2yz2";
100ring R=0,(x,y,z),dp;
101ideal I=x4+y5+z6+xyz2+x2yz2;
102list L=resolve(I);
103zetaDL(L,1);
104kill L;kill R;
105
106"============== x4+y4+z6+xyz2+x2yz2+x2y2z";
107ring R=0,(x,y,z),dp;
108ideal I=x4+y4+z6+xyz2+x2yz2+x2y2z;
109list L=resolve(I);
110zetaDL(L,1);
111kill L;kill R;
112
113"============== x4+y4+z6+y2z2+xyz";
114ring R=0,(x,y,z),dp;
115ideal I=x4+y4+z6+y2z2+xyz;
116list L=resolve(I);
117zetaDL(L,1);
118kill L;kill R;
119
120"============== x4+y4+z6+x2y2";
121ring R=0,(x,y,z),dp;
122ideal I=x4+y4+z6+x2y2;
123list L=resolve(I);
124zetaDL(L,1);
125kill L;kill R;
126
127"============== x4+y4+z6+x4y+xy4+xyz";
128ring R=0,(x,y,z),dp;
129ideal I=x4+y4+z6+x4y+xy4+xyz;
130list L=resolve(I);
131zetaDL(L,1);
132kill L;kill R;
133
134"============== x6+y6+z4+x4y+x2y2";
135ring R=0,(x,y,z),dp;
136ideal I=x6+y6+z4+x4y+x2y2;
137list L=resolve(I);
138zetaDL(L,1);
139kill L;kill R;
140
141"============== x6+y6+z4+x2y2";
142ring R=0,(x,y,z),dp;
143ideal I=x6+y6+z4+x2y2;
144list L=resolve(I);
145zetaDL(L,1);
146kill L;kill R;
147
148"============== x6+y6+z4+xy4+x4y+xyz";
149ring R=0,(x,y,z),dp;
150ideal I=x6+y6+z4+xy4+x4y+xyz;
151list L=resolve(I);
152zetaDL(L,1);
153kill L;kill R;
154
155"============== x6+y6+z4+xy4+x4y+xyz+x2y2";
156ring R=0,(x,y,z),dp;
157ideal I=x6+y6+z4+xy4+x4y+xyz+x2y2;
158list L=resolve(I);
159zetaDL(L,1);
160kill L;kill R;
161
162"============== x6+y6+z2+x2y2";
163ring R=0,(x,y,z),dp;
164ideal I=x6+y6+z2+x2y2;
165list L=resolve(I);
166zetaDL(L,1);
167kill L;kill R;
168
169"============== x6+y6+z2+xy4+x4y+xyz";
170ring R=0,(x,y,z),dp;
171ideal I=x6+y6+z2+xy4+x4y+xyz;
172list L=resolve(I);
173zetaDL(L,1);
174kill L;kill R;
175
176"============== x6+y6+z4+xy4+x4y+xyz2";
177//ring R=0,(x,y,z),dp;
178//ideal I=x6+y6+z4+xy4+x4y+xyz2;
179//list L=resolve(I);
180//zetaDL(L,1);
181
182"============== x7+y8+z8+x2y2z2";
183ring R=0,(x,y,z),dp;
184ideal I=x7+y8+z8+x2y2z2;
185list L=resolve(I);
186zetaDL(L,1);
187kill L;kill R;
188
189tst_status(1);$
Note: See TracBrowser for help on using the repository browser.