Context Navigation

O.tst @ 41eaf02

spielwiese

Last change on this file since 41eaf02 was 3d369e, checked in by Olaf Bachmann <obachman@…>, 23 years ago
* added res/stat files git-svn-id: file:///usr/local/Singular/svn/trunk@5007 2c84dea3-7e68-4137-9b89-c4e89433aadc
Property mode set to `100644`
File size: 4.1 KB

Line
1	LIB "tst.lib"; tst_init();
2
3	ring R = 0, (a1, a2, a3, a4, a5, a6, b1, b2, b3, b4, b5, b6,
4	c1, c2, c3, c4, c5, c6), (lp);
5
6	matrix d1[15][15];
7	matrix d2[15][15];
8	matrix d3[15][15];
9	d1 = a6, a5, a4, a3, a2, a1, 0, 0, 0, 0, 0, 0, 0, 0, 0 ,
10	0, 0, a6, 0, a5, a4, 0, a3, a2, a1, 0, 0, 0, 0, 0 ,
11	0, a6, 0, a5, a4, 0, a3, a2, a1, 0, 0, 0, 0, 0, 0 ,
12	0, 0, 0, a6, 0, 0, a5, a4, 0, 0, a3, a2, a1, 0, 0 ,
13	0, 0, 0, 0, a6, 0, 0, a5, a4, 0, 0, a3, a2, a1, 0 ,
14	0, 0, 0, 0, 0, a6, 0, 0, a5, a4, 0, 0, a3, a2, a1 ,
15	0, 0, 0, b6, 0, 0, b5, b4, 0, 0, b3, b2, b1, 0, 0 ,
16	0, 0, 0, 0, b6, 0, 0, b5, b4, 0, 0, b3, b2, b1, 0 ,
17	0, b6, 0, b5, b4, 0, b3, b2, b1, 0, 0, 0, 0, 0, 0 ,
18	0, 0, b6, 0, b5, b4, 0, b3, b2, b1, 0, 0, 0, 0, 0 ,
19	0, 0, 0, 0, 0, b6, 0, 0, b5, b4, 0, 0, b3, b2, b1 ,
20	0, 0, 0, 0, 0, c6, 0, 0, c5, c4, 0, 0, c3, c2, c1 ,
21	0, 0, c6, 0, c5, c4, 0, c3, c2, c1, 0, 0, 0, 0, 0 ,
22	0, c6, 0, c5, c4, 0, c3, c2, c1, 0, 0, 0, 0, 0, 0 ,
23	0, 0, 0, 0, c6, 0, 0, c5, c4, 0, 0, c3, c2, c1, 0 ;
24
25	d2 = b6, b5, b4, b3, b2, b1, 0, 0, 0, 0, 0, 0, 0, 0, 0 ,
26	0, 0, b6, 0, b5, b4, 0, b3, b2, b1, 0, 0, 0, 0, 0 ,
27	0, b6, 0, b5, b4, 0, b3, b2, b1, 0, 0, 0, 0, 0, 0 ,
28	0, 0, 0, b6, 0, 0, b5, b4, 0, 0, b3, b2, b1, 0, 0 ,
29	0, 0, 0, 0, b6, 0, 0, b5, b4, 0, 0, b3, b2, b1, 0 ,
30	0, 0, 0, 0, 0, b6, 0, 0, b5, b4, 0, 0, b3, b2, b1 ,
31	0, 0, 0, c6, 0, 0, c5, c4, 0, 0, c3, c2, c1, 0, 0 ,
32	0, 0, 0, 0, c6, 0, 0, c5, c4, 0, 0, c3, c2, c1, 0 ,
33	0, c6, 0, c5, c4, 0, c3, c2, c1, 0, 0, 0, 0, 0, 0 ,
34	0, 0, c6, 0, c5, c4, 0, c3, c2, c1, 0, 0, 0, 0, 0 ,
35	0, 0, 0, 0, 0, c6, 0, 0, c5, c4, 0, 0, c3, c2, c1 ,
36	0, 0, 0, 0, 0, a6, 0, 0, a5, a4, 0, 0, a3, a2, a1 ,
37	0, 0, a6, 0, a5, a4, 0, a3, a2, a1, 0, 0, 0, 0, 0 ,
38	0, a6, 0, a5, a4, 0, a3, a2, a1, 0, 0, 0, 0, 0, 0 ,
39	0, 0, 0, 0, a6, 0, 0, a5, a4, 0, 0, a3, a2, a1, 0 ;
40
41	d3 = c6, c5, c4, c3, c2, c1, 0, 0, 0, 0, 0, 0, 0, 0, 0 ,
42	0, 0, c6, 0, c5, c4, 0, c3, c2, c1, 0, 0, 0, 0, 0 ,
43	0, c6, 0, c5, c4, 0, c3, c2, c1, 0, 0, 0, 0, 0, 0 ,
44	0, 0, 0, c6, 0, 0, c5, c4, 0, 0, c3, c2, c1, 0, 0 ,
45	0, 0, 0, 0, c6, 0, 0, c5, c4, 0, 0, c3, c2, c1, 0 ,
46	0, 0, 0, 0, 0, c6, 0, 0, c5, c4, 0, 0, c3, c2, c1 ,
47	0, 0, 0, a6, 0, 0, a5, a4, 0, 0, a3, a2, a1, 0, 0 ,
48	0, 0, 0, 0, a6, 0, 0, a5, a4, 0, 0, a3, a2, a1, 0 ,
49	0, a6, 0, a5, a4, 0, a3, a2, a1, 0, 0, 0, 0, 0, 0 ,
50	0, 0, a6, 0, a5, a4, 0, a3, a2, a1, 0, 0, 0, 0, 0 ,
51	0, 0, 0, 0, 0, a6, 0, 0, a5, a4, 0, 0, a3, a2, a1 ,
52	0, 0, 0, 0, 0, b6, 0, 0, b5, b4, 0, 0, b3, b2, b1 ,
53	0, 0, b6, 0, b5, b4, 0, b3, b2, b1, 0, 0, 0, 0, 0 ,
54	0, b6, 0, b5, b4, 0, b3, b2, b1, 0, 0, 0, 0, 0, 0 ,
55	0, 0, 0, 0, b6, 0, 0, b5, b4, 0, 0, b3, b2, b1, 0 ;
56
57	int t1, t2, t3;
58	poly det1, det2, det3;
59
60	map check = R, 2..nvars(R)+1;
61
62	tst_InitTimer();
63	det1 = det(d1);
64	t1 = tst_StopTimer();
65	tst_OutTimer(t1, "O1_1");
66	size(det1);
67	lead(det1);
68	det(check(d1)) == check(det1);
69
70	tst_InitTimer();
71	det2 = det(d2);
72	t2 = tst_StopTimer();
73	tst_OutTimer(t2, "O1_2");
74	size(det2);
75	lead(det2);
76	det(check(d2)) == check(det2);
77
78	tst_InitTimer();
79	det3 = det(d3);
80	t3 = tst_StopTimer();
81	tst_OutTimer(t3, "O1_3");
82	size(det3);
83	lead(det3);
84	det(check(d3)) == check(det3);
85
86	tst_OutTimer((t1 + t2 + t3) / 3, "O1");
87
88	tst_InitTimer();
89	poly g;
90	/* no chance -- memory and time
91	gcd(det1, gcd(det2, det3));
92	*/
93	tst_OutTimer(100000, "O2: Killed");
94
95	kill R, t1, t2, t3;
96
97	tst_status(1);$

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

Download in other formats:

Original Format