source: git/Singular/mptest2.sr @ 7222f9

spielwiese
Last change on this file since 7222f9 was cc0296, checked in by Olaf Bachmann <obachman@…>, 27 years ago
Various minor bug-fixes in mpsr interface Thu Mar 20 11:57:00 1997 Olaf Bachmann <obachman@schlupp.mathematik.uni-kl.de (Olaf Bachmann)> * sing_mp.cc (slInitBatchLink): initialized silink such that l->argv[0] == "MP:connect" (otherwise, slInitMP failed) Wed Mar 19 15:38:08 1997 Olaf Bachmann <obachman@schlupp.mathematik.uni-kl.de (Olaf Bachmann)> * hannes fixed maFindPerm to reflect new names <->parameter scheme * sing_mp.cc (mpsr_IsMPLink): fixed it * Makefile (tags): added target tags git-svn-id: file:///usr/local/Singular/svn/trunk@61 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 5.3 KB
Line 
1int i;
2int i1 = 1;
3int i2 = -100092;
4
5
6intvec iv;
7intvec iv1 = 1,2,3;
8intvec iv2 = -1,2,-3,4,-5;
9
10intmat im;
11intmat im1[2][3]=1,3,5,7,8;
12intmat im2[3][3]= -1,2,-3,4,-5;
13
14string s;
15string s1 = "Hello World";
16
17list l;
18list l1 = i,iv,im,i1,iv1,im1;
19list l2 = l1, iv2, l, im2;
20
21
22ring r;
23
24poly p;
25number n;
26number n1 = 2;
27number n2 = -7;
28
29poly p1 = x + y;
30poly p2 = xyz - 2x3y4z5 + 3xy -4yz + 5z;
31poly p3 = p2^4;
32
33vector v;
34vector v1 = [p1, p2];
35vector v2 = [p, p1,p2, p3] + p1*gen(5);
36
37ideal id;
38ideal id1 = p, p1, p2, p3;
39ideal id2 = p, p1+p2, p2+3, p1+p2+p3, p1, p2, p3;
40
41module mv;
42module mv1 = v, v1, v2;
43module mv2 = v1+v2, p1*v2, p2*(v1-v2), v, v1, v2;
44
45matrix m;
46matrix m1[2][3] = p, p1, p2, id1;
47matrix m2[4][4] =  p, p1, p2, p3, id1, id2;
48
49
50ideal j = std(id1);
51
52qring q = j;
53poly p11 = x + y;
54poly p12 = xyz - 2x3y4z5 + 3xy -4yz + 5z;
55poly p13 = p12^4;
56
57
58
59ring rr = 32003,(a,b),dp;
60map f = r, a,b,a+b;
61map g   = rr,a2,b2;
62map phi = g(f);
63
64
65ring r0 = 0, x, lp;
66number n;
67number n1 = 29734481274863241234589;
68number n2 = n1/(n1-6);
69
70poly p;
71poly p1 = n1*x + n2*x^4 + 7/3*x^2*x^5 - 6;
72poly p2 = x*x*x - 2*x^3*x^4*x^5 + 3*x*x -4*x*x + 5*x^2 + p1;
73poly p3 = p2*p2;
74
75vector v;
76vector v1 = [p1, p2];
77vector v2 = [p, p1,p2, p3] + p1*gen(5);
78
79ideal id;
80ideal id1 = p, p1, p2, p3;
81ideal id2 = p, p1+p2, p2+3, p1+p2+p3, p1, p2, p3;
82
83module mv;
84module mv1 = v, v1, v2;
85module mv2 = v1+v2, p1*v2, p2*(v1-v2), v, v1, v2;
86
87matrix m;
88matrix m1[2][3] = p, p1, p2, id1;
89matrix m2[4][4] =  p, p1, p2, p3, id1, id2;
90
91
92ring r1 = 0, x(1..10), ls;
93
94number n;
95number n1 = 29734481274863241234589;
96number n2 = n1/(n1-6);
97
98poly p;
99poly p1 = n1*x(1) + n2*x(5)^4 + 7/3*x(3)^2*x(4)^5 - 6;
100poly 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) +
1015*x(9)^2 + p1;
102poly p3 = p2*p2;
103
104vector v;
105vector v1 = [p1, p2];
106vector v2 = [p, p1,p2, p3] + p1*gen(5);
107
108ideal id;
109ideal id1 = p, p1, p2, p3;
110ideal id2 = p, p1+p2, p2+3, p1+p2+p3, p1, p2, p3;
111
112module mv;
113module mv1 = v, v1, v2;
114module mv2 = v1+v2, p1*v2, p2*(v1-v2), v, v1, v2;
115
116matrix m;
117matrix m1[2][3] = p, p1, p2, id1;
118matrix m2[4][4] =  p, p1, p2, p3, id1, id2;
119
120ring r2=10,(x(1..6)),(lp(2),dp(4));
121number n;
122number n1 = 29734481274863241234589;
123number n2 = n1/(n1-6);
124
125poly p;
126poly p1 = n1*x(1) + n2*x(5)^4 + 7/3*x(3)^2*x(4)^5 - 6;
127poly 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) +
1285*x(3)^2 + p1;
129poly p3 = p2*p2;
130
131vector v;
132vector v1 = [p1, p2];
133vector v2 = [p, p1,p2, p3] + p1*gen(5);
134
135ideal id;
136ideal id1 = p, p1, p2, p3;
137ideal id2 = p, p1+p2, p2+3, p1+p2+p3, p1, p2, p3;
138
139module mv;
140module mv1 = v, v1, v2;
141module mv2 = v1+v2, p1*v2, p2*(v1-v2), v, v1, v2;
142
143matrix m;
144matrix m1[2][3] = p, p1, p2, id1;
145matrix m2[4][4] =  p, p1, p2, p3, id1, id2;
146
147ring r3=(7,a, b, c),(x,y,z),dp;
148number n;
149number n1 = 2*a^2*b*c -3*b*c + -1*a + 4;
150number n2 = n1 / (n1 - 5c)^2;
151
152poly p;
153poly p1 = x + y + a;
154poly p2 = 3*a^2*xyz*n1 - 2*n2*x3y4z5 + 3xy -4yz + n1*z;
155poly p3 = p2*p1;
156
157vector v;
158vector v1 = [p1, p2];
159vector v2 = [p, p1,p2, p3] + p1*gen(5);
160
161ideal id;
162ideal id1 = p, p1, p2, p3;
163ideal id2 = p, p1+p2, p2+3, p1+p2+p3, p1, p2, p3;
164
165module mv;
166module mv1 = v, v1, v2;
167module mv2 = v1+v2, p1*v2, p2*(v1-v2), v, v1, v2;
168
169matrix m;
170matrix m1[2][3] = p, p1, p2, id1;
171matrix m2[4][4] =  p, p1, p2, p3, id1, id2;
172
173ring r4=(7,a),(x,y,z),dp;
174minpoly=a^2+a+3;
175poly p;
176number n;
177number n1 = 2*a^2 + 3;
178number n2 = n1 / (n1 -5)^3;
179
180poly p1 = x + y + a;
181poly p2 = 3*a^2*xyz*n1 - 2*n2*x3y4z5 + 3xy -4yz + n1*z;
182poly p3 = p2^4;
183
184vector v;
185vector v1 = [p1, p2];
186vector v2 = [p, p1,p2, p3] + p1*gen(5);
187
188ideal id;
189ideal id1 = p, p1, p2, p3;
190ideal id2 = p, p1+p2, p2+3, p1+p2+p3, p1, p2, p3;
191
192module mv;
193module mv1 = v, v1, v2;
194module mv2 = v1+v2, p1*v2, p2*(v1-v2), v, v1, v2;
195
196matrix m;
197matrix m1[2][3] = p, p1, p2, id1;
198matrix m2[4][4] =  p, p1, p2, p3, id1, id2;
199
200ring r5=(49,a),(x,y,z),dp;
201poly p;
202number n;
203number n1 = 2*a^2 + 3;
204number n2 = n1 / (n1 -5)^3;
205
206poly p1 = x + y + a;
207poly p2 = 3*a^2*xyz*n1 - 2*n2*x3y4z5 + 3xy -4yz + n1*z;
208poly p3 = p2^4;
209
210vector v;
211vector v1 = [p1, p2];
212vector v2 = [p, p1,p2, p3] + p1*gen(5);
213
214ideal id;
215ideal id1 = p, p1, p2, p3;
216ideal id2 = p, p1+p2, p2+3, p1+p2+p3, p1, p2, p3;
217
218module mv;
219module mv1 = v, v1, v2;
220module mv2 = v1+v2, p1*v2, p2*(v1-v2), v, v1, v2;
221
222matrix m;
223matrix m1[2][3] = p, p1, p2, id1;
224matrix m2[4][4] =  p, p1, p2, p3, id1, id2;
225
226// Test different variable orderings
227
228ring r6 = 32003, (x,y,z), wp(1,2,3);
229poly p = (xyz - 2x3y4z5 + 3xy -4yz + 5z + 2)^2;
230
231ring r7 = 32003, (x,y,z), Ws(1,2,3);
232poly p = (xyz - 2x3y4z5 + 3xy -4yz + 5z + 2)^2;
233
234ring r8 = 32003, (a,b,c,x,y,z), (dp(3), wp(1,2,3));
235poly p = (xyzabc - 2x3y4z5a2b4c3 + 3xya2 -4yzb3c2 + 5zc + 2)^2;
236
237ring r9 = 32003, (a,b,c,x,y,z), (a(1,2,3,4,5),Dp(3), ds(3));
238poly p = (xyzabc - 2x3y4z5a2b4c3 + 3xya2 -4yzb3c2 + 5zc + 2)^2;
239
240ring r10 = 32003, (x,y,z), M(1, 0, 0, 0, 1, 0, 0, 0, 1);
241poly p = (xyz - 2x3y4z5 + 3xy -4yz + 5z + 2)^2;
242
243ring r11 = 0, x(1..10), (lp(2), M(1, 2, 3, 1, 1, 1, 1, 0, 0), ds(2), ws(1,2,3));
244poly p1 = x(1) + 123399456085/(123399456085 + 1)*x(5)^4 + 7/3*x(3)^2*x(4)^5 - 6;
245poly 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) +
2465*x(9)^2 + p1;
247
248ring r12 = 0, (x,y,z), (C,lp);
249vector v1 = [x+y2,z3+xy];
250vector v2 = [x,x,x];
251
252ring r13 = 0, (x,y,z), (lp,c);
253vector v1 = [x+y2,z3+xy];
254vector v2 = [x,x,x];
255
256ring r14 = 0, (x,y,z), (c,lp);
257vector v1 = [x+y2,z3+xy];
258vector v2 = [x,x,x];
259
260
Note: See TracBrowser for help on using the repository browser.