blob: 7cd1009bd66e5142c4de96fe255c350a4fc253a4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
|
fp t43;
fp t47;
fp t31;
fp t46;
fp t32;
fp t85;
fp t26;
fp t84;
fp t48;
fp t29;
fp t83;
fp t45;
fp t37;
fp t40;
fp t82;
fp t38;
fp t28;
fp t42;
fp t24;
fp t81;
fp t27;
fp t41;
fp t71;
fp t25;
fp t80;
fp t72;
fp t21;
fp t34;
fp t79;
fp t36;
fp t68;
fp t69;
fp t78;
fp t77;
fp t76;
fp t35;
fp t67;
fp t75;
fp t22;
fp t30;
fp t74;
fp t73;
fp t39;
fp t70;
fp t66;
fp t33;
fp t63;
fp t62;
fp t61;
fp t60;
fp t59;
fp t58;
fp t57;
fp t56;
fp t55;
fp t54;
fp t53;
fp t52;
fp t51;
fp t50;
fp t49;
fp t23;
fp t20;
t43 = RATIONAL(1.0,18.0);
t47 = z*z;
t31 = t43*t47;
t46 = y*y;
t32 = t43*t46;
t85 = t31+t32;
t26 = t43*y;
t84 = t26+t85;
t48 = x*x;
t29 = t43*t48;
t83 = t29+RATIONAL(-2.0,27.0);
t45 = RATIONAL(-1.0,9.0);
t37 = t45*t48;
t40 = RATIONAL(1.0,27.0);
t82 = t37+t40;
t38 = RATIONAL(-1.0,18.0);
t28 = t38*x;
t42 = RATIONAL(1.0,12.0);
t24 = t42*x*z;
t81 = t28+t24;
t27 = t43*x;
t41 = RATIONAL(-1.0,12.0);
t71 = z*t41;
t25 = x*t71;
t80 = t27+t25;
t72 = y*t42;
t21 = z*t72;
t34 = t43*z;
t79 = t21+t34;
t36 = t45*t46;
t68 = t31+t36;
t69 = t29+t40;
t78 = t68+t69;
t77 = t27+t24;
t76 = t28+t25;
t35 = t45*t47;
t67 = t35+t32;
t75 = t67+t69;
t22 = y*t71;
t30 = t38*z;
t74 = t22+t30;
t73 = t83+t84;
t39 = RATIONAL(4.0,27.0);
t70 = t37+t39;
t66 = t35+t36;
t33 = t38*y;
t63 = t33+t85;
t62 = t68+t70;
t61 = t67+t70;
t60 = t29+t39+t66;
t59 = t30+t21+t63;
t58 = t82+t84;
t57 = t27+t75;
t56 = t24+t78;
t55 = t28+t75;
t54 = t25+t78;
t53 = t22+t34+t63;
t52 = t73+t79;
t51 = t53+t83;
t50 = t73+t74;
t49 = t59+t83;
t23 = t41*x*y;
t20 = x*t72;
coeffs_I->coeff_m1_m1_m1 = t20+t49+t81;
coeffs_I->coeff_0_m1_m1 = t59+t82;
coeffs_I->coeff_p1_m1_m1 = t23+t49+t80;
coeffs_I->coeff_m1_0_m1 = t28+t30+t56;
coeffs_I->coeff_0_0_m1 = t30+t62;
coeffs_I->coeff_p1_0_m1 = t27+t30+t54;
coeffs_I->coeff_m1_p1_m1 = t23+t50+t81;
coeffs_I->coeff_0_p1_m1 = t58+t74;
coeffs_I->coeff_p1_p1_m1 = t20+t50+t80;
coeffs_I->coeff_m1_m1_0 = t20+t33+t55;
coeffs_I->coeff_0_m1_0 = t33+t61;
coeffs_I->coeff_p1_m1_0 = t33+t23+t57;
coeffs_I->coeff_m1_0_0 = t28+t60;
coeffs_I->coeff_0_0_0 = t37+RATIONAL(7.0,27.0)+t66;
coeffs_I->coeff_p1_0_0 = t27+t60;
coeffs_I->coeff_m1_p1_0 = t23+t26+t55;
coeffs_I->coeff_0_p1_0 = t26+t61;
coeffs_I->coeff_p1_p1_0 = t20+t26+t57;
coeffs_I->coeff_m1_m1_p1 = t20+t51+t76;
coeffs_I->coeff_0_m1_p1 = t53+t82;
coeffs_I->coeff_p1_m1_p1 = t23+t51+t77;
coeffs_I->coeff_m1_0_p1 = t28+t34+t54;
coeffs_I->coeff_0_0_p1 = t34+t62;
coeffs_I->coeff_p1_0_p1 = t34+t27+t56;
coeffs_I->coeff_m1_p1_p1 = t23+t52+t76;
coeffs_I->coeff_0_p1_p1 = t58+t79;
coeffs_I->coeff_p1_p1_p1 = t20+t52+t77;
|