1 | LIB "tst.lib"; tst_init(); |
---|
2 | option(prot); |
---|
3 | |
---|
4 | |
---|
5 | ring R = (17027, t), (x, y, z), lp; |
---|
6 | minpoly = t^2 + 1; |
---|
7 | |
---|
8 | matrix w[26][11]; |
---|
9 | w = 1, 1, 1, 7, z , 12, y , 17, x , 22, t , |
---|
10 | 2, 2, 1, 8, z , 13, y , 18, x , 23, t , |
---|
11 | 3, 3, 1, 9, z , 14, y , 19, x , 24, t , |
---|
12 | 4, 4, 1, 10, z , 15, y , 20, x , 25, t , |
---|
13 | 5, 5, 1, 26, 1, 1, 0, 1, 0, 1, 0 , |
---|
14 | 6, 2, x , 6, 1, 12, y , 17, x , 22, t , |
---|
15 | 7, 3, x , 7, 1, 13, y , 18, x , 23, t , |
---|
16 | 8, 4, x , 8, 1, 14, y , 19, x , 24, t , |
---|
17 | 9, 5, x , 9, 1, 15, y , 20, x , 25, t , |
---|
18 | 10, 10, 1, 26, 1, 1, 0, 1, 0, 1, 0 , |
---|
19 | 11, 2, x , 7, z , 11, 1, 17, x , 22, t , |
---|
20 | 12, 3, t , 8, z , 12, 1, 18, x , 23, t , |
---|
21 | 13, 4, t , 9, z , 13, 1, 19, x , 24, t , |
---|
22 | 14, 5, t , 10, z , 14, 1, 20, x , 25, t , |
---|
23 | 15, 15, 1, 26, 1, 1, 0, 1, 0, 1, 0 , |
---|
24 | 16, 2, t , 7, z , 12, y , 16, 1, 22, t , |
---|
25 | 17, 3, t , 8, z , 13, y , 17, 1, 23, t , |
---|
26 | 18, 4, y , 9, z , 14, y , 18, 1, 24, t , |
---|
27 | 19, 5, y , 10, z , 15, y , 19, 1, 25, t , |
---|
28 | 20, 20, 1, 26, 1, 1, 0, 1, 0, 1, 0 , |
---|
29 | 21, 2, y , 7, z , 12, y , 17, x , 21, 1 , |
---|
30 | 22, 3, z , 8, z , 13, y , 18, x , 22, 1 , |
---|
31 | 23, 4, z , 9, z , 14, y , 19, x , 23, 1 , |
---|
32 | 24, 5, z , 10, z , 15, y , 20, x , 24, 1 , |
---|
33 | 25, 25, 1, 26, 1, 1, 0, 1, 0, 1, 0 , |
---|
34 | 26, 1, z , 6, z , 11, y , 16, x , 21, t ; |
---|
35 | |
---|
36 | matrix m[26][26]; |
---|
37 | int i, j; |
---|
38 | for (i = 1; i <= 26; i++) |
---|
39 | { |
---|
40 | for (j = 1; j <= 5; j++) |
---|
41 | { |
---|
42 | m[i, int(w[i, 2*j])] = w[i, 2*j+1]; |
---|
43 | } |
---|
44 | } |
---|
45 | |
---|
46 | poly result; |
---|
47 | |
---|
48 | tst_InitTimer(); |
---|
49 | result = det(m); |
---|
50 | tst_ReportTimer("Y"); |
---|
51 | |
---|
52 | result; |
---|
53 | |
---|
54 | kill R, i, j; |
---|
55 | |
---|
56 | tst_status(1); $ |
---|
57 | |
---|
58 | |
---|