1 | LIB "tst.lib"; |
---|
2 | tst_init(); |
---|
3 | // reduction in parameter rings: |
---|
4 | |
---|
5 | ring r=(0,y1, y2, y3),(z1, z2, z3, z4, z5, z6),dp; |
---|
6 | option(redSB); |
---|
7 | ideal F = -z2^2-y1*z3^6*z4^6*z5^6*z6^6-z1^3-z3^12*z4^12-y3*y1^2*z5^12*z6^12-z4^12*z6^12-y2*y1^2*z3^12*z5^12+z1*z2*z3*z4*z5*z6, |
---|
8 | z4^12*z6^12-y2*y1^2*z3^12*z5^12, z3^12*z4^12-y3*y1^2*z5^12*z6^12, |
---|
9 | -2*y1*z3^6*z4^6*z5^6*z6^6+z1^3-2*z3^12*z4^12-2*y3*y1^2*z5^12*z6^12-2*z4^12*z6^12-2*y2*y1^2*z3^12*z5^12, |
---|
10 | z2^2-3*y1*z3^6*z4^6*z5^6*z6^6-3*z3^12*z4^12-3*y3*y1^2*z5^12*z6^12-3*z4^12*z6^12-3*y2*y1^2*z3^12*z5^12; |
---|
11 | ideal iStd = std(F); |
---|
12 | ideal iSlimgb = slimgb(F); |
---|
13 | |
---|
14 | ideal iMagma= |
---|
15 | z2^2*z5^29*z6^17 - 1/12/(y1^5*y2^2*y3 - 2*y1^5*y2*y3^2 + y1^5*y3^3 - |
---|
16 | 1/2*y1^5*y2*y3 - 1/2*y1^5*y3^2 + 1/16*y1^5*y3)*z1*z2^3*z3^7*z4^19 + |
---|
17 | (1/24*y2 + 1/24*y3 - 1/96)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - |
---|
18 | 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z1*z2^3*z3^7*z4^7*z5^12 + |
---|
19 | (-1/6*y2 + 1/6*y3 + 1/24)/(y1^4*y2^2*y3 - 2*y1^4*y2*y3^2 + y1^4*y3^3 - |
---|
20 | 1/2*y1^4*y2*y3 - 1/2*y1^4*y3^2 + 1/16*y1^4*y3)*z2^4*z4^12*z5^5*z6^5 + |
---|
21 | (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - |
---|
22 | 1/2*y1^2*y2 - 1/2*y1^2*y3 + 1/16*y1^2)*z2^4*z5^17*z6^5, |
---|
23 | z4^6*z5^24*z6^18 + (1/12*y2 + 1/12*y3 - 1/48)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 |
---|
24 | + y1^3*y3^3 - 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + |
---|
25 | 1/16*y1^3*y3)*z2^2*z3^6*z4^12*z5^6 - 1/6*y2/(y1*y2^2 - 2*y1*y2*y3 + |
---|
26 | y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 1/16*y1)*z2^2*z3^6*z5^18 + (-1/6*y2 + |
---|
27 | 1/6*y3 + 1/24)/(y1^4*y2^2*y3 - 2*y1^4*y2*y3^2 + y1^4*y3^3 - |
---|
28 | 1/2*y1^4*y2*y3 - 1/2*y1^4*y3^2 + 1/16*y1^4*y3)*z2^2*z4^18*z6^6 + (1/6*y2 |
---|
29 | - 1/6*y3 + 1/24)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - |
---|
30 | 1/2*y1^2*y3 + 1/16*y1^2)*z2^2*z4^6*z5^12*z6^6, |
---|
31 | z5^30*z6^18 - 1/6/(y1^5*y2^2*y3 - 2*y1^5*y2*y3^2 + y1^5*y3^3 - |
---|
32 | 1/2*y1^5*y2*y3 - 1/2*y1^5*y3^2 + 1/16*y1^5*y3)*z2^2*z3^6*z4^18 + |
---|
33 | (1/12*y2 + 1/12*y3 - 1/48)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - |
---|
34 | 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z2^2*z3^6*z4^6*z5^12 + |
---|
35 | (-1/6*y2 + 1/6*y3 + 1/24)/(y1^4*y2^2*y3 - 2*y1^4*y2*y3^2 + y1^4*y3^3 - |
---|
36 | 1/2*y1^4*y2*y3 - 1/2*y1^4*y3^2 + 1/16*y1^4*y3)*z2^2*z4^12*z5^6*z6^6 + |
---|
37 | (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - |
---|
38 | 1/2*y1^2*y2 - 1/2*y1^2*y3 + 1/16*y1^2)*z2^2*z5^18*z6^6, |
---|
39 | z4^6*z5^18*z6^24 + (-1/6*y2^2 + 1/6*y2*y3 + 1/24*y2)/(y1^2*y2^2*y3 - |
---|
40 | 2*y1^2*y2*y3^2 + y1^2*y3^3 - 1/2*y1^2*y2*y3 - 1/2*y1^2*y3^2 + |
---|
41 | 1/16*y1^2*y3)*z2^2*z3^12*z4^6*z5^6 + (1/12*y2 + 1/12*y3 - |
---|
42 | 1/48)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - |
---|
43 | 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z2^2*z3^6*z4^12*z6^6 - 1/6*y2/(y1*y2^2 - |
---|
44 | 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + |
---|
45 | 1/16*y1)*z2^2*z3^6*z5^12*z6^6 + (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 - |
---|
46 | 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + |
---|
47 | 1/16*y1^2)*z2^2*z4^6*z5^6*z6^12, |
---|
48 | z2^2*z5^17*z6^29 - 1/12*y2/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - |
---|
49 | 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z1*z2^3*z3^19*z4^7 + |
---|
50 | (1/24*y2 + 1/24*y3 - 1/96)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - |
---|
51 | 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z1*z2^3*z3^7*z4^7*z6^12 + |
---|
52 | (-1/6*y2^2 + 1/6*y2*y3 + 1/24*y2)/(y1^2*y2^2*y3 - 2*y1^2*y2*y3^2 + |
---|
53 | y1^2*y3^3 - 1/2*y1^2*y2*y3 - 1/2*y1^2*y3^2 + |
---|
54 | 1/16*y1^2*y3)*z2^4*z3^12*z5^5*z6^5 + (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 |
---|
55 | - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + |
---|
56 | 1/16*y1^2)*z2^4*z5^5*z6^17, |
---|
57 | z4^6*z5^12*z6^30 + (1/12*y2^2 + 1/12*y2*y3 - 1/48*y2)/(y1*y2^2*y3 - |
---|
58 | 2*y1*y2*y3^2 + y1*y3^3 - 1/2*y1*y2*y3 - 1/2*y1*y3^2 + |
---|
59 | 1/16*y1*y3)*z2^2*z3^18*z5^6 + (-1/6*y2^2 + 1/6*y2*y3 + |
---|
60 | 1/24*y2)/(y1^2*y2^2*y3 - 2*y1^2*y2*y3^2 + y1^2*y3^3 - 1/2*y1^2*y2*y3 - |
---|
61 | 1/2*y1^2*y3^2 + 1/16*y1^2*y3)*z2^2*z3^12*z4^6*z6^6 - 1/6*y2/(y1*y2^2 - |
---|
62 | 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + |
---|
63 | 1/16*y1)*z2^2*z3^6*z5^6*z6^12 + (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 - |
---|
64 | 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + |
---|
65 | 1/16*y1^2)*z2^2*z4^6*z6^18, |
---|
66 | z5^18*z6^30 - 1/6*y2/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - |
---|
67 | 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z2^2*z3^18*z4^6 + |
---|
68 | (-1/6*y2^2 + 1/6*y2*y3 + 1/24*y2)/(y1^2*y2^2*y3 - 2*y1^2*y2*y3^2 + |
---|
69 | y1^2*y3^3 - 1/2*y1^2*y2*y3 - 1/2*y1^2*y3^2 + |
---|
70 | 1/16*y1^2*y3)*z2^2*z3^12*z5^6*z6^6 + (1/12*y2 + 1/12*y3 - |
---|
71 | 1/48)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - |
---|
72 | 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z2^2*z3^6*z4^6*z6^12 + (1/6*y2 - 1/6*y3 + |
---|
73 | 1/24)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 |
---|
74 | + 1/16*y1^2)*z2^2*z5^6*z6^18, |
---|
75 | z2^2*z3^5*z5^29*z6^11 + (-1/12*y2 + 1/12*y3 + 1/48)/(y1^4*y2^2*y3 - |
---|
76 | 2*y1^4*y2*y3^2 + y1^4*y3^3 - 1/2*y1^4*y2*y3 - 1/2*y1^4*y3^2 + |
---|
77 | 1/16*y1^4*y3)*z1*z2^3*z3^6*z4^13*z5^6 + (1/12*y2 - 1/12*y3 + |
---|
78 | 1/48)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 |
---|
79 | + 1/16*y1^2)*z1*z2^3*z3^6*z4*z5^18 + (1/24*y2 + 1/24*y3 - |
---|
80 | 1/96)/(y1^5*y2^3*y3 - 2*y1^5*y2^2*y3^2 + y1^5*y2*y3^3 - 1/2*y1^5*y2^2*y3 |
---|
81 | - 1/2*y1^5*y2*y3^2 + 1/16*y1^5*y2*y3)*z1*z2^3*z4^19*z6^6 - |
---|
82 | 1/12/(y1^3*y2^2 - 2*y1^3*y2*y3 + y1^3*y3^2 - 1/2*y1^3*y2 - 1/2*y1^3*y3 + |
---|
83 | 1/16*y1^3)*z1*z2^3*z4^7*z5^12*z6^6, |
---|
84 | z2^2*z4^11*z5^17*z6^17 + (1/24*y2 + 1/24*y3 - 1/96)/(y1^3*y2^2*y3 - |
---|
85 | 2*y1^3*y2*y3^2 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + |
---|
86 | 1/16*y1^3*y3)*z1*z2^3*z3^7*z4^18 - 1/12*y2/(y1*y2^2 - 2*y1*y2*y3 + |
---|
87 | y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 1/16*y1)*z1*z2^3*z3^7*z4^6*z5^12 + |
---|
88 | (-1/12*y2^2 + 1/12*y2*y3 + 1/48*y2)/(y2^2 - 2*y2*y3 + y3^2 - 1/2*y2 - |
---|
89 | 1/2*y3 + 1/16)*z1*z2^3*z3*z5^18*z6^6 + (1/6*y2 - 1/6*y3 + |
---|
90 | 1/24)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 |
---|
91 | + 1/16*y1^2)*z2^4*z4^11*z5^5*z6^5, |
---|
92 | z2^2*z3^5*z5^23*z6^17 + (1/24*y2 + 1/24*y3 - 1/96)/(y1^3*y2^2*y3 - |
---|
93 | 2*y1^3*y2*y3^2 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + |
---|
94 | 1/16*y1^3*y3)*z1*z2^3*z3^12*z4^7*z5^6 + (-1/12*y2 + 1/12*y3 + |
---|
95 | 1/48)/(y1^4*y2^2*y3 - 2*y1^4*y2*y3^2 + y1^4*y3^3 - 1/2*y1^4*y2*y3 - |
---|
96 | 1/2*y1^4*y3^2 + 1/16*y1^4*y3)*z1*z2^3*z3^6*z4^13*z6^6 - 1/12/(y1^3*y2^2 |
---|
97 | - 2*y1^3*y2*y3 + y1^3*y3^2 - 1/2*y1^3*y2 - 1/2*y1^3*y3 + |
---|
98 | 1/16*y1^3)*z1*z2^3*z4^7*z5^6*z6^12 + (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 |
---|
99 | - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + |
---|
100 | 1/16*y1^2)*z2^4*z3^5*z5^11*z6^5, |
---|
101 | z2^2*z4^5*z5^23*z6^17 + (1/24*y2 + 1/24*y3 - 1/96)/(y1^3*y2^2*y3 - |
---|
102 | 2*y1^3*y2*y3^2 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + |
---|
103 | 1/16*y1^3*y3)*z1*z2^3*z3^7*z4^12*z5^6 - 1/12*y2/(y1*y2^2 - 2*y1*y2*y3 + |
---|
104 | y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 1/16*y1)*z1*z2^3*z3^7*z5^18 + |
---|
105 | (-1/12*y2 + 1/12*y3 + 1/48)/(y1^4*y2^2*y3 - 2*y1^4*y2*y3^2 + y1^4*y3^3 - |
---|
106 | 1/2*y1^4*y2*y3 - 1/2*y1^4*y3^2 + 1/16*y1^4*y3)*z1*z2^3*z3*z4^18*z6^6 + |
---|
107 | (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - |
---|
108 | 1/2*y1^2*y2 - 1/2*y1^2*y3 + 1/16*y1^2)*z2^4*z4^5*z5^11*z6^5, |
---|
109 | z2^2*z3^5*z5^17*z6^23 + (-1/12*y2^2 + 1/12*y2*y3 + 1/48*y2)/(y1^2*y2^2*y3 - |
---|
110 | 2*y1^2*y2*y3^2 + y1^2*y3^3 - 1/2*y1^2*y2*y3 - 1/2*y1^2*y3^2 + |
---|
111 | 1/16*y1^2*y3)*z1*z2^3*z3^18*z4*z5^6 + (1/24*y2 + 1/24*y3 - |
---|
112 | 1/96)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - |
---|
113 | 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z1*z2^3*z3^12*z4^7*z6^6 - 1/12/(y1^3*y2^2 |
---|
114 | - 2*y1^3*y2*y3 + y1^3*y3^2 - 1/2*y1^3*y2 - 1/2*y1^3*y3 + |
---|
115 | 1/16*y1^3)*z1*z2^3*z4^7*z6^18 + (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 - |
---|
116 | 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + |
---|
117 | 1/16*y1^2)*z2^4*z3^5*z5^5*z6^11, |
---|
118 | z2^2*z4^5*z5^17*z6^23 + (-1/12*y2^2 + 1/12*y2*y3 + 1/48*y2)/(y1^2*y2^2*y3 - |
---|
119 | 2*y1^2*y2*y3^2 + y1^2*y3^3 - 1/2*y1^2*y2*y3 - 1/2*y1^2*y3^2 + |
---|
120 | 1/16*y1^2*y3)*z1*z2^3*z3^13*z4^6*z5^6 + (1/24*y2 + 1/24*y3 - |
---|
121 | 1/96)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - |
---|
122 | 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z1*z2^3*z3^7*z4^12*z6^6 - 1/12*y2/(y1*y2^2 |
---|
123 | - 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + |
---|
124 | 1/16*y1)*z1*z2^3*z3^7*z5^12*z6^6 + (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 - |
---|
125 | 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + |
---|
126 | 1/16*y1^2)*z2^4*z4^5*z5^5*z6^11, |
---|
127 | z2^2*z4^11*z5^5*z6^29 + (1/24*y2^2 + 1/24*y2*y3 - 1/96*y2)/(y1*y2^2*y3 - |
---|
128 | 2*y1*y2*y3^2 + y1*y3^3 - 1/2*y1*y2*y3 - 1/2*y1*y3^2 + |
---|
129 | 1/16*y1*y3)*z1*z2^3*z3^19*z4^6 + (1/12*y2^2 - 1/12*y2*y3 + |
---|
130 | 1/48*y2)/(y2^2 - 2*y2*y3 + y3^2 - 1/2*y2 - 1/2*y3 + |
---|
131 | 1/16)*z1*z2^3*z3^13*z5^6*z6^6 - 1/12*y2/(y1*y2^2 - 2*y1*y2*y3 + y1*y3^2 |
---|
132 | - 1/2*y1*y2 - 1/2*y1*y3 + 1/16*y1)*z1*z2^3*z3^7*z4^6*z6^12 + (-1/12*y2^2 |
---|
133 | + 1/12*y2*y3 + 1/48*y2)/(y2^2 - 2*y2*y3 + y3^2 - 1/2*y2 - 1/2*y3 + |
---|
134 | 1/16)*z1*z2^3*z3*z5^6*z6^18, |
---|
135 | z2^2*z4^5*z5^11*z6^29 + (1/24*y2^2 + 1/24*y2*y3 - 1/96*y2)/(y1*y2^2*y3 - |
---|
136 | 2*y1*y2*y3^2 + y1*y3^3 - 1/2*y1*y2*y3 - 1/2*y1*y3^2 + |
---|
137 | 1/16*y1*y3)*z1*z2^3*z3^19*z5^6 + (-1/12*y2^2 + 1/12*y2*y3 + |
---|
138 | 1/48*y2)/(y1^2*y2^2*y3 - 2*y1^2*y2*y3^2 + y1^2*y3^3 - 1/2*y1^2*y2*y3 - |
---|
139 | 1/2*y1^2*y3^2 + 1/16*y1^2*y3)*z1*z2^3*z3^13*z4^6*z6^6 - 1/12*y2/(y1*y2^2 |
---|
140 | - 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + |
---|
141 | 1/16*y1)*z1*z2^3*z3^7*z5^6*z6^12 + (1/12*y2 - 1/12*y3 + 1/48)/(y1^2*y2^2 |
---|
142 | - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + |
---|
143 | 1/16*y1^2)*z1*z2^3*z3*z4^6*z6^18, |
---|
144 | z2^2*z3^29*z4^5*z5^5*z6^5 - y3/y2*z2^2*z3^5*z4^5*z5^5*z6^29 - |
---|
145 | 1/6/y1*z1*z2^3*z3^24 + 1/6*y3/(y1*y2)*z1*z2^3*z6^24, |
---|
146 | z2^2*z3^5*z4^29*z5^5*z6^5 - y1^4*y2*y3*z2^2*z3^5*z4^5*z5^29*z6^5 - |
---|
147 | 1/6/y1*z1*z2^3*z4^24 + 1/6*y1^3*y2*y3*z1*z2^3*z5^24, |
---|
148 | z2^2*z3^5*z4^11*z5^17*z6^11 + (1/12*y2 - 1/12*y3 + 1/48)/(y1^2*y2^2 - |
---|
149 | 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + |
---|
150 | 1/16*y1^2)*z1*z2^3*z3^6*z4^12*z5^6 + (-1/12*y2^2 + 1/12*y2*y3 + |
---|
151 | 1/48*y2)/(y2^2 - 2*y2*y3 + y3^2 - 1/2*y2 - 1/2*y3 + |
---|
152 | 1/16)*z1*z2^3*z3^6*z5^18 - 1/12/(y1^3*y2^2 - 2*y1^3*y2*y3 + y1^3*y3^2 - |
---|
153 | 1/2*y1^3*y2 - 1/2*y1^3*y3 + 1/16*y1^3)*z1*z2^3*z4^18*z6^6 + (1/24*y2 + |
---|
154 | 1/24*y3 - 1/96)/(y1*y2^2 - 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 |
---|
155 | + 1/16*y1)*z1*z2^3*z4^6*z5^12*z6^6, |
---|
156 | z2^2*z3^5*z4^5*z5^23*z6^11 + (-1/12*y2 + 1/12*y3 + 1/48)/(y1^4*y2^2*y3 - |
---|
157 | 2*y1^4*y2*y3^2 + y1^4*y3^3 - 1/2*y1^4*y2*y3 - 1/2*y1^4*y3^2 + |
---|
158 | 1/16*y1^4*y3)*z1*z2^3*z3^6*z4^18 + (1/12*y2 - 1/12*y3 + 1/48)/(y1^2*y2^2 |
---|
159 | - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + |
---|
160 | 1/16*y1^2)*z1*z2^3*z3^6*z4^6*z5^12 - 1/12/(y1^3*y2^2 - 2*y1^3*y2*y3 + |
---|
161 | y1^3*y3^2 - 1/2*y1^3*y2 - 1/2*y1^3*y3 + |
---|
162 | 1/16*y1^3)*z1*z2^3*z4^12*z5^6*z6^6 + (1/24*y2 + 1/24*y3 - 1/96)/(y1*y2^2 |
---|
163 | - 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + |
---|
164 | 1/16*y1)*z1*z2^3*z5^18*z6^6, |
---|
165 | z2^2*z3^5*z4^11*z5^11*z6^17 - 1/12*y2/(y1*y2^2 - 2*y1*y2*y3 + y1*y3^2 - |
---|
166 | 1/2*y1*y2 - 1/2*y1*y3 + 1/16*y1)*z1*z2^3*z3^12*z4^6*z5^6 + (1/12*y2 - |
---|
167 | 1/12*y3 + 1/48)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - |
---|
168 | 1/2*y1^2*y3 + 1/16*y1^2)*z1*z2^3*z3^6*z4^12*z6^6 + (-1/12*y2^2 + |
---|
169 | 1/12*y2*y3 + 1/48*y2)/(y2^2 - 2*y2*y3 + y3^2 - 1/2*y2 - 1/2*y3 + |
---|
170 | 1/16)*z1*z2^3*z3^6*z5^12*z6^6 + (1/24*y2 + 1/24*y3 - 1/96)/(y1*y2^2 - |
---|
171 | 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + |
---|
172 | 1/16*y1)*z1*z2^3*z4^6*z5^6*z6^12, |
---|
173 | z2^2*z3^5*z4^11*z5^5*z6^23 + (1/12*y2^2 - 1/12*y2*y3 + 1/48*y2)/(y2^2 - |
---|
174 | 2*y2*y3 + y3^2 - 1/2*y2 - 1/2*y3 + 1/16)*z1*z2^3*z3^18*z5^6 - |
---|
175 | 1/12*y2/(y1*y2^2 - 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + |
---|
176 | 1/16*y1)*z1*z2^3*z3^12*z4^6*z6^6 + (-1/12*y2^2 + 1/12*y2*y3 + |
---|
177 | 1/48*y2)/(y2^2 - 2*y2*y3 + y3^2 - 1/2*y2 - 1/2*y3 + |
---|
178 | 1/16)*z1*z2^3*z3^6*z5^6*z6^12 + (1/24*y2 + 1/24*y3 - 1/96)/(y1*y2^2 - |
---|
179 | 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + |
---|
180 | 1/16*y1)*z1*z2^3*z4^6*z6^18, |
---|
181 | z2^2*z3^5*z4^5*z5^11*z6^23 + (-1/12*y2^2 + 1/12*y2*y3 + |
---|
182 | 1/48*y2)/(y1^2*y2^2*y3 - 2*y1^2*y2*y3^2 + y1^2*y3^3 - 1/2*y1^2*y2*y3 - |
---|
183 | 1/2*y1^2*y3^2 + 1/16*y1^2*y3)*z1*z2^3*z3^18*z4^6 - 1/12*y2/(y1*y2^2 - |
---|
184 | 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + |
---|
185 | 1/16*y1)*z1*z2^3*z3^12*z5^6*z6^6 + (1/12*y2 - 1/12*y3 + 1/48)/(y1^2*y2^2 |
---|
186 | - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + |
---|
187 | 1/16*y1^2)*z1*z2^3*z3^6*z4^6*z6^12 + (1/24*y2 + 1/24*y3 - 1/96)/(y1*y2^2 |
---|
188 | - 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + |
---|
189 | 1/16*y1)*z1*z2^3*z5^6*z6^18, |
---|
190 | z2^2*z3^6*z4^12*z6^23 + y1^2*y2*z2^2*z3^6*z5^12*z6^23 + |
---|
191 | 1/2*y1*z2^2*z4^6*z5^6*z6^29 - 1/12*y2/y3*z1*z2^3*z3^19*z4*z5, |
---|
192 | z2^2*z3^6*z5^29*z6^5 + 2/(y1^3*y2)*z2^2*z4^18*z5^11*z6^11 + |
---|
193 | 2/y1*z2^2*z4^6*z5^23*z6^11 - 1/6/(y1^5*y2*y3)*z1*z2^3*z3*z4^19, |
---|
194 | z2^2*z4^23*z6^17 + 2*y1^2*y2*y3/(y2 + y3 - 1/4)*z2^2*z4^11*z5^12*z6^17 + |
---|
195 | 1/24*y1*y2/(y2 + y3 - 1/4)*z1*z2^3*z3^7*z4^6*z5^7 - 1/12*y1^2*y2*y3/(y2 |
---|
196 | + y3 - 1/4)*z1*z2^3*z3*z5^13*z6^6 - 1/6*y2/(y2 + y3 - |
---|
197 | 1/4)*z2^4*z4^11*z6^5, |
---|
198 | z2^2*z3^12*z4^6*z5^5*z6^17 + (-2*y1*y2 + 2*y1*y3)*z2^2*z3^6*z5^11*z6^23 - |
---|
199 | z2^2*z4^6*z5^5*z6^29 + 1/6*y2/(y1*y3)*z1*z2^3*z3^19*z4 - |
---|
200 | 1/6/y1*z1*z2^3*z3^7*z4*z6^12, |
---|
201 | z2^2*z3^12*z4^5*z5^6*z6^17 + (2*y2 - 2*y3)/(y1*y2)*z2^2*z3^6*z4^11*z6^23 - |
---|
202 | y3/y2*z2^2*z4^5*z5^6*z6^29 + 1/6/y1*z1*z2^3*z3^19*z5 - |
---|
203 | 1/6/y1*z1*z2^3*z3^7*z5*z6^12, |
---|
204 | z2^2*z4^12*z5^11*z6^17 + (1/2*y1^2*y2 + 1/2*y1^2*y3 - |
---|
205 | 1/8*y1^2)*z2^2*z5^23*z6^17 + 1/48/(y1*y3)*z1*z2^3*z3^7*z4^7*z5^6 - |
---|
206 | 1/24/(y1^2*y3)*z1*z2^3*z3*z4^13*z6^6 - 1/12*z2^4*z5^11*z6^5, |
---|
207 | z2^2*z3^6*z5^17*z6^17 + (2*y2 - 2*y3 - 1/2)/(y1*y2 + y1*y3 - |
---|
208 | 1/4*y1)*z2^2*z4^6*z5^11*z6^23 + (-1/6*y2 + 1/24)/(y1^3*y2*y3 + y1^3*y3^2 |
---|
209 | - 1/4*y1^3*y3)*z1*z2^3*z3^13*z4^7 + 1/6/(y1^3*y2 + y1^3*y3 - |
---|
210 | 1/4*y1^3)*z1*z2^3*z3*z4^7*z6^12 - 1/6/(y1^2*y2 + y1^2*y3 - |
---|
211 | 1/4*y1^2)*z2^4*z3^6*z5^5*z6^5, |
---|
212 | z4^18*z5^6*z6^18 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3)/(y2 - y3 - |
---|
213 | 1/4)*z4^6*z5^18*z6^18 - 1/12/(y1*y2 - y1*y3 - 1/4*y1)*z2^2*z3^6*z4^12 + |
---|
214 | 1/12*y1*y2/(y2 - y3 - 1/4)*z2^2*z3^6*z5^12 + (-1/6*y2 + 1/6*y3)/(y2 - y3 |
---|
215 | - 1/4)*z2^2*z4^6*z5^6*z6^6, |
---|
216 | z4^12*z5^12*z6^18 + (1/2*y1^2*y2 + 1/2*y1^2*y3 - 1/8*y1^2)*z5^24*z6^18 + |
---|
217 | 1/24/(y1*y3)*z2^2*z3^6*z4^6*z5^6 - 1/12/(y1^2*y3)*z2^2*z4^12*z6^6 - |
---|
218 | 1/12*z2^2*z5^12*z6^6, |
---|
219 | z2^2*z4^17*z6^23 + 2*y1^2*y2*y3/(y2 + y3 - 1/4)*z2^2*z4^5*z5^12*z6^23 - |
---|
220 | 1/12*y2/(y2 + y3 - 1/4)*z1*z2^3*z3^13*z4^6*z5 + 1/24*y1*y2/(y2 + y3 - |
---|
221 | 1/4)*z1*z2^3*z3^7*z5^7*z6^6 - 1/6*y2/(y2 + y3 - 1/4)*z2^4*z4^5*z6^11, |
---|
222 | z2^2*z4^12*z5^5*z6^23 + (1/2*y1^2*y2 + 1/2*y1^2*y3 - |
---|
223 | 1/8*y1^2)*z2^2*z5^17*z6^23 - 1/24*y2/y3*z1*z2^3*z3^13*z4*z5^6 + |
---|
224 | 1/48/(y1*y3)*z1*z2^3*z3^7*z4^7*z6^6 - 1/12*z2^4*z5^5*z6^11, |
---|
225 | z4^18*z6^24 + 2*y1^2*y2*y3/(y2 + y3 - 1/4)*z4^6*z5^12*z6^24 - 1/6*y2/(y2 + |
---|
226 | y3 - 1/4)*z2^2*z3^12*z4^6 + 1/12*y1*y2/(y2 + y3 - |
---|
227 | 1/4)*z2^2*z3^6*z5^6*z6^6 - 1/6*y2/(y2 + y3 - 1/4)*z2^2*z4^6*z6^12, |
---|
228 | z4^12*z5^6*z6^24 + (1/2*y1^2*y2 + 1/2*y1^2*y3 - 1/8*y1^2)*z5^18*z6^24 - |
---|
229 | 1/12*y2/y3*z2^2*z3^12*z5^6 + 1/24/(y1*y3)*z2^2*z3^6*z4^6*z6^6 - |
---|
230 | 1/12*z2^2*z5^6*z6^12, |
---|
231 | z2^2*z3^5*z4^23*z6^11 + (1/2*y1^2*y2 + 1/2*y1^2*y3 - |
---|
232 | 1/8*y1^2)*z2^2*z3^5*z4^11*z5^12*z6^11 - 1/24*z1*z2^3*z3^6*z4^12*z5 - |
---|
233 | 1/24*y1^2*y2*z1*z2^3*z3^6*z5^13 + 1/48*y1*z1*z2^3*z4^6*z5^7*z6^6, |
---|
234 | z2^2*z3^5*z4^12*z5^11*z6^11 + 2*y1^2*y2*y3/(y2 + y3 - |
---|
235 | 1/4)*z2^2*z3^5*z5^23*z6^11 - 1/12/(y1^2*y2 + y1^2*y3 - |
---|
236 | 1/4*y1^2)*z1*z2^3*z3^6*z4^13 - 1/12*y2/(y2 + y3 - |
---|
237 | 1/4)*z1*z2^3*z3^6*z4*z5^12 + 1/24/(y1*y2 + y1*y3 - |
---|
238 | 1/4*y1)*z1*z2^3*z4^7*z5^6*z6^6, |
---|
239 | z2^2*z3^11*z5^17*z6^11 + (1/2*y2 + 1/2*y3 - 1/8)/(y1*y2^2 - y1*y2*y3 - |
---|
240 | 1/4*y1*y2)*z2^2*z3^5*z4^6*z5^11*z6^17 + 1/12/(y1^2*y2 - y1^2*y3 - |
---|
241 | 1/4*y1^2)*z1*z2^3*z3^12*z4*z5^6 - 1/24/(y1^3*y2^2 - y1^3*y2*y3 - |
---|
242 | 1/4*y1^3*y2)*z1*z2^3*z3^6*z4^7*z6^6 + (-1/12*y2 + 1/48)/(y1^2*y2^2 - |
---|
243 | y1^2*y2*y3 - 1/4*y1^2*y2)*z1*z2^3*z4*z5^6*z6^12, |
---|
244 | z2^2*z3^6*z4^5*z5^17*z6^11 + (2*y2 - 2*y3 - 1/2)/(y1*y2 + y1*y3 - |
---|
245 | 1/4*y1)*z2^2*z4^11*z5^11*z6^17 - 1/12/(y1^2*y2 + y1^2*y3 - |
---|
246 | 1/4*y1^2)*z1*z2^3*z3^7*z4^6*z5^6 + 1/6/(y1^3*y2 + y1^3*y3 - |
---|
247 | 1/4*y1^3)*z1*z2^3*z3*z4^12*z6^6 + (-1/6*y2 + 1/24)/(y1*y2 + y1*y3 - |
---|
248 | 1/4*y1)*z1*z2^3*z3*z5^12*z6^6, |
---|
249 | z2^2*z3^5*z4^17*z6^17 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3)/(y2 - y3 - |
---|
250 | 1/4)*z2^2*z3^5*z4^5*z5^12*z6^17 + 1/24*y1*y2/(y2 - y3 - |
---|
251 | 1/4)*z1*z2^3*z3^12*z5^7 - 1/24*y1*y3/(y2 - y3 - 1/4)*z1*z2^3*z5^7*z6^12 |
---|
252 | + (-1/6*y2 + 1/6*y3)/(y2 - y3 - 1/4)*z2^4*z3^5*z4^5*z6^5, |
---|
253 | z2^2*z3^6*z4^11*z5^5*z6^17 + (-2*y1*y2*y3 + 2*y1*y3^2 - 1/2*y1*y3)/(y2 + y3 |
---|
254 | - 1/4)*z2^2*z4^5*z5^11*z6^23 + 1/6*y2/(y1*y2 + y1*y3 - |
---|
255 | 1/4*y1)*z1*z2^3*z3^13*z4^6 - 1/12*y2/(y2 + y3 - |
---|
256 | 1/4)*z1*z2^3*z3^7*z5^6*z6^6 + (-1/6*y3 + 1/24)/(y1*y2 + y1*y3 - |
---|
257 | 1/4*y1)*z1*z2^3*z3*z4^6*z6^12, |
---|
258 | z2^2*z3^5*z4^12*z5^5*z6^17 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3)/(y2 - y3 |
---|
259 | - 1/4)*z2^2*z3^5*z5^17*z6^17 - 1/24/(y1*y2 - y1*y3 - |
---|
260 | 1/4*y1)*z1*z2^3*z3^12*z4^7 + 1/24/(y1*y2 - y1*y3 - |
---|
261 | 1/4*y1)*z1*z2^3*z4^7*z6^12 + (-1/6*y2 + 1/6*y3)/(y2 - y3 - |
---|
262 | 1/4)*z2^4*z3^5*z5^5*z6^5, |
---|
263 | z2^2*z4^17*z5^5*z6^17 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3)/(y2 - y3 - |
---|
264 | 1/4)*z2^2*z4^5*z5^17*z6^17 - 1/24/(y1*y2 - y1*y3 - |
---|
265 | 1/4*y1)*z1*z2^3*z3^7*z4^12 + 1/24*y1*y2/(y2 - y3 - |
---|
266 | 1/4)*z1*z2^3*z3^7*z5^12 + (-1/6*y2 + 1/6*y3)/(y2 - y3 - |
---|
267 | 1/4)*z2^4*z4^5*z5^5*z6^5, |
---|
268 | z2^2*z3^6*z4^5*z5^11*z6^17 + (2*y2 - 2*y3 - 1/2)/(y1*y2 + y1*y3 - |
---|
269 | 1/4*y1)*z2^2*z4^11*z5^5*z6^23 + 1/6*y2/(y1*y2 + y1*y3 - |
---|
270 | 1/4*y1)*z1*z2^3*z3^13*z5^6 - 1/12/(y1^2*y2 + y1^2*y3 - |
---|
271 | 1/4*y1^2)*z1*z2^3*z3^7*z4^6*z6^6 + (-1/6*y2 + 1/24)/(y1*y2 + y1*y3 - |
---|
272 | 1/4*y1)*z1*z2^3*z3*z5^6*z6^12, |
---|
273 | z2^2*z3^11*z4^5*z5^17*z6^5 + (y2 - y3 + |
---|
274 | 1/4)/(y1*y2)*z2^2*z3^5*z4^11*z5^11*z6^11 + |
---|
275 | 1/12/(y1^3*y2)*z1*z2^3*z3^6*z4^12 - 1/12/y1*z1*z2^3*z3^6*z5^12 - |
---|
276 | 1/24/(y1^2*y2)*z1*z2^3*z4^6*z5^6*z6^6, |
---|
277 | z2^2*z3^11*z4^11*z5^5*z6^11 - y1*y3/(y2 - y3 - |
---|
278 | 1/4)*z2^2*z3^5*z4^5*z5^11*z6^17 - 1/12*y2/(y2 - y3 - |
---|
279 | 1/4)*z1*z2^3*z3^12*z5^6 + 1/24/(y1*y2 - y1*y3 - |
---|
280 | 1/4*y1)*z1*z2^3*z3^6*z4^6*z6^6 + 1/12*y3/(y2 - y3 - |
---|
281 | 1/4)*z1*z2^3*z5^6*z6^12, |
---|
282 | z2^2*z3^5*z4^17*z5^5*z6^11 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3)/(y2 - y3 |
---|
283 | - 1/4)*z2^2*z3^5*z4^5*z5^17*z6^11 + (-1/12*y2 + 1/12*y3)/(y2 - y3 - |
---|
284 | 1/4)*z1*z2^3*z3^6*z4^6*z5^6 + 1/24/(y1*y2 - y1*y3 - |
---|
285 | 1/4*y1)*z1*z2^3*z4^12*z6^6 - 1/24*y1*y3/(y2 - y3 - |
---|
286 | 1/4)*z1*z2^3*z5^12*z6^6, |
---|
287 | z2^2*z3^11*z4^5*z5^11*z6^11 + 1/(y1*y2 - y1*y3 + |
---|
288 | 1/4*y1)*z2^2*z3^5*z4^11*z5^5*z6^17 + 1/12/(y1^2*y2 - y1^2*y3 + |
---|
289 | 1/4*y1^2)*z1*z2^3*z3^12*z4^6 - 1/24/(y1*y2 - y1*y3 + |
---|
290 | 1/4*y1)*z1*z2^3*z3^6*z5^6*z6^6 - 1/12/(y1^2*y2 - y1^2*y3 + |
---|
291 | 1/4*y1^2)*z1*z2^3*z4^6*z6^12, |
---|
292 | z1*z2*z5^24*z6^12 + 1/(y1^3*y2*y3 - y1^3*y3^2)*z2^2*z3^5*z4^17*z5^5*z6^5 - |
---|
293 | 1/(y1*y2 - y1*y3)*z2^2*z3^5*z4^5*z5^17*z6^5 - 1/6/(y1^4*y2*y3 - |
---|
294 | y1^4*y3^2)*z1*z2^3*z4^12 + 1/6/(y1^2*y2 - y1^2*y3)*z1*z2^3*z5^12, |
---|
295 | z1*z2*z5^12*z6^24 + y2/(y1*y2*y3 - y1*y3^2)*z2^2*z3^17*z4^5*z5^5*z6^5 - |
---|
296 | 1/(y1*y2 - y1*y3)*z2^2*z3^5*z4^5*z5^5*z6^17 - 1/6*y2/(y1^2*y2*y3 - |
---|
297 | y1^2*y3^2)*z1*z2^3*z3^12 + 1/6/(y1^2*y2 - y1^2*y3)*z1*z2^3*z6^12, |
---|
298 | z2^2*z3^6*z5^18*z6^11 + (-2*y2 + 1/2)/(y1^3*y2*y3)*z2^2*z4^18*z6^17 - |
---|
299 | 2/y1*z2^2*z4^6*z5^12*z6^17 - 1/12/(y1^2*y3)*z1*z2^3*z3^7*z4*z5^7 + |
---|
300 | 1/3/(y1^3*y3)*z2^4*z4^6*z6^5, |
---|
301 | z1*z2^2*z5^23*z6^11 + (36*y1 - 1/12)/(y1^4*y2*y3 - |
---|
302 | y1^4*y3^2)*z1^2*z2^3*z3*z4^13 + (-36*y1 + 1/12)/(y1^2*y2 - |
---|
303 | y1^2*y3)*z1^2*z2^3*z3*z4*z5^12, |
---|
304 | z1*z2^2*z4^11*z6^23 + (-36*y1*y2 + 1/12*y2)/(y2 - y3)*z1^2*z2^3*z3^13*z5 + |
---|
305 | (36*y1*y2 - 1/12*y2)/(y2 - y3)*z1^2*z2^3*z3*z5*z6^12, |
---|
306 | z1*z2^2*z5^11*z6^23 + (36*y1*y2 - 1/12*y2)/(y1^2*y2*y3 - |
---|
307 | y1^2*y3^2)*z1^2*z2^3*z3^13*z4 + (-36*y1 + 1/12)/(y1^2*y2 - |
---|
308 | y1^2*y3)*z1^2*z2^3*z3*z4*z6^12, |
---|
309 | z2^2*z3^11*z5^23 - 1/2/(y1^3*y2^2 - y1^3*y2*y3)*z2^2*z3^5*z4^18*z5^5*z6^6 + |
---|
310 | 1/2/(y1*y2 - y1*y3)*z2^2*z3^5*z4^6*z5^17*z6^6 + 1/12/(y1^4*y2^2 - |
---|
311 | y1^4*y2*y3)*z1*z2^3*z4^13*z6 - 1/12/(y1^2*y2 - |
---|
312 | y1^2*y3)*z1*z2^3*z4*z5^12*z6, |
---|
313 | z2^2*z3^11*z5^18*z6^5 - 2/(y1^3*y2)*z2^2*z3^5*z4^18*z6^11 + (-2*y3 + |
---|
314 | 1/2)/(y1*y2)*z2^2*z3^5*z4^6*z5^12*z6^11 + |
---|
315 | 1/6/(y1^3*y2)*z1*z2^3*z3^6*z4^7*z5 - |
---|
316 | 1/12/(y1^2*y2)*z1*z2^3*z4*z5^7*z6^6, |
---|
317 | z2^2*z3^6*z4^5*z5^18*z6^5 + 2/(y1^3*y2)*z2^2*z4^23*z6^11 + |
---|
318 | 2/y1*z2^2*z4^11*z5^12*z6^11 - 1/6/y1*z1*z2^3*z3*z5^13, |
---|
319 | z1*z2^2*z3^11*z4^11*z6^11 + (36*y1*y2 - 1/12*y2)/(y2 - |
---|
320 | y3)*z1^2*z2^3*z3^12*z5 + (-36*y1*y3 + 1/12*y3)/(y2 - |
---|
321 | y3)*z1^2*z2^3*z5*z6^12, |
---|
322 | z2^2*z3^6*z4^17*z6^11 + (y1^2*y3 - 1/4*y1^2)*z2^2*z3^6*z4^5*z5^12*z6^11 - |
---|
323 | 1/2*y1*z2^2*z4^11*z5^6*z6^17 - 1/12*z1*z2^3*z3^7*z4^6*z5 + |
---|
324 | 1/24*y1*z1*z2^3*z3*z5^7*z6^6, |
---|
325 | z2^2*z3^6*z4^12*z5^5*z6^11 + y1^2*y2*y3/(y2 - 1/4)*z2^2*z3^6*z5^17*z6^11 - |
---|
326 | 1/2*y1*y3/(y2 - 1/4)*z2^2*z4^6*z5^11*z6^17 - 1/12*y2/(y2 - |
---|
327 | 1/4)*z1*z2^3*z3^7*z4*z5^6 + 1/24/(y1*y2 - 1/4*y1)*z1*z2^3*z3*z4^7*z6^6, |
---|
328 | z1*z2^2*z3^11*z5^11*z6^11 + (-36*y1 + 1/12)/(y1^2*y2 - |
---|
329 | y1^2*y3)*z1^2*z2^3*z3^12*z4 + (36*y1 - 1/12)/(y1^2*y2 - |
---|
330 | y1^2*y3)*z1^2*z2^3*z4*z6^12, |
---|
331 | z1*z2^2*z4^11*z5^11*z6^11 + (-36*y1 + 1/12)/(y1^2*y2 - |
---|
332 | y1^2*y3)*z1^2*z2^3*z3*z4^12 + (36*y1*y2 - 1/12*y2)/(y2 - |
---|
333 | y3)*z1^2*z2^3*z3*z5^12, |
---|
334 | z3^6*z4^18*z6^12 - 2*y1*y3*z4^12*z5^6*z6^18 + (-2*y1^3*y3^2 + |
---|
335 | 1/2*y1^3*y3)*z5^18*z6^18 - 1/6*z2^2*z3^6*z4^6 + |
---|
336 | 1/3*y1*y3*z2^2*z5^6*z6^6, |
---|
337 | z4^24*z6^12 - y1^4*y2*y3*z5^24*z6^12, |
---|
338 | z3^6*z5^18*z6^12 + (-2*y2 + 1/2)/(y1^3*y2*y3)*z4^18*z6^18 - |
---|
339 | 2/y1*z4^6*z5^12*z6^18 - 1/6/(y1^2*y3)*z2^2*z3^6*z5^6 + |
---|
340 | 1/3/(y1^3*y3)*z2^2*z4^6*z6^6, |
---|
341 | z2^2*z3^11*z4^11*z5^11 + 1/2/(y1*y2 - y1*y3)*z2^2*z3^5*z4^17*z5^5*z6^6 - |
---|
342 | 1/2*y1*y3/(y2 - y3)*z2^2*z3^5*z4^5*z5^17*z6^6 - 1/12/(y1^2*y2 - |
---|
343 | y1^2*y3)*z1*z2^3*z4^12*z6 + 1/12*y3/(y2 - y3)*z1*z2^3*z5^12*z6, |
---|
344 | z2^3*z3^10*z5^22 + (-18*y1 + 1/24)/(y1^4*y2^2 - |
---|
345 | y1^4*y2*y3)*z1^2*z2^3*z4^14*z6^2 + (18*y1 - 1/24)/(y1^2*y2 - |
---|
346 | y1^2*y3)*z1^2*z2^3*z4^2*z5^12*z6^2, |
---|
347 | z1*z2^2*z3^6*z5^25*z6 - 2/(y1^4*y2*y3)*z2^3*z3^5*z4^23, |
---|
348 | z2^2*z3^17*z4^6*z5^5*z6^5 + (-2*y1*y2 + 2*y1*y3)*z2^2*z3^11*z5^11*z6^11 - |
---|
349 | z2^2*z3^5*z4^6*z5^5*z6^17 - 1/6/y1*z1*z2^3*z3^12*z4 + |
---|
350 | 1/6/y1*z1*z2^3*z4*z6^12, |
---|
351 | z2^2*z3^6*z4^17*z5^5*z6^5 - y1^2*y2*z2^2*z3^6*z4^5*z5^17*z6^5 + (-2*y1*y2 + |
---|
352 | 2*y1*y3)*z2^2*z4^11*z5^11*z6^11 - 1/6/y1*z1*z2^3*z3*z4^12 + |
---|
353 | 1/6*y1*y2*z1*z2^3*z3*z5^12, |
---|
354 | z2^2*z3^17*z4^5*z5^6*z6^5 + (2*y2 - 2*y3)/(y1*y2)*z2^2*z3^11*z4^11*z6^11 - |
---|
355 | y3/y2*z2^2*z3^5*z4^5*z5^6*z6^17 - 1/6/y1*z1*z2^3*z3^12*z5 + |
---|
356 | 1/6*y3/(y1*y2)*z1*z2^3*z5*z6^12, |
---|
357 | z1*z2^2*z3*z5^25*z6^6 - 2/(y1^4*y2*y3)*z2^3*z4^23*z6^5, |
---|
358 | z2^3*z5^22*z6^10 + (18*y1 - 1/24)/(y1^4*y2*y3 - |
---|
359 | y1^4*y3^2)*z1^2*z2^3*z3^2*z4^14 + (-18*y1 + 1/24)/(y1^2*y2 - |
---|
360 | y1^2*y3)*z1^2*z2^3*z3^2*z4^2*z5^12, |
---|
361 | z2^3*z4^10*z6^22 + (-18*y1*y2 + 1/24*y2)/(y2 - y3)*z1^2*z2^3*z3^14*z5^2 + |
---|
362 | (18*y1*y2 - 1/24*y2)/(y2 - y3)*z1^2*z2^3*z3^2*z5^2*z6^12, |
---|
363 | z2^3*z5^10*z6^22 + (18*y1*y2 - 1/24*y2)/(y1^2*y2*y3 - |
---|
364 | y1^2*y3^2)*z1^2*z2^3*z3^14*z4^2 + (-18*y1 + 1/24)/(y1^2*y2 - |
---|
365 | y1^2*y3)*z1^2*z2^3*z3^2*z4^2*z6^12, |
---|
366 | z1*z2^2*z4^6*z5*z6^25 - 2*y2/y3*z2^3*z3^23*z4^5, |
---|
367 | z1*z2^2*z4*z5^6*z6^25 - 2*y2/y3*z2^3*z3^23*z5^5, |
---|
368 | z1^2*z2^2*z3^9*z5^21 + (-6*y1 + 1/72)/(y1^4*y2^2 - |
---|
369 | y1^4*y2*y3)*z1^2*z2^3*z4^15*z6^3 + (6*y1 - 1/72)/(y1^2*y2 - |
---|
370 | y1^2*y3)*z1^2*z2^3*z4^3*z5^12*z6^3, |
---|
371 | z1^2*z2^2*z3^4*z5^25*z6 - 2/(y1^4*y2*y3)*z1*z2^3*z3^3*z4^23, |
---|
372 | z2^3*z3^5*z5^25*z6 - 3/(y1^4*y2*y3)*z1^2*z2^2*z3^4*z4^23, |
---|
373 | z1^2*z2^2*z3*z5^25*z6^4 - 2/(y1^4*y2*y3)*z1*z2^3*z4^23*z6^3, |
---|
374 | z2^3*z3*z5^25*z6^5 - 3/(y1^4*y2*y3)*z1^2*z2^2*z4^23*z6^4, |
---|
375 | z1^2*z2^2*z5^21*z6^9 + (6*y1 - 1/72)/(y1^4*y2*y3 - |
---|
376 | y1^4*y3^2)*z1^2*z2^3*z3^3*z4^15 + (-6*y1 + 1/72)/(y1^2*y2 - |
---|
377 | y1^2*y3)*z1^2*z2^3*z3^3*z4^3*z5^12, |
---|
378 | z1^2*z2^2*z4^9*z6^21 + (-6*y1*y2 + 1/72*y2)/(y2 - y3)*z1^2*z2^3*z3^15*z5^3 + |
---|
379 | (6*y1*y2 - 1/72*y2)/(y2 - y3)*z1^2*z2^3*z3^3*z5^3*z6^12, |
---|
380 | z1^2*z2^2*z5^9*z6^21 + (6*y1*y2 - 1/72*y2)/(y1^2*y2*y3 - |
---|
381 | y1^2*y3^2)*z1^2*z2^3*z3^15*z4^3 + (-6*y1 + 1/72)/(y1^2*y2 - |
---|
382 | y1^2*y3)*z1^2*z2^3*z3^3*z4^3*z6^12, |
---|
383 | z1^2*z2^2*z4^4*z5*z6^25 - 2*y2/y3*z1*z2^3*z3^23*z4^3, |
---|
384 | z2^3*z4^5*z5*z6^25 - 3*y2/y3*z1^2*z2^2*z3^23*z4^4, |
---|
385 | z1^2*z2^2*z4*z5^4*z6^25 - 2*y2/y3*z1*z2^3*z3^23*z5^3, |
---|
386 | z2^3*z4*z5^5*z6^25 - 3*y2/y3*z1^2*z2^2*z3^23*z5^4, |
---|
387 | z2^3*z3^10*z4^10*z5^10 + (18*y1 - 1/24)/(y1^2*y2 - |
---|
388 | y1^2*y3)*z1^2*z2^3*z4^12*z6^2 + (-18*y1*y3 + 1/24*y3)/(y2 - |
---|
389 | y3)*z1^2*z2^3*z5^12*z6^2, |
---|
390 | z2^3*z3^10*z4^10*z6^10 + (18*y1*y2 - 1/24*y2)/(y2 - y3)*z1^2*z2^3*z3^12*z5^2 |
---|
391 | + (-18*y1*y3 + 1/24*y3)/(y2 - y3)*z1^2*z2^3*z5^2*z6^12, |
---|
392 | z2^3*z3^10*z5^10*z6^10 + (-18*y1 + 1/24)/(y1^2*y2 - |
---|
393 | y1^2*y3)*z1^2*z2^3*z3^12*z4^2 + (18*y1 - 1/24)/(y1^2*y2 - |
---|
394 | y1^2*y3)*z1^2*z2^3*z4^2*z6^12, |
---|
395 | z2^3*z4^10*z5^10*z6^10 + (-18*y1 + 1/24)/(y1^2*y2 - |
---|
396 | y1^2*y3)*z1^2*z2^3*z3^2*z4^12 + (18*y1*y2 - 1/24*y2)/(y2 - |
---|
397 | y3)*z1^2*z2^3*z3^2*z5^12, |
---|
398 | z1^2*z2^2*z3^24*z4^4 - y3/y2*z1^2*z2^2*z4^4*z6^24, |
---|
399 | z2^3*z3^24*z4^5 - y3/y2*z2^3*z4^5*z6^24, |
---|
400 | z2^2*z3^24*z4^6 - y3/y2*z2^2*z4^6*z6^24, |
---|
401 | z1^2*z2^2*z3^4*z4^24 - y1^4*y2*y3*z1^2*z2^2*z3^4*z5^24, |
---|
402 | z2^3*z3^5*z4^24 - y1^4*y2*y3*z2^3*z3^5*z5^24, |
---|
403 | z2^2*z3^6*z4^24 - y1^4*y2*y3*z2^2*z3^6*z5^24, |
---|
404 | z1^2*z2^2*z3^24*z5^4 - y3/y2*z1^2*z2^2*z5^4*z6^24, |
---|
405 | z2^3*z3^24*z5^5 - y3/y2*z2^3*z5^5*z6^24, |
---|
406 | z2^2*z3^24*z5^6 - y3/y2*z2^2*z5^6*z6^24, |
---|
407 | z1*z2^3*z3^8*z5^20 + (-3*y1 + 1/144)/(y1^4*y2^2 - |
---|
408 | y1^4*y2*y3)*z1^2*z2^3*z4^16*z6^4 + (3*y1 - 1/144)/(y1^2*y2 - |
---|
409 | y1^2*y3)*z1^2*z2^3*z4^4*z5^12*z6^4, |
---|
410 | z1^2*z2^2*z4^24*z6^4 - y1^4*y2*y3*z1^2*z2^2*z5^24*z6^4, |
---|
411 | z2^3*z4^24*z6^5 - y1^4*y2*y3*z2^3*z5^24*z6^5, |
---|
412 | z2^2*z4^24*z6^6 - y1^4*y2*y3*z2^2*z5^24*z6^6, |
---|
413 | z1*z2^3*z5^20*z6^8 + (3*y1 - 1/144)/(y1^4*y2*y3 - |
---|
414 | y1^4*y3^2)*z1^2*z2^3*z3^4*z4^16 + (-3*y1 + 1/144)/(y1^2*y2 - |
---|
415 | y1^2*y3)*z1^2*z2^3*z3^4*z4^4*z5^12, |
---|
416 | z1*z2^3*z4^8*z6^20 + (-3*y1*y2 + 1/144*y2)/(y2 - y3)*z1^2*z2^3*z3^16*z5^4 + |
---|
417 | (3*y1*y2 - 1/144*y2)/(y2 - y3)*z1^2*z2^3*z3^4*z5^4*z6^12, |
---|
418 | z1*z2^3*z5^8*z6^20 + (3*y1*y2 - 1/144*y2)/(y1^2*y2*y3 - |
---|
419 | y1^2*y3^2)*z1^2*z2^3*z3^16*z4^4 + (-3*y1 + 1/144)/(y1^2*y2 - |
---|
420 | y1^2*y3)*z1^2*z2^3*z3^4*z4^4*z6^12, |
---|
421 | z1^2*z2^2*z3^9*z4^9*z5^9 + (6*y1 - 1/72)/(y1^2*y2 - |
---|
422 | y1^2*y3)*z1^2*z2^3*z4^12*z6^3 + (-6*y1*y3 + 1/72*y3)/(y2 - |
---|
423 | y3)*z1^2*z2^3*z5^12*z6^3, |
---|
424 | z1*z2^3*z3*z5^25*z6 - 2/(y1^4*y2*y3)*z2^4*z4^23, |
---|
425 | z2^4*z3*z5^25*z6 - 3/(y1^4*y2*y3)*z1^2*z2^3*z4^23, |
---|
426 | z1^2*z2^2*z3^9*z4^9*z6^9 + (6*y1*y2 - 1/72*y2)/(y2 - |
---|
427 | y3)*z1^2*z2^3*z3^12*z5^3 + (-6*y1*y3 + 1/72*y3)/(y2 - |
---|
428 | y3)*z1^2*z2^3*z5^3*z6^12, |
---|
429 | z1^2*z2^2*z3^9*z5^9*z6^9 + (-6*y1 + 1/72)/(y1^2*y2 - |
---|
430 | y1^2*y3)*z1^2*z2^3*z3^12*z4^3 + (6*y1 - 1/72)/(y1^2*y2 - |
---|
431 | y1^2*y3)*z1^2*z2^3*z4^3*z6^12, |
---|
432 | z1^2*z2^2*z4^9*z5^9*z6^9 + (-6*y1 + 1/72)/(y1^2*y2 - |
---|
433 | y1^2*y3)*z1^2*z2^3*z3^3*z4^12 + (6*y1*y2 - 1/72*y2)/(y2 - |
---|
434 | y3)*z1^2*z2^3*z3^3*z5^12, |
---|
435 | z1*z2^3*z4*z5*z6^25 - 2*y2/y3*z2^4*z3^23, |
---|
436 | z2^4*z4*z5*z6^25 - 3*y2/y3*z1^2*z2^3*z3^23, |
---|
437 | z2^4*z3^7*z5^19 + (-3/2*y1 + 1/288)/(y1^4*y2^2 - |
---|
438 | y1^4*y2*y3)*z1^2*z2^3*z4^17*z6^5 + (3/2*y1 - 1/288)/(y1^2*y2 - |
---|
439 | y1^2*y3)*z1^2*z2^3*z4^5*z5^12*z6^5, |
---|
440 | z2^4*z5^19*z6^7 + (3/2*y1 - 1/288)/(y1^4*y2*y3 - |
---|
441 | y1^4*y3^2)*z1^2*z2^3*z3^5*z4^17 + (-3/2*y1 + 1/288)/(y1^2*y2 - |
---|
442 | y1^2*y3)*z1^2*z2^3*z3^5*z4^5*z5^12, |
---|
443 | z2^4*z4^7*z6^19 + (-3/2*y1*y2 + 1/288*y2)/(y2 - y3)*z1^2*z2^3*z3^17*z5^5 + |
---|
444 | (3/2*y1*y2 - 1/288*y2)/(y2 - y3)*z1^2*z2^3*z3^5*z5^5*z6^12, |
---|
445 | z2^4*z5^7*z6^19 + (3/2*y1*y2 - 1/288*y2)/(y1^2*y2*y3 - |
---|
446 | y1^2*y3^2)*z1^2*z2^3*z3^17*z4^5 + (-3/2*y1 + 1/288)/(y1^2*y2 - |
---|
447 | y1^2*y3)*z1^2*z2^3*z3^5*z4^5*z6^12, |
---|
448 | z1^2*z2^3*z3^24 - y3/y2*z1^2*z2^3*z6^24, |
---|
449 | z1*z2^3*z3^24*z4 - y3/y2*z1*z2^3*z4*z6^24, |
---|
450 | z1^2*z2^3*z4^24 - y1^4*y2*y3*z1^2*z2^3*z5^24, |
---|
451 | z1*z2^3*z3*z4^24 - y1^4*y2*y3*z1*z2^3*z3*z5^24, |
---|
452 | z1*z2^3*z3^24*z5 - y3/y2*z1*z2^3*z5*z6^24, |
---|
453 | z1*z2^3*z4^24*z6 - y1^4*y2*y3*z1*z2^3*z5^24*z6, |
---|
454 | z1^2*z2^3*z4^6*z5^12*z6^6, |
---|
455 | z1^2*z2^3*z5^18*z6^6, |
---|
456 | z1^2*z2^3*z4^6*z5^6*z6^12, |
---|
457 | z2^3*z5^13*z6^13 - 3/(y1^2*y3)*z1^2*z2^2*z3^11*z4^11, |
---|
458 | z1^2*z2^3*z4^6*z6^18, |
---|
459 | z1^2*z2^3*z5^6*z6^18, |
---|
460 | z2^4*z3^24 - y3/y2*z2^4*z6^24, |
---|
461 | z2^4*z4^24 - y1^4*y2*y3*z2^4*z5^24, |
---|
462 | z1*z2^3*z3^8*z4^8*z5^8 + (3*y1 - 1/144)/(y1^2*y2 - |
---|
463 | y1^2*y3)*z1^2*z2^3*z4^12*z6^4 + (-3*y1*y3 + 1/144*y3)/(y2 - |
---|
464 | y3)*z1^2*z2^3*z5^12*z6^4, |
---|
465 | z1*z2^2*z3^11*z5^13*z6 + 2/(y1^2*y2)*z2^3*z3^10*z4^11 + (36*y1 - |
---|
466 | 1/12)/(y1^2*y2)*z1^2*z2^3*z4*z5^2*z6^2, |
---|
467 | z1*z2^3*z3^8*z4^8*z6^8 + (3*y1*y2 - 1/144*y2)/(y2 - y3)*z1^2*z2^3*z3^12*z5^4 |
---|
468 | + (-3*y1*y3 + 1/144*y3)/(y2 - y3)*z1^2*z2^3*z5^4*z6^12, |
---|
469 | z1*z2^3*z3^8*z5^8*z6^8 + (-3*y1 + 1/144)/(y1^2*y2 - |
---|
470 | y1^2*y3)*z1^2*z2^3*z3^12*z4^4 + (3*y1 - 1/144)/(y1^2*y2 - |
---|
471 | y1^2*y3)*z1^2*z2^3*z4^4*z6^12, |
---|
472 | z1*z2^3*z4^8*z5^8*z6^8 + (-3*y1 + 1/144)/(y1^2*y2 - |
---|
473 | y1^2*y3)*z1^2*z2^3*z3^4*z4^12 + (3*y1*y2 - 1/144*y2)/(y2 - |
---|
474 | y3)*z1^2*z2^3*z3^4*z5^12, |
---|
475 | z1*z2^2*z3*z5^13*z6^11 + 2/(y1^2*y3)*z2^3*z4^11*z6^10 + (36*y1 - |
---|
476 | 1/12)/(y1^2*y3)*z1^2*z2^3*z3^2*z4*z5^2, |
---|
477 | z1*z2*z3*z5^13*z6^12 + 1/(y1*y3)*z2^2*z3^6*z4^5*z5^6*z6^5 + |
---|
478 | 2/(y1^2*y3)*z2^2*z4^11*z6^11 - 1/6/(y1^2*y3)*z1*z2^3*z3*z5, |
---|
479 | z1*z2^2*z4^11*z5*z6^13 + 2*z2^3*z3^11*z4^10 + (36*y1 - |
---|
480 | 1/12)*z1^2*z2^3*z3*z5^2*z6^2, |
---|
481 | z1*z2^2*z4*z5^11*z6^13 + 2*y2/y3*z2^3*z3^11*z5^10 + (36*y1 - |
---|
482 | 1/12)/(y1^2*y3)*z1^2*z2^3*z3*z4^2*z6^2, |
---|
483 | z1*z2*z4*z5^12*z6^13 + 2*y2/y3*z2^2*z3^11*z5^11 + |
---|
484 | 1/(y1*y3)*z2^2*z3^5*z4^6*z5^5*z6^6 - 1/6/(y1^2*y3)*z1*z2^3*z4*z6, |
---|
485 | z1*z2*z5^13*z6^13 - 2/(y1^2*y3)*z2^2*z3^11*z4^11, |
---|
486 | z1*z2^4*z3^5*z5^17, |
---|
487 | z1^2*z2^2*z3^9*z5^13*z6 + 2/(y1^2*y2)*z1*z2^3*z3^8*z4^11 + (6*y1 - |
---|
488 | 1/72)/(y1^2*y2)*z1^2*z2^3*z4^3*z5^4*z6^4, |
---|
489 | z2^3*z3^10*z5^13*z6 + 3/(y1^2*y2)*z1^2*z2^2*z3^9*z4^11 + (18*y1 - |
---|
490 | 1/24)/(y1^2*y2)*z1^2*z2^3*z4^2*z5^3*z6^3, |
---|
491 | z1*z2^4*z5^17*z6^5, |
---|
492 | z1^2*z2^2*z3*z5^13*z6^9 + 2/(y1^2*y3)*z1*z2^3*z4^11*z6^8 + (6*y1 - |
---|
493 | 1/72)/(y1^2*y3)*z1^2*z2^3*z3^4*z4^3*z5^4, |
---|
494 | z2^3*z3*z5^13*z6^10 + 3/(y1^2*y3)*z1^2*z2^2*z4^11*z6^9 + (18*y1 - |
---|
495 | 1/24)/(y1^2*y3)*z1^2*z2^3*z3^3*z4^2*z5^3, |
---|
496 | z1^2*z2^2*z4^9*z5*z6^13 + 2*z1*z2^3*z3^11*z4^8 + (6*y1 - |
---|
497 | 1/72)*z1^2*z2^3*z3^3*z5^4*z6^4, |
---|
498 | z2^3*z4^10*z5*z6^13 + 3*z1^2*z2^2*z3^11*z4^9 + (18*y1 - |
---|
499 | 1/24)*z1^2*z2^3*z3^2*z5^3*z6^3, |
---|
500 | z1^2*z2^2*z4*z5^9*z6^13 + 2*y2/y3*z1*z2^3*z3^11*z5^8 + (6*y1 - |
---|
501 | 1/72)/(y1^2*y3)*z1^2*z2^3*z3^3*z4^4*z6^4, |
---|
502 | z2^3*z4*z5^10*z6^13 + 3*y2/y3*z1^2*z2^2*z3^11*z5^9 + (18*y1 - |
---|
503 | 1/24)/(y1^2*y3)*z1^2*z2^3*z3^2*z4^3*z6^3, |
---|
504 | z1*z2^4*z4^5*z6^17, |
---|
505 | z1*z2^4*z5^5*z6^17, |
---|
506 | z1*z2^4*z3^11*z4^5*z5^5, |
---|
507 | z1*z2^4*z3^5*z4^11*z5^5, |
---|
508 | z1*z2^4*z3^5*z4^5*z5^11, |
---|
509 | z1*z2^3*z3^8*z5^13*z6 + 2/(y1^2*y2)*z2^4*z3^7*z4^11 + (3*y1 - |
---|
510 | 1/144)/(y1^2*y2)*z1^2*z2^3*z4^4*z5^5*z6^5, |
---|
511 | z1*z2^4*z3^11*z4^5*z6^5, |
---|
512 | z1*z2^4*z3^5*z4^11*z6^5, |
---|
513 | z1*z2^4*z3^11*z5^5*z6^5, |
---|
514 | z1*z2^4*z4^11*z5^5*z6^5, |
---|
515 | z1*z2^4*z3^5*z5^11*z6^5, |
---|
516 | z1*z2^4*z4^5*z5^11*z6^5, |
---|
517 | z1*z2^3*z3*z5^13*z6^8 + 2/(y1^2*y3)*z2^4*z4^11*z6^7 + (3*y1 - |
---|
518 | 1/144)/(y1^2*y3)*z1^2*z2^3*z3^5*z4^4*z5^5, |
---|
519 | z1*z2^4*z3^5*z4^5*z6^11, |
---|
520 | z1*z2^2*z4^12*z6^11 + y1^2*y3*z1*z2^2*z5^12*z6^11 + (36*y1 - |
---|
521 | 1/12)*z1^2*z2^3*z3*z4*z5, |
---|
522 | z1*z2^4*z3^5*z5^5*z6^11, |
---|
523 | z1*z2^4*z4^5*z5^5*z6^11, |
---|
524 | z1*z2*z4^12*z6^12 + y1^2*y3*z1*z2*z5^12*z6^12 + y1*z2^2*z3^5*z4^5*z5^5*z6^5 |
---|
525 | - 1/6*z1*z2^3, |
---|
526 | z1*z2^3*z4^8*z5*z6^13 + 2*z2^4*z3^11*z4^7 + (3*y1 - |
---|
527 | 1/144)*z1^2*z2^3*z3^4*z5^5*z6^5, |
---|
528 | z1*z2^3*z4*z5^8*z6^13 + 2*y2/y3*z2^4*z3^11*z5^7 + (3*y1 - |
---|
529 | 1/144)/(y1^2*y3)*z1^2*z2^3*z3^4*z4^5*z6^5, |
---|
530 | z1^2*z2^2*z3^12*z4^9 + z1^2*z2^2*z4^9*z6^12 + (6*y1 - |
---|
531 | 1/72)*z1^2*z2^3*z3^3*z5^3*z6^3, |
---|
532 | z2^3*z3^12*z4^10 + z2^3*z4^10*z6^12 + (18*y1 - |
---|
533 | 1/24)*z1^2*z2^3*z3^2*z5^2*z6^2, |
---|
534 | z2^2*z3^12*z4^11 + 1/2*y1*z2^2*z3^6*z4^5*z5^6*z6^6 + z2^2*z4^11*z6^12 - |
---|
535 | 1/12*z1*z2^3*z3*z5*z6, |
---|
536 | z1^2*z2^2*z3^9*z4^12 + y1^2*y2*z1^2*z2^2*z3^9*z5^12 + (6*y1 - |
---|
537 | 1/72)*z1^2*z2^3*z4^3*z5^3*z6^3, |
---|
538 | z2^3*z3^10*z4^12 + y1^2*y2*z2^3*z3^10*z5^12 + (18*y1 - |
---|
539 | 1/24)*z1^2*z2^3*z4^2*z5^2*z6^2, |
---|
540 | z2^2*z3^11*z4^12 + y1^2*y2*z2^2*z3^11*z5^12 + |
---|
541 | 1/2*y1*z2^2*z3^5*z4^6*z5^6*z6^6 - 1/12*z1*z2^3*z4*z5*z6, |
---|
542 | z2^4*z3^7*z4^7*z5^7 + (3/2*y1 - 1/288)/(y1^2*y2 - |
---|
543 | y1^2*y3)*z1^2*z2^3*z4^12*z6^5 + (-3/2*y1*y3 + 1/288*y3)/(y2 - |
---|
544 | y3)*z1^2*z2^3*z5^12*z6^5, |
---|
545 | z1^2*z2^2*z3^12*z5^9 + y3/y2*z1^2*z2^2*z5^9*z6^12 + (6*y1 - |
---|
546 | 1/72)/(y1^2*y2)*z1^2*z2^3*z3^3*z4^3*z6^3, |
---|
547 | z2^3*z3^12*z5^10 + y3/y2*z2^3*z5^10*z6^12 + (18*y1 - |
---|
548 | 1/24)/(y1^2*y2)*z1^2*z2^3*z3^2*z4^2*z6^2, |
---|
549 | z2^2*z3^12*z5^11 + 1/2/(y1*y2)*z2^2*z3^6*z4^6*z5^5*z6^6 + |
---|
550 | y3/y2*z2^2*z5^11*z6^12 - 1/12/(y1^2*y2)*z1*z2^3*z3*z4*z6, |
---|
551 | z2^5*z3^4*z5^16, |
---|
552 | z2^4*z3^7*z5^13*z6 + 3/(y1^2*y2)*z1^2*z2^3*z3^6*z4^11 + (3/2*y1 - |
---|
553 | 1/288)/(y1^2*y2)*z1^2*z2^3*z4^5*z5^6*z6^6, |
---|
554 | z2^5*z5^16*z6^4, |
---|
555 | z2^2*z3^6*z4^6*z5^6*z6^5 + 2/y1*z2^2*z4^12*z6^11 + 2*y1*y3*z2^2*z5^12*z6^11 |
---|
556 | - 1/6/y1*z1*z2^3*z3*z4*z5, |
---|
557 | z1^2*z2^3*z3*z5^13*z6^6 + (2*y1^2*y2 - 2*y1^2*y3 - 1/2*y1^2 + 1/432*y1 - |
---|
558 | 1/373248)/(y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + |
---|
559 | 1/746496*y1^2*y3)*z1*z2^4*z4^11*z6^5, |
---|
560 | z2^4*z3^7*z4^7*z6^7 + (3/2*y1*y2 - 1/288*y2)/(y2 - y3)*z1^2*z2^3*z3^12*z5^5 |
---|
561 | + (-3/2*y1*y3 + 1/288*y3)/(y2 - y3)*z1^2*z2^3*z5^5*z6^12, |
---|
562 | z1^2*z2^3*z4^7*z5^6*z6^7 + (2*y1^3*y2 - 1/216*y1^2*y2)/(y1^2*y2 - y1^2*y3 + |
---|
563 | 1/4*y1^2 - 1/864*y1 + 1/746496)*z1*z2^4*z3^5*z5^11, |
---|
564 | z2^4*z3^7*z5^7*z6^7 + (-3/2*y1 + 1/288)/(y1^2*y2 - |
---|
565 | y1^2*y3)*z1^2*z2^3*z3^12*z4^5 + (3/2*y1 - 1/288)/(y1^2*y2 - |
---|
566 | y1^2*y3)*z1^2*z2^3*z4^5*z6^12, |
---|
567 | z1^2*z2^3*z4^6*z5^7*z6^7 + (-2*y1 + 1/216)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + |
---|
568 | 1/864*y1 - 1/746496)*z1*z2^4*z3^5*z4^11, |
---|
569 | z2^4*z4^7*z5^7*z6^7 + (-3/2*y1 + 1/288)/(y1^2*y2 - |
---|
570 | y1^2*y3)*z1^2*z2^3*z3^5*z4^12 + (3/2*y1*y2 - 1/288*y2)/(y2 - |
---|
571 | y3)*z1^2*z2^3*z3^5*z5^12, |
---|
572 | z2^4*z3*z5^13*z6^7 + (3/2*y1 - 1/288)/(y1^2*y3)*z1^2*z2^3*z3^6*z4^5*z5^6 + |
---|
573 | 3/(y1^2*y3)*z1^2*z2^3*z4^11*z6^6, |
---|
574 | z1^2*z2^2*z4^12*z6^9 + y1^2*y3*z1^2*z2^2*z5^12*z6^9 + (6*y1 - |
---|
575 | 1/72)*z1^2*z2^3*z3^3*z4^3*z5^3, |
---|
576 | z2^3*z4^12*z6^10 + y1^2*y3*z2^3*z5^12*z6^10 + (18*y1 - |
---|
577 | 1/24)*z1^2*z2^3*z3^2*z4^2*z5^2, |
---|
578 | z1^2*z2^3*z4^6*z5*z6^13 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + |
---|
579 | 1/373248)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - |
---|
580 | 1/746496)*z1*z2^4*z3^11*z4^5, |
---|
581 | z2^4*z4^7*z5*z6^13 + 3*z1^2*z2^3*z3^11*z4^6 + (3/2*y1 - |
---|
582 | 1/288)*z1^2*z2^3*z3^5*z5^6*z6^6, |
---|
583 | z1^2*z2^3*z4*z5^6*z6^13 + (2*y1^2*y2^2 - 2*y1^2*y2*y3 - 1/2*y1^2*y2 + |
---|
584 | 1/432*y1*y2 - 1/373248*y2)/(y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - |
---|
585 | 1/864*y1*y3 + 1/746496*y3)*z1*z2^4*z3^11*z5^5, |
---|
586 | z2^4*z4*z5^7*z6^13 + 3*y2/y3*z1^2*z2^3*z3^11*z5^6 + (3/2*y1 - |
---|
587 | 1/288)/(y1^2*y3)*z1^2*z2^3*z3^5*z4^6*z6^6, |
---|
588 | z2^5*z4^4*z6^16, |
---|
589 | z2^5*z5^4*z6^16, |
---|
590 | z1*z2^3*z3^12*z4^8 + z1*z2^3*z4^8*z6^12 + (3*y1 - |
---|
591 | 1/144)*z1^2*z2^3*z3^4*z5^4*z6^4, |
---|
592 | z1*z2^3*z3^8*z4^12 + y1^2*y2*z1*z2^3*z3^8*z5^12 + (3*y1 - |
---|
593 | 1/144)*z1^2*z2^3*z4^4*z5^4*z6^4, |
---|
594 | z3^12*z4^12 - y1^2*y3*z5^12*z6^12, |
---|
595 | z1*z2^3*z3^12*z5^8 + y3/y2*z1*z2^3*z5^8*z6^12 + (3*y1 - |
---|
596 | 1/144)/(y1^2*y2)*z1^2*z2^3*z3^4*z4^4*z6^4, |
---|
597 | z3^12*z5^12 - 1/(y1^2*y2)*z4^12*z6^12, |
---|
598 | z1^2*z2^4*z3^3*z5^15, |
---|
599 | z1*z2^4*z3^5*z5^13*z6 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + |
---|
600 | 1/373248)/(y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 - |
---|
601 | 1/746496*y1^2*y2)*z2^5*z3^4*z4^11, |
---|
602 | z1^2*z2^4*z5^15*z6^3, |
---|
603 | z1*z2^4*z3*z5^13*z6^5 + (2*y1^2*y2 - 2*y1^2*y3 - 1/2*y1^2 + 1/432*y1 - |
---|
604 | 1/373248)/(y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + |
---|
605 | 1/746496*y1^2*y3)*z2^5*z4^11*z6^4, |
---|
606 | z3^6*z4^6*z5^6*z6^6 + 2/y1*z4^12*z6^12 + 2*y1*y3*z5^12*z6^12 - 1/3/y1*z2^2, |
---|
607 | z1*z2^4*z3^5*z4^7*z6^7 + (2*y1^3*y2 - 1/216*y1^2*y2)/(y1^2*y2 - y1^2*y3 + |
---|
608 | 1/4*y1^2 - 1/864*y1 + 1/746496)*z2^5*z3^10*z5^5, |
---|
609 | z1*z2^4*z4^7*z5^5*z6^7 + (2*y1^3*y2 - 1/216*y1^2*y2)/(y1^2*y2 - y1^2*y3 + |
---|
610 | 1/4*y1^2 - 1/864*y1 + 1/746496)*z2^5*z3^5*z5^10, |
---|
611 | z1*z2^4*z3^5*z5^7*z6^7 + (-2*y1 + 1/216)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + |
---|
612 | 1/864*y1 - 1/746496)*z2^5*z3^10*z4^5, |
---|
613 | z1*z2^4*z4^5*z5^7*z6^7 + (-2*y1 + 1/216)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + |
---|
614 | 1/864*y1 - 1/746496)*z2^5*z3^5*z4^10, |
---|
615 | z1^2*z2^3*z5^12*z6^7 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + |
---|
616 | 1/373248)/(y1^3*y3 - 1/432*y1^2*y3)*z1*z2^4*z3^5*z4^5*z5^5, |
---|
617 | z1*z2^3*z4^12*z6^8 + y1^2*y3*z1*z2^3*z5^12*z6^8 + (3*y1 - |
---|
618 | 1/144)*z1^2*z2^3*z3^4*z4^4*z5^4, |
---|
619 | z1^2*z2^3*z4^7*z6^12 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + |
---|
620 | 1/373248)/(y1 - 1/432)*z1*z2^4*z3^5*z5^5*z6^5, |
---|
621 | z1^2*z2^3*z5^7*z6^12 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + |
---|
622 | 1/373248)/(y1^3*y3 - 1/432*y1^2*y3)*z1*z2^4*z3^5*z4^5*z6^5, |
---|
623 | z1*z2^4*z4^5*z5*z6^13 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + |
---|
624 | 1/373248)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - |
---|
625 | 1/746496)*z2^5*z3^11*z4^4, |
---|
626 | z1*z2^4*z4*z5^5*z6^13 + (2*y1^2*y2^2 - 2*y1^2*y2*y3 - 1/2*y1^2*y2 + |
---|
627 | 1/432*y1*y2 - 1/373248*y2)/(y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - |
---|
628 | 1/864*y1*y3 + 1/746496*y3)*z2^5*z3^11*z5^4, |
---|
629 | z1^2*z2^4*z4^3*z6^15, |
---|
630 | z1^2*z2^4*z5^3*z6^15, |
---|
631 | z1^2*z2^3*z3^12*z4^6 + (y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - |
---|
632 | 1/746496)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
633 | 1/746496)*z1^2*z2^3*z4^6*z6^12, |
---|
634 | z2^4*z3^12*z4^7 + z2^4*z4^7*z6^12 + (3/2*y1 - |
---|
635 | 1/288)*z1^2*z2^3*z3^5*z5^5*z6^5, |
---|
636 | z1^2*z2^3*z3^6*z4^12 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
637 | 1/746496)/(y1 - 1/432)*z1^2*z2^3*z4^6*z5^6*z6^6, |
---|
638 | z2^4*z3^7*z4^12 + y1^2*y2*z2^4*z3^7*z5^12 + (3/2*y1 - |
---|
639 | 1/288)*z1^2*z2^3*z4^5*z5^5*z6^5, |
---|
640 | z2^5*z3^10*z4^4*z5^4, |
---|
641 | z2^5*z3^4*z4^10*z5^4, |
---|
642 | z1^2*z2^3*z3^12*z5^6 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 1/864*y1*y3 + |
---|
643 | 1/746496*y3)/(y1^2*y2^2 - y1^2*y2*y3 - 1/4*y1^2*y2 + 1/864*y1*y2 - |
---|
644 | 1/746496*y2)*z1^2*z2^3*z5^6*z6^12, |
---|
645 | z1^2*z2^3*z3^6*z4^6*z5^6 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - |
---|
646 | 1/4*y1^2 + 1/864*y1 - 1/746496)*z1^2*z2^3*z5^12*z6^6, |
---|
647 | z2^4*z3^12*z5^7 + y3/y2*z2^4*z5^7*z6^12 + (3/2*y1 - |
---|
648 | 1/288)/(y1^2*y2)*z1^2*z2^3*z3^5*z4^5*z6^5, |
---|
649 | z2^5*z3^4*z4^4*z5^10, |
---|
650 | z1^2*z2^3*z3^6*z5^12 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
651 | 1/746496)/(y1^3*y2 - 1/432*y1^2*y2)*z1^2*z2^3*z4^6*z5^6*z6^6, |
---|
652 | z1^2*z2^4*z3^3*z5^13*z6 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + |
---|
653 | 1/373248)/(y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 - |
---|
654 | 1/746496*y1^2*y2)*z1*z2^5*z3^2*z4^11, |
---|
655 | z2^5*z3^4*z5^13*z6 + (3*y1^2*y2 - 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + |
---|
656 | 1/248832)/(y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 - |
---|
657 | 1/746496*y1^2*y2)*z1^2*z2^4*z3^3*z4^11, |
---|
658 | z1^2*z2^4*z3*z5^13*z6^3 + (2*y1^2*y2 - 2*y1^2*y3 - 1/2*y1^2 + 1/432*y1 - |
---|
659 | 1/373248)/(y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + |
---|
660 | 1/746496*y1^2*y3)*z1*z2^5*z4^11*z6^2, |
---|
661 | z2^5*z3^10*z4^4*z6^4, |
---|
662 | z2^5*z3^4*z4^10*z6^4, |
---|
663 | z2^5*z3^10*z5^4*z6^4, |
---|
664 | z2^5*z4^10*z5^4*z6^4, |
---|
665 | z2^5*z3^4*z5^10*z6^4, |
---|
666 | z2^5*z4^4*z5^10*z6^4, |
---|
667 | z2^5*z3*z5^13*z6^4 + (3*y1^2*y2 - 3*y1^2*y3 - 3/4*y1^2 + 1/288*y1 - |
---|
668 | 1/248832)/(y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + |
---|
669 | 1/746496*y1^2*y3)*z1^2*z2^4*z4^11*z6^3, |
---|
670 | z1^2*z2^3*z3^6*z4^6*z6^6 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - |
---|
671 | 1/4*y1^2 + 1/864*y1 - 1/746496)*z1^2*z2^3*z5^6*z6^12, |
---|
672 | z1^2*z2^3*z4^12*z6^6 + (y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 |
---|
673 | + 1/746496*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - |
---|
674 | 1/746496)*z1^2*z2^3*z5^12*z6^6, |
---|
675 | z1^2*z2^3*z3^6*z5^6*z6^6 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - |
---|
676 | 1/864*y1 + 1/746496)*z1^2*z2^3*z4^6*z6^12, |
---|
677 | z1^2*z2^4*z3^3*z4^7*z6^7 + (2*y1^3*y2 - 1/216*y1^2*y2)/(y1^2*y2 - y1^2*y3 + |
---|
678 | 1/4*y1^2 - 1/864*y1 + 1/746496)*z1*z2^5*z3^8*z5^5, |
---|
679 | z2^5*z3^4*z4^7*z6^7 + (3*y1^3*y2 - 1/144*y1^2*y2)/(y1^2*y2 - y1^2*y3 + |
---|
680 | 1/4*y1^2 - 1/864*y1 + 1/746496)*z1^2*z2^4*z3^9*z5^5, |
---|
681 | z1*z2^4*z4^11*z6^7 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + |
---|
682 | 1/373248)/(y1 - 1/432)*z2^5*z3^5*z4^4*z5^5, |
---|
683 | z2^4*z4^12*z6^7 + y1^2*y3*z2^4*z5^12*z6^7 + (3/2*y1 - |
---|
684 | 1/288)*z1^2*z2^3*z3^5*z4^5*z5^5, |
---|
685 | z1^2*z2^4*z4^7*z5^3*z6^7 + (2*y1^3*y2 - 1/216*y1^2*y2)/(y1^2*y2 - y1^2*y3 + |
---|
686 | 1/4*y1^2 - 1/864*y1 + 1/746496)*z1*z2^5*z3^5*z5^8, |
---|
687 | z2^5*z4^7*z5^4*z6^7 + (3*y1^3*y2 - 1/144*y1^2*y2)/(y1^2*y2 - y1^2*y3 + |
---|
688 | 1/4*y1^2 - 1/864*y1 + 1/746496)*z1^2*z2^4*z3^5*z5^9, |
---|
689 | z1^2*z2^4*z3^3*z5^7*z6^7 + (-2*y1 + 1/216)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + |
---|
690 | 1/864*y1 - 1/746496)*z1*z2^5*z3^8*z4^5, |
---|
691 | z2^5*z3^4*z5^7*z6^7 + (-3*y1 + 1/144)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + |
---|
692 | 1/864*y1 - 1/746496)*z1^2*z2^4*z3^9*z4^5, |
---|
693 | z1^2*z2^4*z4^3*z5^7*z6^7 + (-2*y1 + 1/216)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + |
---|
694 | 1/864*y1 - 1/746496)*z1*z2^5*z3^5*z4^8, |
---|
695 | z2^5*z4^4*z5^7*z6^7 + (-3*y1 + 1/144)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + |
---|
696 | 1/864*y1 - 1/746496)*z1^2*z2^4*z3^5*z4^9, |
---|
697 | z1*z2^4*z5^11*z6^7 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + |
---|
698 | 1/373248)/(y1^3*y3 - 1/432*y1^2*y3)*z2^5*z3^5*z4^5*z5^4, |
---|
699 | z2^5*z3^4*z4^4*z6^10, |
---|
700 | z2^5*z3^4*z5^4*z6^10, |
---|
701 | z2^5*z4^4*z5^4*z6^10, |
---|
702 | z1*z2^4*z4^7*z6^11 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + |
---|
703 | 1/373248)/(y1 - 1/432)*z2^5*z3^5*z5^5*z6^4, |
---|
704 | z1*z2^4*z5^7*z6^11 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + |
---|
705 | 1/373248)/(y1^3*y3 - 1/432*y1^2*y3)*z2^5*z3^5*z4^5*z6^4, |
---|
706 | z1^2*z2^4*z4^3*z5*z6^13 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + |
---|
707 | 1/373248)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - |
---|
708 | 1/746496)*z1*z2^5*z3^11*z4^2, |
---|
709 | z2^5*z4^4*z5*z6^13 + (3*y1^2*y2 - 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + |
---|
710 | 1/248832)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - |
---|
711 | 1/746496)*z1^2*z2^4*z3^11*z4^3, |
---|
712 | z1^2*z2^4*z4*z5^3*z6^13 + (2*y1^2*y2^2 - 2*y1^2*y2*y3 - 1/2*y1^2*y2 + |
---|
713 | 1/432*y1*y2 - 1/373248*y2)/(y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - |
---|
714 | 1/864*y1*y3 + 1/746496*y3)*z1*z2^5*z3^11*z5^2, |
---|
715 | z2^5*z4*z5^4*z6^13 + (3*y1^2*y2^2 - 3*y1^2*y2*y3 - 3/4*y1^2*y2 + 1/288*y1*y2 |
---|
716 | - 1/248832*y2)/(y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 1/864*y1*y3 + |
---|
717 | 1/746496*y3)*z1^2*z2^4*z3^11*z5^3, |
---|
718 | z1*z2^4*z3^12*z4^5 + (y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - |
---|
719 | 1/746496)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
720 | 1/746496)*z1*z2^4*z4^5*z6^12, |
---|
721 | z1*z2^4*z3^11*z4^6 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
722 | 1/746496)/(y1 - 1/432)*z1*z2^4*z3^5*z5^6*z6^6, |
---|
723 | z1*z2^4*z3^6*z4^11 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
724 | 1/746496)/(y1 - 1/432)*z1*z2^4*z4^5*z5^6*z6^6, |
---|
725 | z1*z2^4*z3^5*z4^12 + (y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 - |
---|
726 | 1/746496*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
727 | 1/746496)*z1*z2^4*z3^5*z5^12, |
---|
728 | z1*z2^4*z3^12*z5^5 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 1/864*y1*y3 + |
---|
729 | 1/746496*y3)/(y1^2*y2^2 - y1^2*y2*y3 - 1/4*y1^2*y2 + 1/864*y1*y2 - |
---|
730 | 1/746496*y2)*z1*z2^4*z5^5*z6^12, |
---|
731 | z1*z2^4*z3^6*z4^6*z5^5 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - |
---|
732 | 1/4*y1^2 + 1/864*y1 - 1/746496)*z1*z2^4*z5^11*z6^6, |
---|
733 | z1*z2^4*z3^11*z5^6 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
734 | 1/746496)/(y1^3*y2 - 1/432*y1^2*y2)*z1*z2^4*z3^5*z4^6*z6^6, |
---|
735 | z1*z2^4*z3^6*z4^5*z5^6 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - |
---|
736 | 1/864*y1 + 1/746496)*z1*z2^4*z4^11*z6^6, |
---|
737 | z1*z2^4*z3^6*z5^11 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
738 | 1/746496)/(y1^3*y2 - 1/432*y1^2*y2)*z1*z2^4*z4^6*z5^5*z6^6, |
---|
739 | z1*z2^5*z3^2*z5^14, |
---|
740 | z1*z2^5*z3^2*z5^13*z6 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + |
---|
741 | 1/373248)/(y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 - |
---|
742 | 1/746496*y1^2*y2)*z2^6*z3*z4^11, |
---|
743 | z1*z2^5*z3*z5^13*z6^2 + (2*y1^2*y2 - 2*y1^2*y3 - 1/2*y1^2 + 1/432*y1 - |
---|
744 | 1/373248)/(y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + |
---|
745 | 1/746496*y1^2*y3)*z2^6*z4^11*z6, |
---|
746 | z1*z2^5*z5^14*z6^2, |
---|
747 | z1*z2^4*z3^6*z4^6*z6^5 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - |
---|
748 | 1/4*y1^2 + 1/864*y1 - 1/746496)*z1*z2^4*z5^6*z6^11, |
---|
749 | z1*z2^4*z4^12*z6^5 + (y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + |
---|
750 | 1/746496*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - |
---|
751 | 1/746496)*z1*z2^4*z5^12*z6^5, |
---|
752 | z1*z2^4*z3^6*z5^6*z6^5 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - |
---|
753 | 1/864*y1 + 1/746496)*z1*z2^4*z4^6*z6^11, |
---|
754 | z1*z2^5*z3^2*z4^7*z6^7 + (2*y1^3*y2 - 1/216*y1^2*y2)/(y1^2*y2 - y1^2*y3 + |
---|
755 | 1/4*y1^2 - 1/864*y1 + 1/746496)*z2^6*z3^7*z5^5, |
---|
756 | z1^2*z2^4*z4^9*z6^7 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + |
---|
757 | 1/373248)/(y1 - 1/432)*z1*z2^5*z3^5*z4^2*z5^5, |
---|
758 | z2^5*z4^10*z6^7 + (3*y1^2*y2 - 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + |
---|
759 | 1/248832)/(y1 - 1/432)*z1^2*z2^4*z3^5*z4^3*z5^5, |
---|
760 | z1*z2^5*z4^7*z5^2*z6^7 + (2*y1^3*y2 - 1/216*y1^2*y2)/(y1^2*y2 - y1^2*y3 + |
---|
761 | 1/4*y1^2 - 1/864*y1 + 1/746496)*z2^6*z3^5*z5^7, |
---|
762 | z1*z2^5*z3^2*z5^7*z6^7 + (-2*y1 + 1/216)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + |
---|
763 | 1/864*y1 - 1/746496)*z2^6*z3^7*z4^5, |
---|
764 | z1*z2^5*z4^2*z5^7*z6^7 + (-2*y1 + 1/216)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + |
---|
765 | 1/864*y1 - 1/746496)*z2^6*z3^5*z4^7, |
---|
766 | z1^2*z2^4*z5^9*z6^7 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + |
---|
767 | 1/373248)/(y1^3*y3 - 1/432*y1^2*y3)*z1*z2^5*z3^5*z4^5*z5^2, |
---|
768 | z2^5*z5^10*z6^7 + (-3*y1^2*y2 + 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + |
---|
769 | 1/248832)/(y1^3*y3 - 1/432*y1^2*y3)*z1^2*z2^4*z3^5*z4^5*z5^3, |
---|
770 | z1^2*z2^4*z4^7*z6^9 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + |
---|
771 | 1/373248)/(y1 - 1/432)*z1*z2^5*z3^5*z5^5*z6^2, |
---|
772 | z1^2*z2^4*z5^7*z6^9 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + |
---|
773 | 1/373248)/(y1^3*y3 - 1/432*y1^2*y3)*z1*z2^5*z3^5*z4^5*z6^2, |
---|
774 | z2^5*z4^7*z6^10 + (3*y1^2*y2 - 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + |
---|
775 | 1/248832)/(y1 - 1/432)*z1^2*z2^4*z3^5*z5^5*z6^3, |
---|
776 | z2^5*z5^7*z6^10 + (-3*y1^2*y2 + 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + |
---|
777 | 1/248832)/(y1^3*y3 - 1/432*y1^2*y3)*z1^2*z2^4*z3^5*z4^5*z6^3, |
---|
778 | z1*z2^5*z4^2*z5*z6^13 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + |
---|
779 | 1/373248)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - |
---|
780 | 1/746496)*z2^6*z3^11*z4, |
---|
781 | z1*z2^5*z4*z5^2*z6^13 + (2*y1^2*y2^2 - 2*y1^2*y2*y3 - 1/2*y1^2*y2 + |
---|
782 | 1/432*y1*y2 - 1/373248*y2)/(y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - |
---|
783 | 1/864*y1*y3 + 1/746496*y3)*z2^6*z3^11*z5, |
---|
784 | z1*z2^5*z4^2*z6^14, |
---|
785 | z1*z2^5*z5^2*z6^14, |
---|
786 | z1^2*z2^4*z3^12*z4^3 + (y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - |
---|
787 | 1/746496)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
788 | 1/746496)*z1^2*z2^4*z4^3*z6^12, |
---|
789 | z2^5*z3^12*z4^4 + (y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - |
---|
790 | 1/746496)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
791 | 1/746496)*z2^5*z4^4*z6^12, |
---|
792 | z1^2*z2^4*z3^9*z4^6 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
793 | 1/746496)/(y1 - 1/432)*z1^2*z2^4*z3^3*z5^6*z6^6, |
---|
794 | z2^5*z3^10*z4^6 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 1/746496)/(y1 |
---|
795 | - 1/432)*z2^5*z3^4*z5^6*z6^6, |
---|
796 | z1^2*z2^4*z3^6*z4^9 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
797 | 1/746496)/(y1 - 1/432)*z1^2*z2^4*z4^3*z5^6*z6^6, |
---|
798 | z2^5*z3^6*z4^10 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 1/746496)/(y1 |
---|
799 | - 1/432)*z2^5*z4^4*z5^6*z6^6, |
---|
800 | z1^2*z2^4*z3^3*z4^12 + (y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 |
---|
801 | - 1/746496*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
802 | 1/746496)*z1^2*z2^4*z3^3*z5^12, |
---|
803 | z2^5*z3^4*z4^12 + (y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 - |
---|
804 | 1/746496*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
805 | 1/746496)*z2^5*z3^4*z5^12, |
---|
806 | z1^2*z2^4*z3^12*z5^3 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 1/864*y1*y3 + |
---|
807 | 1/746496*y3)/(y1^2*y2^2 - y1^2*y2*y3 - 1/4*y1^2*y2 + 1/864*y1*y2 - |
---|
808 | 1/746496*y2)*z1^2*z2^4*z5^3*z6^12, |
---|
809 | z1^2*z2^4*z3^9*z4^3*z5^3, |
---|
810 | z1^2*z2^4*z3^6*z4^6*z5^3 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - |
---|
811 | 1/4*y1^2 + 1/864*y1 - 1/746496)*z1^2*z2^4*z5^9*z6^6, |
---|
812 | z1^2*z2^4*z3^3*z4^9*z5^3, |
---|
813 | z2^5*z3^12*z5^4 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 1/864*y1*y3 + |
---|
814 | 1/746496*y3)/(y1^2*y2^2 - y1^2*y2*y3 - 1/4*y1^2*y2 + 1/864*y1*y2 - |
---|
815 | 1/746496*y2)*z2^5*z5^4*z6^12, |
---|
816 | z2^5*z3^6*z4^6*z5^4 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - |
---|
817 | 1/4*y1^2 + 1/864*y1 - 1/746496)*z2^5*z5^10*z6^6, |
---|
818 | z1^2*z2^4*z3^9*z5^6 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
819 | 1/746496)/(y1^3*y2 - 1/432*y1^2*y2)*z1^2*z2^4*z3^3*z4^6*z6^6, |
---|
820 | z2^5*z3^10*z5^6 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
821 | 1/746496)/(y1^3*y2 - 1/432*y1^2*y2)*z2^5*z3^4*z4^6*z6^6, |
---|
822 | z1^2*z2^4*z3^6*z4^3*z5^6 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - |
---|
823 | 1/864*y1 + 1/746496)*z1^2*z2^4*z4^9*z6^6, |
---|
824 | z2^5*z3^6*z4^4*z5^6 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 |
---|
825 | + 1/746496)*z2^5*z4^10*z6^6, |
---|
826 | z1^2*z2^4*z3^6*z5^9 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
827 | 1/746496)/(y1^3*y2 - 1/432*y1^2*y2)*z1^2*z2^4*z4^6*z5^3*z6^6, |
---|
828 | z1^2*z2^4*z3^3*z4^3*z5^9, |
---|
829 | z2^5*z3^6*z5^10 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
830 | 1/746496)/(y1^3*y2 - 1/432*y1^2*y2)*z2^5*z4^6*z5^4*z6^6, |
---|
831 | z1^2*z2^4*z3^9*z4^3*z6^3, |
---|
832 | z1^2*z2^4*z3^6*z4^6*z6^3 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - |
---|
833 | 1/4*y1^2 + 1/864*y1 - 1/746496)*z1^2*z2^4*z5^6*z6^9, |
---|
834 | z1^2*z2^4*z3^3*z4^9*z6^3, |
---|
835 | z1^2*z2^4*z4^12*z6^3 + (y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 |
---|
836 | + 1/746496*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - |
---|
837 | 1/746496)*z1^2*z2^4*z5^12*z6^3, |
---|
838 | z1^2*z2^4*z3^9*z5^3*z6^3, |
---|
839 | z1^2*z2^4*z4^9*z5^3*z6^3, |
---|
840 | z1^2*z2^4*z3^6*z5^6*z6^3 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - |
---|
841 | 1/864*y1 + 1/746496)*z1^2*z2^4*z4^6*z6^9, |
---|
842 | z1^2*z2^4*z3^3*z5^9*z6^3, |
---|
843 | z1^2*z2^4*z4^3*z5^9*z6^3, |
---|
844 | z2^5*z3^6*z4^6*z6^4 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - |
---|
845 | 1/4*y1^2 + 1/864*y1 - 1/746496)*z2^5*z5^6*z6^10, |
---|
846 | z2^5*z4^12*z6^4 + (y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + |
---|
847 | 1/746496*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - |
---|
848 | 1/746496)*z2^5*z5^12*z6^4, |
---|
849 | z2^5*z3^6*z5^6*z6^4 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 |
---|
850 | + 1/746496)*z2^5*z4^6*z6^10, |
---|
851 | z1*z2^5*z4^8*z6^7 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + |
---|
852 | 1/373248)/(y1 - 1/432)*z2^6*z3^5*z4*z5^5, |
---|
853 | z1*z2^5*z5^8*z6^7 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + |
---|
854 | 1/373248)/(y1^3*y3 - 1/432*y1^2*y3)*z2^6*z3^5*z4^5*z5, |
---|
855 | z1*z2^5*z4^7*z6^8 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + |
---|
856 | 1/373248)/(y1 - 1/432)*z2^6*z3^5*z5^5*z6, |
---|
857 | z1*z2^5*z5^7*z6^8 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + |
---|
858 | 1/373248)/(y1^3*y3 - 1/432*y1^2*y3)*z2^6*z3^5*z4^5*z6, |
---|
859 | z1^2*z2^4*z3^3*z4^3*z6^9, |
---|
860 | z1^2*z2^4*z3^3*z5^3*z6^9, |
---|
861 | z1^2*z2^4*z4^3*z5^3*z6^9, |
---|
862 | z1*z2^5*z3^12*z4^2 + (y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - |
---|
863 | 1/746496)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
864 | 1/746496)*z1*z2^5*z4^2*z6^12, |
---|
865 | z1*z2^5*z3^8*z4^6 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
866 | 1/746496)/(y1 - 1/432)*z1*z2^5*z3^2*z5^6*z6^6, |
---|
867 | z1*z2^5*z3^6*z4^8 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
868 | 1/746496)/(y1 - 1/432)*z1*z2^5*z4^2*z5^6*z6^6, |
---|
869 | z1*z2^5*z3^2*z4^12 + (y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 - |
---|
870 | 1/746496*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
871 | 1/746496)*z1*z2^5*z3^2*z5^12, |
---|
872 | z1*z2^5*z3^12*z5^2 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 1/864*y1*y3 + |
---|
873 | 1/746496*y3)/(y1^2*y2^2 - y1^2*y2*y3 - 1/4*y1^2*y2 + 1/864*y1*y2 - |
---|
874 | 1/746496*y2)*z1*z2^5*z5^2*z6^12, |
---|
875 | z1*z2^5*z3^6*z4^6*z5^2 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - |
---|
876 | 1/4*y1^2 + 1/864*y1 - 1/746496)*z1*z2^5*z5^8*z6^6, |
---|
877 | z1*z2^5*z3^8*z5^6 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
878 | 1/746496)/(y1^3*y2 - 1/432*y1^2*y2)*z1*z2^5*z3^2*z4^6*z6^6, |
---|
879 | z1*z2^5*z3^6*z4^2*z5^6 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - |
---|
880 | 1/864*y1 + 1/746496)*z1*z2^5*z4^8*z6^6, |
---|
881 | z1*z2^5*z3^6*z5^8 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
882 | 1/746496)/(y1^3*y2 - 1/432*y1^2*y2)*z1*z2^5*z4^6*z5^2*z6^6, |
---|
883 | z2^6*z3*z5^13, |
---|
884 | z2^6*z5^13*z6, |
---|
885 | z1*z2^5*z3^6*z4^6*z6^2 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - |
---|
886 | 1/4*y1^2 + 1/864*y1 - 1/746496)*z1*z2^5*z5^6*z6^8, |
---|
887 | z1*z2^5*z4^12*z6^2 + (y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + |
---|
888 | 1/746496*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - |
---|
889 | 1/746496)*z1*z2^5*z5^12*z6^2, |
---|
890 | z1*z2^5*z3^6*z5^6*z6^2 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - |
---|
891 | 1/864*y1 + 1/746496)*z1*z2^5*z4^6*z6^8, |
---|
892 | z2^6*z4^7*z6^7 + (3*y1^2*y2 - 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + |
---|
893 | 1/248832)/(y1 - 1/432)*z1^2*z2^5*z3^5*z5^5, |
---|
894 | z2^6*z5^7*z6^7 + (-3*y1^2*y2 + 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + |
---|
895 | 1/248832)/(y1^3*y3 - 1/432*y1^2*y3)*z1^2*z2^5*z3^5*z4^5, |
---|
896 | z2^6*z4*z6^13, |
---|
897 | z2^6*z5*z6^13, |
---|
898 | z2^6*z3^12*z4 + (y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - |
---|
899 | 1/746496)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
900 | 1/746496)*z2^6*z4*z6^12, |
---|
901 | z2^6*z3^7*z4^6 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 1/746496)/(y1 - |
---|
902 | 1/432)*z2^6*z3*z5^6*z6^6, |
---|
903 | z2^6*z3^6*z4^7 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 1/746496)/(y1 - |
---|
904 | 1/432)*z2^6*z4*z5^6*z6^6, |
---|
905 | z2^6*z3*z4^12 + (y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 - |
---|
906 | 1/746496*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
907 | 1/746496)*z2^6*z3*z5^12, |
---|
908 | z2^6*z3^12*z5 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 1/864*y1*y3 + |
---|
909 | 1/746496*y3)/(y1^2*y2^2 - y1^2*y2*y3 - 1/4*y1^2*y2 + 1/864*y1*y2 - |
---|
910 | 1/746496*y2)*z2^6*z5*z6^12, |
---|
911 | z2^6*z3^6*z4^6*z5 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 |
---|
912 | + 1/864*y1 - 1/746496)*z2^6*z5^7*z6^6, |
---|
913 | z2^6*z3^7*z5^6 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
914 | 1/746496)/(y1^3*y2 - 1/432*y1^2*y2)*z2^6*z3*z4^6*z6^6, |
---|
915 | z2^6*z3^6*z4*z5^6 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
916 | 1/746496)*z2^6*z4^7*z6^6, |
---|
917 | z2^6*z3^6*z5^7 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
918 | 1/746496)/(y1^3*y2 - 1/432*y1^2*y2)*z2^6*z4^6*z5*z6^6, |
---|
919 | z2^6*z3^6*z4^6*z6 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 |
---|
920 | + 1/864*y1 - 1/746496)*z2^6*z5^6*z6^7, |
---|
921 | z2^6*z4^12*z6 + (y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + |
---|
922 | 1/746496*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - |
---|
923 | 1/746496)*z2^6*z5^12*z6, |
---|
924 | z2^6*z3^6*z5^6*z6 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + |
---|
925 | 1/746496)*z2^6*z4^6*z6^7, |
---|
926 | z1*z2^5*z3^8*z4^2*z5^2, |
---|
927 | z1*z2^5*z3^2*z4^8*z5^2, |
---|
928 | z1*z2^5*z3^2*z4^2*z5^8, |
---|
929 | z1*z2^5*z3^8*z4^2*z6^2, |
---|
930 | z1*z2^5*z3^2*z4^8*z6^2, |
---|
931 | z1*z2^5*z3^8*z5^2*z6^2, |
---|
932 | z1*z2^5*z4^8*z5^2*z6^2, |
---|
933 | z1*z2^5*z3^2*z5^8*z6^2, |
---|
934 | z1*z2^5*z4^2*z5^8*z6^2, |
---|
935 | z1*z2^5*z3^2*z4^2*z6^8, |
---|
936 | z1*z2^5*z3^2*z5^2*z6^8, |
---|
937 | z1*z2^5*z4^2*z5^2*z6^8, |
---|
938 | z2^6*z3^7*z4*z5, |
---|
939 | z2^6*z3*z4^7*z5, |
---|
940 | z2^6*z3*z4*z5^7, |
---|
941 | z2^6*z3^7*z4*z6, |
---|
942 | z2^6*z3*z4^7*z6, |
---|
943 | z2^6*z3^7*z5*z6, |
---|
944 | z2^6*z4^7*z5*z6, |
---|
945 | z2^6*z3*z5^7*z6, |
---|
946 | z2^6*z4*z5^7*z6, |
---|
947 | z2^6*z3*z4*z6^7, |
---|
948 | z2^6*z3*z5*z6^7, |
---|
949 | z2^6*z4*z5*z6^7, |
---|
950 | z1^2*z2^5*z3^6, |
---|
951 | z1^2*z2^5*z4^6, |
---|
952 | z1^2*z2^5*z5^6, |
---|
953 | z1^2*z2^5*z6^6, |
---|
954 | z1*z2^6*z3^5, |
---|
955 | z1*z2^6*z4^5, |
---|
956 | z1*z2^6*z5^5, |
---|
957 | z1*z2^6*z6^5, |
---|
958 | z1^2*z2^6*z3^3, |
---|
959 | z2^7*z3^4, |
---|
960 | z1^2*z2^6*z4^3, |
---|
961 | z2^7*z4^4, |
---|
962 | z1^2*z2^6*z5^3, |
---|
963 | z2^7*z5^4, |
---|
964 | z1^2*z2^6*z6^3, |
---|
965 | z2^7*z6^4, |
---|
966 | z1*z2^7*z3^2, |
---|
967 | z1*z2^7*z4^2, |
---|
968 | z1*z2^7*z5^2, |
---|
969 | z1*z2^7*z6^2, |
---|
970 | z1^2*z2^7, |
---|
971 | z1*z2^8, |
---|
972 | z2^9, |
---|
973 | z2^8*z3, |
---|
974 | z2^8*z4, |
---|
975 | z2^8*z5, |
---|
976 | z2^8*z6, |
---|
977 | z2^3*z3*z4*z5*z6 - 3*z1^2*z2^2, |
---|
978 | z1*z2*z3*z4*z5*z6 - 2*z2^2, |
---|
979 | z1^3 - 2/3*z2^2; |
---|
980 | iMagma=interred(iMagma); |
---|
981 | print(simplify(reduce(lead(iSlimgb),lead(iStd)),2)); |
---|
982 | print(simplify(reduce(lead(iSlimgb),lead(iMagma)),2)); |
---|
983 | print(simplify(reduce(lead(iStd),lead(iSlimgb)),2)); |
---|
984 | print(simplify(reduce(lead(iStd),lead(iMagma)),2)); |
---|
985 | print(simplify(reduce(lead(iMagma),lead(iSlimgb)),2)); |
---|
986 | print(simplify(reduce(lead(iMagma),lead(iStd)),2)); |
---|
987 | print(string(iSlimgb)==string(iMagma)); |
---|
988 | print(string(iSlimgb)==string(iStd)); |
---|
989 | print(string(iStd)==string(iMagma)); |
---|
990 | |
---|
991 | print(simplify(reduce(iStd,iMagma),2)); |
---|
992 | print(simplify(reduce(iSlimgb,iMagma),2)); |
---|
993 | print(simplify(reduce(iStd,iSlimgb),2)); |
---|
994 | print(simplify(reduce(iMagma,iSlimgb),2)); |
---|
995 | print(simplify(reduce(iSlimgb,iStd),2)); |
---|
996 | print(simplify(reduce(iMagma,iStd),2)); |
---|
997 | |
---|
998 | tst_status(1);$ |
---|