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
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
|
fp t158;
fp t131;
fp t157;
fp t132;
fp t156;
fp t117;
fp t63;
fp t129;
fp t130;
fp t84;
fp t155;
fp t154;
fp t128;
fp t87;
fp t153;
fp t126;
fp t64;
fp t133;
fp t116;
fp t76;
fp t152;
fp t67;
fp t86;
fp t151;
fp t123;
fp t71;
fp t150;
fp t124;
fp t65;
fp t149;
fp t125;
fp t81;
fp t148;
fp t85;
fp t147;
fp t146;
fp t112;
fp t69;
fp t145;
fp t110;
fp t66;
fp t144;
fp t143;
fp t70;
fp t120;
fp t142;
fp t122;
fp t141;
fp t140;
fp t101;
fp t139;
fp t138;
fp t137;
fp t136;
fp t127;
fp t121;
fp t118;
fp t115;
fp t113;
fp t109;
fp t107;
fp t106;
fp t104;
fp t103;
fp t102;
fp t100;
fp t98;
fp t97;
fp t96;
fp t95;
fp t94;
fp t93;
fp t92;
fp t91;
fp t90;
fp t89;
fp t88;
fp t83;
fp t82;
fp t80;
fp t78;
fp t77;
fp t74;
fp t73;
t158 = x*y;
t131 = x*x;
t157 = t131*y;
t132 = y*y;
t156 = x*t132;
t117 = RATIONAL(1.0,40.0);
t63 = t117*t157;
t129 = RATIONAL(1.0,8.0);
t130 = t132*y;
t84 = t129*t130;
t155 = t63+t84;
t154 = RATIONAL(-1.0,100.0)*t158+RATIONAL(37.0,200.0);
t128 = RATIONAL(-1.0,8.0);
t87 = t128*t130;
t153 = t63+t87;
t126 = RATIONAL(-3.0,40.0);
t64 = t126*t156;
t133 = t131*x;
t116 = RATIONAL(1.0,24.0);
t76 = t116*t133;
t152 = t64+t76;
t67 = t117*t156;
t86 = t129*t133;
t151 = t67+t86;
t123 = RATIONAL(-1.0,40.0);
t71 = t123*t156;
t150 = t71+t86;
t124 = RATIONAL(3.0,40.0);
t65 = t124*t156;
t149 = t65+t76;
t125 = RATIONAL(-1.0,24.0);
t81 = t125*t133;
t148 = t64+t81;
t85 = t128*t133;
t147 = t71+t85;
t146 = t65+t81;
t112 = RATIONAL(13.0,80.0);
t69 = t126*t157;
t145 = t69+t112*t131;
t110 = RATIONAL(11.0,80.0);
t66 = t123*t157;
t144 = t66+t110*t131;
t143 = t67+t85;
t70 = t124*t157;
t120 = RATIONAL(7.0,80.0);
t142 = t70+t120*t131;
t122 = RATIONAL(-1.0,50.0);
t141 = t122+RATIONAL(-13.0,100.0)*t158;
t140 = RATIONAL(2.0,25.0)*t158+RATIONAL(-2.0,25.0);
t101 = RATIONAL(-17.0,200.0);
t139 = RATIONAL(-9.0,100.0)*t158+t101;
t138 = RATIONAL(11.0,50.0)+t122*t158;
t137 = RATIONAL(7.0,100.0)*t158+RATIONAL(13.0,100.0);
t136 = t131+t132;
t127 = RATIONAL(1.0,80.0);
t121 = RATIONAL(9.0,80.0);
t118 = RATIONAL(-1.0,80.0);
t115 = RATIONAL(3.0,80.0);
t113 = RATIONAL(-17.0,80.0);
t109 = RATIONAL(-23.0,80.0);
t107 = RATIONAL(-19.0,80.0);
t106 = RATIONAL(-63.0,400.0);
t104 = RATIONAL(-49.0,400.0);
t103 = RATIONAL(-31.0,400.0);
t102 = RATIONAL(69.0,400.0);
t100 = RATIONAL(-57.0,400.0);
t98 = RATIONAL(117.0,400.0);
t97 = RATIONAL(43.0,1200.0);
t96 = RATIONAL(103.0,400.0);
t95 = RATIONAL(111.0,400.0);
t94 = RATIONAL(37.0,1200.0);
t93 = RATIONAL(89.0,1200.0);
t92 = RATIONAL(-109.0,1200.0);
t91 = RATIONAL(-223.0,1200.0);
t90 = RATIONAL(-157.0,1200.0);
t89 = RATIONAL(-131.0,1200.0);
t88 = RATIONAL(-149.0,1200.0);
t83 = t121*t131;
t82 = t125*t130;
t80 = t121*t132;
t78 = t116*t130;
t77 = t120*t132;
t74 = t112*t132;
t73 = t110*t132;
coeffs_I->coeff_m1_m1 = t74+t82+t92*y+RATIONAL(-23.0,200.0)+(t92+RATIONAL
(6.0,25.0)*y)*x+t145+t148;
coeffs_I->coeff_0_m1 = t70+t91*y+t73+t103*x+t82+t109*t131+t138+t150;
coeffs_I->coeff_p1_m1 = t80+t82+t95*x+t90*y+t141+t142+t143;
coeffs_I->coeff_p2_m1 = t93*y+t89*x+t77+t82+t69+t115*t131+t139+t149;
coeffs_I->coeff_m1_0 = t109*t132+t84+t91*x+t103*y+t138+t144+t146;
coeffs_I->coeff_0_0 = RATIONAL(93.0,200.0)+t100*y+t136*RATIONAL(-21.0,
80.0)+(t100+RATIONAL(-1.0,25.0)*y)*x+t151+t155;
coeffs_I->coeff_p1_0 = t107*t132+t106*y+t83+t98*x+t147+t154+t155;
coeffs_I->coeff_p2_0 = t66+t113*t132+t127*t131+t84+t104*y+t97*x+t137+t152
;
coeffs_I->coeff_m1_p1 = t95*y+t90*x+t77+t83+t141+t146+t153;
coeffs_I->coeff_0_p1 = t87+t106*x+t66+t80+t98*y+t107*t131+t151+t154;
coeffs_I->coeff_p1_p1 = t87+t73+t101+t96*y+(t96+RATIONAL(3.0,50.0)*y)*x+
t144+t147;
coeffs_I->coeff_p2_p1 = t118*t131+t102*y+t74+t94*x+t140+t152+t153;
coeffs_I->coeff_m1_p2 = t93*x+t89*y+t115*t132+t78+t139+t142+t148;
coeffs_I->coeff_0_p2 = t97*y+t69+t127*t132+t113*t131+t78+t104*x+t137+t150
;
coeffs_I->coeff_p1_p2 = t102*x+t94*y+t78+t118*t132+t140+t143+t145;
coeffs_I->coeff_p2_p2 = t70+t88*y+t78+RATIONAL(7.0,200.0)+t136*RATIONAL(
-3.0,80.0)+(t88+RATIONAL(-3.0,50.0)*y)*x+t149;
|
