source: git/Singular/mptest.sr @ 82716e

spielwiese
Last change on this file since 82716e was feaddd, checked in by Olaf Bachmann <obachman@…>, 27 years ago
Thu Apr 10 11:59:41 1997 Olaf Bachmann <obachman@ratchwum.mathematik.uni-kl.de (Olaf Bachmann)> * remote quit is now arranged using MP_CopMpQuit * Updated mpsr_* files for new naming convention of MP v:1.1.2 git-svn-id: file:///usr/local/Singular/svn/trunk@146 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 5.7 KB
Line 
1proc mptest (lv)
2{
3  print(lv);
4  write("MPfile:w /tmp/t.mp", lv);
5  return(lv == read("MPfile: /tmp/t.mp"));
6};
7
8proc mpt(lv)
9{
10  lv;
11  write("MPfile:w /tmp/t.mp", lv);
12  def r = read("MPfile: /tmp/t.mp");
13  r;
14};
15
16int i;
17int i1 = 1;
18int i2 = -100092;
19
20intvec iv;
21intvec iv1 = 1,2,3;
22intvec iv2 = -1,2,-3,4,-5;
23
24intmat im;
25intmat im1[2][3]=1,3,5,7,8;
26intmat im2[3][3]= -1,2,-3,4,-5;
27
28string s;
29string s1 = "Hello World";
30
31list l;
32list l1 = i,iv,im,i1,iv1,im1;
33list l2 = l1, iv2, l, im2;
34
35ring r;
36
37poly p;
38number n;
39number n1 = 2;
40number n2 = -7;
41
42poly p1 = x + y;
43poly p2 = xyz - 2x3y4z5 + 3xy -4yz + 5z;
44poly p3 = p2^4;
45
46vector v;
47vector v1 = [p1, p2];
48vector v2 = [p, p1,p2, p3] + p1*gen(5);
49
50ideal id;
51ideal id1 = p, p1, p2, p3;
52ideal id2 = p, p1+p2, p2+3, p1+p2+p3, p1, p2, p3;
53
54module mv;
55module mv1 = v, v1, v2;
56module mv2 = v1+v2, p1*v2, p2*(v1-v2), v, v1, v2;
57
58matrix m;
59matrix m1[2][3] = p, p1, p2, id1;
60matrix m2[4][4] =  p, p1, p2, p3, id1, id2;
61
62
63ideal j = std(id1);
64
65qring q = j;
66poly p11 = x + y;
67poly p12 = xyz - 2x3y4z5 + 3xy -4yz + 5z;
68poly p13 = p12^4;
69
70ring rtm = 32003, (x,y,z,t), dp;
71ideal ex = t3y7z4 + 9x8 + 5t2x4y2 + 2t2xy2z3,
722t2x5y4+7txy6+9y8 + 2t2x2yz3,  3t4x2y3z2 + 9z8, 3x2y9 +
73y9 + 5x4;
74
75ring rt0 = 0, (x,y,z,t), dp;
76ideal ex = t3y7z4 + 9x8 + 5t2x4y2 + 2t2xy2z3,
772t2x5y4+7txy6+9y8 + 2t2x2yz3,  3t4x2y3z2 + 9z8, 3x2y9 +
78y9 + 5x4;
79
80
81ring rr = 32003,(a,b),dp;
82map f = r, a,b,a+b;
83map g   = rr,a2,b2;
84map phi = g(f);
85
86
87ring r0 = 0, x, lp;
88number n;
89number n1 = 29734481274863241234589;
90number n2 = n1/(n1-6);
91
92poly p;
93poly p1 = n1*x + n2*x^4 + 7/3*x^2*x^5 - 6;
94poly p2 = x*x*x - 2*x^3*x^4*x^5 + 3*x*x -4*x*x + 5*x^2 + p1;
95poly p3 = p2*p2;
96
97vector v;
98vector v1 = [p1, p2];
99vector v2 = [p, p1,p2, p3] + p1*gen(5);
100
101ideal id;
102ideal id1 = p, p1, p2, p3;
103ideal id2 = p, p1+p2, p2+3, p1+p2+p3, p1, p2, p3;
104
105module mv;
106module mv1 = v, v1, v2;
107module mv2 = v1+v2, p1*v2, p2*(v1-v2), v, v1, v2;
108
109matrix m;
110matrix m1[2][3] = p, p1, p2, id1;
111matrix m2[4][4] =  p, p1, p2, p3, id1, id2;
112
113
114ring r1 = 0, x(1..10), ls;
115
116number n;
117number n1 = 29734481274863241234589;
118number n2 = n1/(n1-6);
119
120poly p;
121poly p1 = n1*x(1) + n2*x(5)^4 + 7/3*x(3)^2*x(4)^5 - 6;
122poly p2 = x(2)*x(5)*x(6) - 2*x(7)^3*x(8)^4*x(9)^5 + 3*x(1)*x(5) -4*x(5)*x(9) +
1235*x(9)^2 + p1;
124poly p3 = p2*p2;
125
126vector v;
127vector v1 = [p1, p2];
128vector v2 = [p, p1,p2, p3] + p1*gen(5);
129
130ideal id;
131ideal id1 = p, p1, p2, p3;
132ideal id2 = p, p1+p2, p2+3, p1+p2+p3, p1, p2, p3;
133
134module mv;
135module mv1 = v, v1, v2;
136module mv2 = v1+v2, p1*v2, p2*(v1-v2), v, v1, v2;
137
138matrix m;
139matrix m1[2][3] = p, p1, p2, id1;
140matrix m2[4][4] =  p, p1, p2, p3, id1, id2;
141
142ring r2=10,(x(1..6)),(lp(2),dp(4));
143number n;
144number n1 = 29734481274863241234589;
145number n2 = n1/(n1-6);
146
147poly p;
148poly p1 = n1*x(1) + n2*x(5)^4 + 7/3*x(3)^2*x(4)^5 - 6;
149poly p2 = x(2)*x(5)*x(6) - 2*x(1)^3*x(2)^4*x(3)^5 + 3*x(1)*x(5) -4*x(5)*x(3) +
1505*x(3)^2 + p1;
151poly p3 = p2*p2;
152
153vector v;
154vector v1 = [p1, p2];
155vector v2 = [p, p1,p2, p3] + p1*gen(5);
156
157ideal id;
158ideal id1 = p, p1, p2, p3;
159ideal id2 = p, p1+p2, p2+3, p1+p2+p3, p1, p2, p3;
160
161module mv;
162module mv1 = v, v1, v2;
163module mv2 = v1+v2, p1*v2, p2*(v1-v2), v, v1, v2;
164
165matrix m;
166matrix m1[2][3] = p, p1, p2, id1;
167matrix m2[4][4] =  p, p1, p2, p3, id1, id2;
168
169ring r3=(7,a, b, c),(x,y,z),dp;
170number n;
171number n1 = 2*a^2*b*c -3*b*c + -1*a + 4;
172number n2 = n1 / (n1 - 5c)^2;
173
174poly p;
175poly p1 = x + y + a;
176poly p2 = 3*a^2*xyz*n1 - 2*n2*x3y4z5 + 3xy -4yz + n1*z;
177poly p3 = p2*p1;
178
179vector v;
180vector v1 = [p1, p2];
181vector v2 = [p, p1,p2, p3] + p1*gen(5);
182
183ideal id;
184ideal id1 = p, p1, p2, p3;
185ideal id2 = p, p1+p2, p2+3, p1+p2+p3, p1, p2, p3;
186
187module mv;
188module mv1 = v, v1, v2;
189module mv2 = v1+v2, p1*v2, p2*(v1-v2), v, v1, v2;
190
191matrix m;
192matrix m1[2][3] = p, p1, p2, id1;
193matrix m2[4][4] =  p, p1, p2, p3, id1, id2;
194
195ring r4=(7,a),(x,y,z),dp;
196minpoly=a^2+a+3;
197poly p;
198number n;
199number n1 = 2*a^2 + 3;
200number n2 = n1 / (n1 -5)^3;
201
202poly p1 = x + y + a;
203poly p2 = 3*a^2*xyz*n1 - 2*n2*x3y4z5 + 3xy -4yz + n1*z;
204poly p3 = p2^4;
205
206vector v;
207vector v1 = [p1, p2];
208vector v2 = [p, p1,p2, p3] + p1*gen(5);
209
210ideal id;
211ideal id1 = p, p1, p2, p3;
212ideal id2 = p, p1+p2, p2+3, p1+p2+p3, p1, p2, p3;
213
214module mv;
215module mv1 = v, v1, v2;
216module mv2 = v1+v2, p1*v2, p2*(v1-v2), v, v1, v2;
217
218matrix m;
219matrix m1[2][3] = p, p1, p2, id1;
220matrix m2[4][4] =  p, p1, p2, p3, id1, id2;
221
222ring r5=(49,a),(x,y,z),dp;
223poly p;
224number n;
225number n1 = 2*a^2 + 3;
226number n2 = n1 / (n1 -5)^3;
227
228poly p1 = x + y + a;
229poly p2 = 3*a^2*xyz*n1 - 2*n2*x3y4z5 + 3xy -4yz + n1*z;
230poly p3 = p2^4;
231
232vector v;
233vector v1 = [p1, p2];
234vector v2 = [p, p1,p2, p3] + p1*gen(5);
235
236ideal id;
237ideal id1 = p, p1, p2, p3;
238ideal id2 = p, p1+p2, p2+3, p1+p2+p3, p1, p2, p3;
239
240module mv;
241module mv1 = v, v1, v2;
242module mv2 = v1+v2, p1*v2, p2*(v1-v2), v, v1, v2;
243
244matrix m;
245matrix m1[2][3] = p, p1, p2, id1;
246matrix m2[4][4] =  p, p1, p2, p3, id1, id2;
247
248ring r6 = 32003, (x,y,z), wp(1,2,3);
249poly p = (xyz - 2x3y4z5 + 3xy -4yz + 5z + 2)^2;
250
251ring r7 = 32003, (x,y,z), Ws(1,2,3);
252poly p = (xyz - 2x3y4z5 + 3xy -4yz + 5z + 2)^2;
253
254ring r8 = 32003, (a,b,c,x,y,z), (dp(3), wp(1,2,3));
255poly p = (xyzabc - 2x3y4z5a2b4c3 + 3xya2 -4yzb3c2 + 5zc + 2)^2;
256
257ring r9 = 32003, (a,b,c,x,y,z), (a(1,2,3,4,5),Dp(3), ds(3));
258poly p = (xyzabc - 2x3y4z5a2b4c3 + 3xya2 -4yzb3c2 + 5zc + 2)^2;
259
260ring r10 = 32003, (x,y,z), M(1, 0, 0, 0, 1, 0, 0, 0, 1);
261poly p = (xyz - 2x3y4z5 + 3xy -4yz + 5z + 2)^2;
262
263ring r11 = 0, x(1..10), (lp(2), M(1, 2, 3, 1, 1, 1, 1, 0, 0), ds(2), ws(1,2,3));
264poly p1 = x(1) + 123399456085/(123399456085 + 1)*x(5)^4 + 7/3*x(3)^2*x(4)^5 - 6;
265poly p2 = x(2)*x(5)*x(6) - 2*x(7)^3*x(8)^4*x(9)^5 + 3*x(1)*x(5) -4*x(5)*x(9) +
2665*x(9)^2 + p1;
267
268ring r12 = 0, (x,y,z), (C,lp);
269vector v1 = [x+y2,z3+xy];
270vector v2 = [x,x,x];
271
272ring r13 = 0, (x,y,z), (lp,c);
273vector v1 = [x+y2,z3+xy];
274vector v2 = [x,x,x];
275
276ring r14 = 0, (x,y,z), (c,lp);
277vector v1 = [x+y2,z3+xy];
278vector v2 = [x,x,x];
279
Note: See TracBrowser for help on using the repository browser.