Context Navigation

imap.tst @ d78e6e

spielwiese

Last change on this file since d78e6e was d78e6e, checked in by Olaf Bachmann <obachman@…>, 25 years ago
* added imap test which tests all different possibilities of map, imap, and fetch (needs discussing - updating) git-svn-id: file:///usr/local/Singular/svn/trunk@2895 2c84dea3-7e68-4137-9b89-c4e89433aadc
Property mode set to `100644`
File size: 10.6 KB

Line
1	LIB "tst.lib";
2	tst_init();
3
4	ring r0 = 0, (a,b,x,y), lp;
5	poly p = 1 + a + a2 + b + ab + ax + ay + bx + x + y + xy; p;
6
7	ring r1 = (0, a), (b, x, y), lp;
8	poly p = 1 + a + a2 + b + ab + ax + ay + bx + x + y + xy; p;
9
10	ring r2 = (0, a, b), (x, y), lp;
11	poly p = 1 + a + a2 + b + ab + ax + ay + bx + x + y + xy; p;
12
13	ring s0 = 32003, (a,b,x,y), lp;
14	poly p = 1 + a + a2 + b + ab + ax + ay + bx + x + y + xy; p;
15
16	ring s1 = (32003, a), (b, x, y), lp;
17	poly p = 1 + a + a2 + b + ab + ax + ay + bx + x + y + xy; p;
18
19	ring s2 = (32003, a,b), (x, y), lp;
20	poly p = 1 + a + a2 + b + ab + ax + ay + bx + x + y + xy; p;
21
22	ring t0 = 7, (a,b,x,y), lp;
23	poly p = 1 + a + a2 + b + ab + ax + ay + bx + x + y + xy; p;
24
25	ring t1 = (7, a), (b, x, y), lp;
26	poly p = 1 + a + a2 + b + ab + ax + ay + bx + x + y + xy; p;
27
28	ring t2 = (7, a,b), (x, y), lp;
29	poly p = 1 + a + a2 + b + ab + ax + ay + bx + x + y + xy; p;
30
31	ring f0 = (0, a) , (b, x, y), lp; minpoly = a2 + 1;
32	poly p = 1 + a + a2 + b + ab + ax + ay + bx + x + y + xy; p;
33
34	ring f1 = (7, a) , (b, x, y), lp; minpoly = a2 + 1;
35	poly p = 1 + a + a2 + b + ab + ax + ay + bx + x + y + xy; p;
36
37	ring f2 = (49, a), (b, x, y), lp;
38	poly p = 1 + a + a2 + b + ab + ax + ay + bx + x + y + xy; p;
39
40
41
42	setring r0;
43	imap(r0, p);
44	imap (r1, p);
45	imap(r2, p);
46	imap(s0, p);
47	imap (s1, p);
48	imap(s2, p);
49	imap(t0, p);
50	imap (t1, p);
51	imap(t2, p);
52	imap(f2, p);
53	imap(f1, p);
54	imap(f0, p);
55
56	setring r1;
57	imap(r0, p);
58	imap (r1, p);
59	imap(r2, p);
60	imap(s0, p);
61	imap (s1, p);
62	imap(s2, p);
63	imap(t0, p);
64	imap (t1, p);
65	imap(t2, p);
66	imap(f2, p);
67	imap(f1, p);
68	imap(f0, p);
69
70	setring r2;
71	imap(r0, p);
72	imap (r1, p);
73	imap(r2, p);
74	imap(s0, p);
75	imap (s1, p);
76	imap(s2, p);
77	imap(t0, p);
78	imap (t1, p);
79	imap(t2, p);
80	imap(f2, p);
81	imap(f1, p);
82	imap(f0, p);
83
84	setring s0;
85	imap(r0, p);
86	imap (r1, p);
87	imap(r2, p);
88	imap(s0, p);
89	imap (s1, p);
90	imap(s2, p);
91	imap(t0, p);
92	imap (t1, p);
93	imap(t2, p);
94	imap(f2, p);
95	imap(f1, p);
96	imap(f0, p);
97
98	setring s1;
99	imap(r0, p);
100	imap (r1, p);
101	imap(r2, p);
102	imap(s0, p);
103	imap (s1, p);
104	imap(s2, p);
105	imap(t0, p);
106	imap (t1, p);
107	imap(t2, p);
108	imap(f2, p);
109	imap(f1, p);
110	imap(f0, p);
111
112	setring s2;
113	imap(r0, p);
114	imap (r1, p);
115	imap(r2, p);
116	imap(s0, p);
117	imap (s1, p);
118	imap(s2, p);
119	imap(t0, p);
120	imap (t1, p);
121	imap(t2, p);
122	imap(f2, p);
123	imap(f1, p);
124	imap(f0, p);
125
126	setring t0;
127	imap(r0, p);
128	imap (r1, p);
129	imap(r2, p);
130	imap(s0, p);
131	imap (s1, p);
132	imap(s2, p);
133	imap(t0, p);
134	imap (t1, p);
135	imap(t2, p);
136	imap(f2, p);
137	imap(f1, p);
138	imap(f0, p);
139
140	setring t1;
141	imap(r0, p);
142	imap (r1, p);
143	imap(r2, p);
144	imap(s0, p);
145	imap (s1, p);
146	imap(s2, p);
147	imap(t0, p);
148	imap (t1, p);
149	imap(t2, p);
150	imap(f2, p);
151	imap(f1, p);
152	imap(f0, p);
153
154	setring t2;
155	imap(r0, p);
156	imap (r1, p);
157	imap(r2, p);
158	imap(s0, p);
159	imap (s1, p);
160	imap(s2, p);
161	imap(t0, p);
162	imap (t1, p);
163	imap(t2, p);
164	imap(f2, p);
165	imap(f1, p);
166	imap(f0, p);
167
168	setring f2;
169	imap(r0, p);
170	imap (r1, p);
171	imap(r2, p);
172	imap(s0, p);
173	imap (s1, p);
174	imap(s2, p);
175	imap(t0, p);
176	imap (t1, p);
177	imap(t2, p);
178	imap(f2, p);
179	imap(f1, p);
180	imap(f0, p);
181
182	setring f1;
183	imap(r0, p);
184	imap (r1, p);
185	imap(r2, p);
186	imap(s0, p);
187	imap (s1, p);
188	imap(s2, p);
189	imap(t0, p);
190	imap (t1, p);
191	imap(t2, p);
192	imap(f2, p);
193	imap(f1, p);
194	imap(f0, p);
195
196	setring f0;
197	imap(r0, p);
198	imap (r1, p);
199	imap(r2, p);
200	imap(s0, p);
201	imap (s1, p);
202	imap(s2, p);
203	imap(t0, p);
204	imap (t1, p);
205	imap(t2, p);
206	imap(f2, p);
207	imap(f1, p);
208	imap(f0, p);
209
210	setring r0;
211	fetch(r0, p);
212	fetch (r1, p);
213	fetch(r2, p);
214	fetch(s0, p);
215	fetch (s1, p);
216	fetch(s2, p);
217	fetch(t0, p);
218	fetch (t1, p);
219	fetch(t2, p);
220	fetch(f2, p);
221	fetch(f1, p);
222	fetch(f0, p);
223
224	setring r1;
225	fetch(r0, p);
226	fetch (r1, p);
227	fetch(r2, p);
228	fetch(s0, p);
229	fetch (s1, p);
230	fetch(s2, p);
231	fetch(t0, p);
232	fetch (t1, p);
233	fetch(t2, p);
234	fetch(f2, p);
235	fetch(f1, p);
236	fetch(f0, p);
237
238	setring r2;
239	fetch(r0, p);
240	fetch (r1, p);
241	fetch(r2, p);
242	fetch(s0, p);
243	fetch (s1, p);
244	fetch(s2, p);
245	fetch(t0, p);
246	fetch (t1, p);
247	fetch(t2, p);
248	fetch(f2, p);
249	fetch(f1, p);
250	fetch(f0, p);
251
252	setring s0;
253	fetch(r0, p);
254	fetch (r1, p);
255	fetch(r2, p);
256	fetch(s0, p);
257	fetch (s1, p);
258	fetch(s2, p);
259	fetch(t0, p);
260	fetch (t1, p);
261	fetch(t2, p);
262	fetch(f2, p);
263	fetch(f1, p);
264	fetch(f0, p);
265
266	setring s1;
267	fetch(r0, p);
268	fetch (r1, p);
269	fetch(r2, p);
270	fetch(s0, p);
271	fetch (s1, p);
272	fetch(s2, p);
273	fetch(t0, p);
274	fetch (t1, p);
275	fetch(t2, p);
276	fetch(f2, p);
277	fetch(f1, p);
278	fetch(f0, p);
279
280	setring s2;
281	fetch(r0, p);
282	fetch (r1, p);
283	fetch(r2, p);
284	fetch(s0, p);
285	fetch (s1, p);
286	fetch(s2, p);
287	fetch(t0, p);
288	fetch (t1, p);
289	fetch(t2, p);
290	fetch(f2, p);
291	fetch(f1, p);
292	fetch(f0, p);
293
294	setring t0;
295	fetch(r0, p);
296	fetch (r1, p);
297	fetch(r2, p);
298	fetch(s0, p);
299	fetch (s1, p);
300	fetch(s2, p);
301	fetch(t0, p);
302	fetch (t1, p);
303	fetch(t2, p);
304	fetch(f2, p);
305	fetch(f1, p);
306	fetch(f0, p);
307
308	setring t1;
309	fetch(r0, p);
310	fetch (r1, p);
311	fetch(r2, p);
312	fetch(s0, p);
313	fetch (s1, p);
314	fetch(s2, p);
315	fetch(t0, p);
316	fetch (t1, p);
317	fetch(t2, p);
318	fetch(f2, p);
319	fetch(f1, p);
320	fetch(f0, p);
321
322	setring t2;
323	fetch(r0, p);
324	fetch (r1, p);
325	fetch(r2, p);
326	fetch(s0, p);
327	fetch (s1, p);
328	fetch(s2, p);
329	fetch(t0, p);
330	fetch (t1, p);
331	fetch(t2, p);
332	fetch(f2, p);
333	fetch(f1, p);
334	fetch(f0, p);
335
336	setring f2;
337	fetch(r0, p);
338	fetch (r1, p);
339	fetch(r2, p);
340	fetch(s0, p);
341	fetch (s1, p);
342	fetch(s2, p);
343	fetch(t0, p); core dump nsetMap ok -- while doing permutation
344	fetch (t1, p);
345	fetch(t2, p);
346	fetch(f2, p);
347	fetch(f1, p);
348	fetch(f0, p);
349
350	setring f1;
351	fetch(r0, p);
352	fetch (r1, p);
353	fetch(r2, p);
354	fetch(s0, p);
355	fetch (s1, p);
356	fetch(s2, p);
357	fetch(t0, p);
358	fetch (t1, p);
359	fetch(t2, p);
360	fetch(f2, p);
361	fetch(f1, p);
362	fetch(f0, p);
363
364	setring f0;
365	fetch(r0, p);
366	fetch (r1, p);
367	fetch(r2, p);
368	fetch(s0, p);
369	fetch (s1, p);
370	fetch(s2, p);
371	fetch(t0, p);
372	fetch (t1, p);
373	fetch(t2, p);
374	fetch(f2, p);
375	fetch(f1, p);
376	fetch(f0, p);
377
378	setring r0;
379	map m_r0 = r0,maxideal(1); m_r0(p);
380	map m_r1 = r1,maxideal(1); m_r1(p);
381	map m_r2 = r2,maxideal(1); m_r2(p);
382	map m_s0 = s0,maxideal(1); m_s0(p);
383	map m_s1 = s1,maxideal(1); m_s1(p);
384	map m_s2 = s2,maxideal(1); m_s2(p);
385	map m_t0 = t0,maxideal(1); m_t0(p);
386	map m_t1 = t1,maxideal(1); m_t1(p);
387	map m_t2 = t2,maxideal(1); m_t2(p);
388	map m_f2 = f2,maxideal(1); m_f2(p);
389	map m_f1 = f1,maxideal(1); m_f1(p);
390	map m_f0 = f0,maxideal(1); m_f0(p);
391
392	setring r1;
393	map m_r0 = r0,maxideal(1); m_r0(p);
394	map m_r1 = r1,maxideal(1); m_r1(p);
395	map m_r2 = r2,maxideal(1); m_r2(p);
396	map m_s0 = s0,maxideal(1); m_s0(p);
397	map m_s1 = s1,maxideal(1); m_s1(p);
398	map m_s2 = s2,maxideal(1); m_s2(p);
399	map m_t0 = t0,maxideal(1); m_t0(p);
400	map m_t1 = t1,maxideal(1); m_t1(p);
401	map m_t2 = t2,maxideal(1); m_t2(p);
402	map m_f2 = f2,maxideal(1); m_f2(p);
403	map m_f1 = f1,maxideal(1); m_f1(p);
404	map m_f0 = f0,maxideal(1); m_f0(p);
405
406	setring r2;
407	map m_r0 = r0,maxideal(1); m_r0(p);
408	map m_r1 = r1,maxideal(1); m_r1(p);
409	map m_r2 = r2,maxideal(1); m_r2(p);
410	map m_s0 = s0,maxideal(1); m_s0(p);
411	map m_s1 = s1,maxideal(1); m_s1(p);
412	map m_s2 = s2,maxideal(1); m_s2(p);
413	map m_t0 = t0,maxideal(1); m_t0(p);
414	map m_t1 = t1,maxideal(1); m_t1(p);
415	map m_t2 = t2,maxideal(1); m_t2(p);
416	map m_f2 = f2,maxideal(1); m_f2(p);
417	map m_f1 = f1,maxideal(1); m_f1(p);
418	map m_f0 = f0,maxideal(1); m_f0(p);
419
420	setring s0;
421	map m_r0 = r0,maxideal(1); m_r0(p);
422	map m_r1 = r1,maxideal(1); m_r1(p);
423	map m_r2 = r2,maxideal(1); m_r2(p);
424	map m_s0 = s0,maxideal(1); m_s0(p);
425	map m_s1 = s1,maxideal(1); m_s1(p);
426	map m_s2 = s2,maxideal(1); m_s2(p);
427	map m_t0 = t0,maxideal(1); m_t0(p);
428	map m_t1 = t1,maxideal(1); m_t1(p);
429	map m_t2 = t2,maxideal(1); m_t2(p);
430	map m_f2 = f2,maxideal(1); m_f2(p);
431	map m_f1 = f1,maxideal(1); m_f1(p);
432	map m_f0 = f0,maxideal(1); m_f0(p);
433
434	setring s1;
435	map m_r0 = r0,maxideal(1); m_r0(p);
436	map m_r1 = r1,maxideal(1); m_r1(p);
437	map m_r2 = r2,maxideal(1); m_r2(p);
438	map m_s0 = s0,maxideal(1); m_s0(p);
439	map m_s1 = s1,maxideal(1); m_s1(p);
440	map m_s2 = s2,maxideal(1); m_s2(p);
441	map m_t0 = t0,maxideal(1); m_t0(p);
442	map m_t1 = t1,maxideal(1); m_t1(p);
443	map m_t2 = t2,maxideal(1); m_t2(p);
444	map m_f2 = f2,maxideal(1); m_f2(p);
445	map m_f1 = f1,maxideal(1); m_f1(p);
446	map m_f0 = f0,maxideal(1); m_f0(p);
447
448	setring s2;
449	map m_r0 = r0,maxideal(1); m_r0(p);
450	map m_r1 = r1,maxideal(1); m_r1(p);
451	map m_r2 = r2,maxideal(1); m_r2(p);
452	map m_s0 = s0,maxideal(1); m_s0(p);
453	map m_s1 = s1,maxideal(1); m_s1(p);
454	map m_s2 = s2,maxideal(1); m_s2(p);
455	map m_t0 = t0,maxideal(1); m_t0(p);
456	map m_t1 = t1,maxideal(1); m_t1(p);
457	map m_t2 = t2,maxideal(1); m_t2(p);
458	map m_f2 = f2,maxideal(1); m_f2(p);
459	map m_f1 = f1,maxideal(1); m_f1(p);
460	map m_f0 = f0,maxideal(1); m_f0(p);
461
462	setring t0;
463	map m_r0 = r0,maxideal(1); m_r0(p);
464	map m_r1 = r1,maxideal(1); m_r1(p);
465	map m_r2 = r2,maxideal(1); m_r2(p);
466	map m_s0 = s0,maxideal(1); m_s0(p);
467	map m_s1 = s1,maxideal(1); m_s1(p);
468	map m_s2 = s2,maxideal(1); m_s2(p);
469	map m_t0 = t0,maxideal(1); m_t0(p);
470	map m_t1 = t1,maxideal(1); m_t1(p);
471	map m_t2 = t2,maxideal(1); m_t2(p);
472	map m_f2 = f2,maxideal(1); m_f2(p);
473	map m_f1 = f1,maxideal(1); m_f1(p);
474	map m_f0 = f0,maxideal(1); m_f0(p);
475
476	setring t1;
477	map m_r0 = r0,maxideal(1); m_r0(p);
478	map m_r1 = r1,maxideal(1); m_r1(p);
479	map m_r2 = r2,maxideal(1); m_r2(p);
480	map m_s0 = s0,maxideal(1); m_s0(p);
481	map m_s1 = s1,maxideal(1); m_s1(p);
482	map m_s2 = s2,maxideal(1); m_s2(p);
483	map m_t0 = t0,maxideal(1); m_t0(p);
484	map m_t1 = t1,maxideal(1); m_t1(p);
485	map m_t2 = t2,maxideal(1); m_t2(p);
486	map m_f2 = f2,maxideal(1); m_f2(p);
487	map m_f1 = f1,maxideal(1); m_f1(p);
488	map m_f0 = f0,maxideal(1); m_f0(p);
489
490	setring t2;
491	map m_r0 = r0,maxideal(1); m_r0(p);
492	map m_r1 = r1,maxideal(1); m_r1(p);
493	map m_r2 = r2,maxideal(1); m_r2(p);
494	map m_s0 = s0,maxideal(1); m_s0(p);
495	map m_s1 = s1,maxideal(1); m_s1(p);
496	map m_s2 = s2,maxideal(1); m_s2(p);
497	map m_t0 = t0,maxideal(1); m_t0(p);
498	map m_t1 = t1,maxideal(1); m_t1(p);
499	map m_t2 = t2,maxideal(1); m_t2(p);
500	map m_f2 = f2,maxideal(1); m_f2(p);
501	map m_f1 = f1,maxideal(1); m_f1(p);
502	map m_f0 = f0,maxideal(1); m_f0(p);
503
504	setring f2;
505	map m_r0 = r0,maxideal(1); m_r0(p);
506	map m_r1 = r1,maxideal(1); m_r1(p);
507	map m_r2 = r2,maxideal(1); m_r2(p);
508	map m_s0 = s0,maxideal(1); m_s0(p);
509	map m_s1 = s1,maxideal(1); m_s1(p);
510	map m_s2 = s2,maxideal(1); m_s2(p);
511	map m_t0 = t0,maxideal(1); m_t0(p);
512	map m_t1 = t1,maxideal(1); m_t1(p);
513	map m_t2 = t2,maxideal(1); m_t2(p);
514	map m_f2 = f2,maxideal(1); m_f2(p);
515	map m_f1 = f1,maxideal(1); m_f1(p);
516	map m_f0 = f0,maxideal(1); m_f0(p);
517
518	setring f1;
519	map m_r0 = r0,maxideal(1); m_r0(p);
520	map m_r1 = r1,maxideal(1); m_r1(p);
521	map m_r2 = r2,maxideal(1); m_r2(p);
522	map m_s0 = s0,maxideal(1); m_s0(p);
523	map m_s1 = s1,maxideal(1); m_s1(p);
524	map m_s2 = s2,maxideal(1); m_s2(p);
525	map m_t0 = t0,maxideal(1); m_t0(p);
526	map m_t1 = t1,maxideal(1); m_t1(p);
527	map m_t2 = t2,maxideal(1); m_t2(p);
528	map m_f2 = f2,maxideal(1); m_f2(p);
529	map m_f1 = f1,maxideal(1); m_f1(p);
530	map m_f0 = f0,maxideal(1); m_f0(p);
531
532	setring f0;
533	map m_r0 = r0,maxideal(1); m_r0(p);
534	map m_r1 = r1,maxideal(1); m_r1(p);
535	map m_r2 = r2,maxideal(1); m_r2(p);
536	map m_s0 = s0,maxideal(1); m_s0(p);
537	map m_s1 = s1,maxideal(1); m_s1(p);
538	map m_s2 = s2,maxideal(1); m_s2(p);
539	map m_t0 = t0,maxideal(1); m_t0(p);
540	map m_t1 = t1,maxideal(1); m_t1(p);
541	map m_t2 = t2,maxideal(1); m_t2(p);
542	map m_f2 = f2,maxideal(1); m_f2(p);
543	map m_f1 = f1,maxideal(1); m_f1(p);
544	map m_f0 = f0,maxideal(1); m_f0(p);
545
546	tst_status(1);$

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format