source: git/Tst/Long/mre.tst @ 2f01bc

spielwiese
Last change on this file since 2f01bc was 2f01bc, checked in by Olaf Bachmann <obachman@…>, 24 years ago
* added test files git-svn-id: file:///usr/local/Singular/svn/trunk@3880 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 3.0 KB
Line 
1LIB "tst.lib";
2tst_init();
3option(prot);
4ring r;
5ideal i=xy+yz+xz,x3,y3,z3;
6list I=mres(i,0);
7I;
8kill r;
9ring an=32003,(w,x,y,z),(dp,C);
10ideal i=
111w2xy+1w2xz+1w2yz+1wxyz+1x2yz+1xy2z+1xyz2,
121w4x+1w4z+1w3yz+1w2xyz+1wx2yz+1x2y2z+1xy2z2,
131w6+1w5z+1w4xz+1w3xyz+1w2xy2z+1wx2y2z+1x2y2z2;
14list I=mres(i,0);
15I;
16kill an;
17ring an=32003,(w,x,y,z),(dp,c);
18ideal i=
19wx2+y3,
20xy2+z3,
21yz2+w3,
22zw2+x3,
23xyz+yzw+zwx+wxy;
24list I=mres(i,0);
25I;
26kill an;
27ring an=32003,(w,x,y,z),(dp,c);
28ideal i=
29wx+y2,
30xy+z2,
31yz+w2,
32zw+x2,
33xy+yz+zw+wx;
34list I=mres(i,0);
35I;
36kill an;
37ring an=32003,(x,y,z),(dp,c);
38ideal i=
39zx2+y3,
40xy2+z3,
41yz2+x3,
42x2y+y2z+z2x;
43list I=mres(i,0);
44I;
45kill an;
46ring cyc5 = 32003,(f,a,b,c,d,e),dp;
47ideal i=
48a+b+c+d+e,
49de+1cd+1bc+1ae+1ab,
50cde+1bcd+1ade+1abe+1abc,
51bcde+1acde+1abde+1abce+1abcd,
52abcde-f5;
53//std(i);
54list I=mres(i,0);
55I;
56kill cyc5;
57ring r=32003,(y,t,x,z,w),dp;
58ideal i=6*t^5*x^3*z^4+5*x^5*z^7+4*t^4*y*z^3*w^4,
595*t^3*x^2*y^7*z^4+5*t^6*x*y^3*z^3*w^3+4*t^5*x^5*y*w^5,
602*t^8*z^6+6*t^5*y*z^7*w+6*t^4*y^2*z^3*w^5;
61//i;
62//option(prot);
63//ideal j=std(i);
64//$
65list I=mres(i,0);
66I;
67kill r;
68ring cyc5 =32003,(a,b,c,d,e,f),dp;
69ideal i=
70a5-b5,
71b5-c5,
72c5-d5,
73d5-e5,
74a4*b+b4*c+c4*d+d4*e+a*e4;
75list I=mres(i,0);
76I;
77kill cyc5;
78ring an=32003,(t,x,y,z,w),(dp,C);
79ideal i=
802t3x5y2z+t5x2yw3+2x2yw8,
813t6x2yz2+9t3y2zw5+2xy3z2w5,
82t3x5y2z2+tx2y3w6+2t5zw6;
83list I=mres(i,0);
84I;
85kill an;
86ring r=0,(x,y,z,t,w),dp;
87ideal i=6*t^5*x^3*z+5*x^5*z^4+4*t^4*y*w^4,
885*x*y^6*z^4+5*t^3*y^2*z^3*w^3+4*t^2*x^4*w^5,
892*t^4*z^3+6*t*y*z^4*w+6*y^2*w^5;
90list I=mres(i,0);
91I;
92kill r;
93ring r=32003,(x,y,z),(C,dp);
94ideal i=xy+yz+xz,x3,y3,z3;
95list I=mres(i,0);
96I;
97kill r;
98ring an=32003,(w,x,y,z),(C,dp);
99ideal i=
1001w2xy+1w2xz+1w2yz+1wxyz+1x2yz+1xy2z+1xyz2,
1011w4x+1w4z+1w3yz+1w2xyz+1wx2yz+1x2y2z+1xy2z2,
1021w6+1w5z+1w4xz+1w3xyz+1w2xy2z+1wx2y2z+1x2y2z2;
103list I=mres(i,0);
104I;
105kill an;
106ring an=32003,(w,x,y,z),(C,dp);
107ideal i=
108wx2+y3,
109xy2+z3,
110yz2+w3,
111zw2+x3,
112xyz+yzw+zwx+wxy;
113list I=mres(i,0);
114I;
115kill an;
116ring an=32003,(w,x,y,z),(C,dp);
117ideal i=
118wx+y2,
119xy+z2,
120yz+w2,
121zw+x2,
122xy+yz+zw+wx;
123list I=mres(i,0);
124I;
125kill an;
126ring an=32003,(x,y,z),(C,dp);
127ideal i=
128zx2+y3,
129xy2+z3,
130yz2+x3,
131x2y+y2z+z2x;
132list I=mres(i,0);
133I;
134kill an;
135ring cyc5 = 32003,(f,a,b,c,d,e),(C,dp);
136ideal i=
137a+b+c+d+e,
138de+1cd+1bc+1ae+1ab,
139cde+1bcd+1ade+1abe+1abc,
140bcde+1acde+1abde+1abce+1abcd,
141abcde-f5;
142//std(i);
143list I=mres(i,0);
144I;
145kill cyc5;
146ring r=32003,(y,t,x,z,w),(C,dp);
147ideal i=6*t^5*x^3*z^4+5*x^5*z^7+4*t^4*y*z^3*w^4,
1485*t^3*x^2*y^7*z^4+5*t^6*x*y^3*z^3*w^3+4*t^5*x^5*y*w^5,
1492*t^8*z^6+6*t^5*y*z^7*w+6*t^4*y^2*z^3*w^5;
150//i;
151//option(prot);
152//ideal j=std(i);
153//$
154list I=mres(i,0);
155I;
156kill r;
157ring cyc5 =32003,(a,b,c,d,e,f),(C,dp);
158ideal i=
159a5-b5,
160b5-c5,
161c5-d5,
162d5-e5,
163a4*b+b4*c+c4*d+d4*e+a*e4;
164list I=mres(i,0);
165I;
166kill cyc5;
167ring an=32003,(t,x,y,z,w),(C,dp);
168ideal i=
1692t3x5y2z+t5x2yw3+2x2yw8,
1703t6x2yz2+9t3y2zw5+2xy3z2w5,
171t3x5y2z2+tx2y3w6+2t5zw6;
172list I=mres(i,0);
173I;
174kill an;
175ring r=0,(x,y,z,t,w),(C,dp);
176ideal i=6*t^5*x^3*z+5*x^5*z^4+4*t^4*y*w^4,
1775*x*y^6*z^4+5*t^3*y^2*z^3*w^3+4*t^2*x^4*w^5,
1782*t^4*z^3+6*t*y*z^4*w+6*y^2*w^5;
179list I=mres(i,0);
180I;
181kill r;
182LIB "tst.lib";tst_status(1);$;
Note: See TracBrowser for help on using the repository browser.