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
|
fp t298;
fp t288;
fp t297;
fp t287;
fp t296;
fp t291;
fp t295;
fp t239;
fp t294;
fp t266;
fp t271;
fp t293;
fp t240;
fp t292;
fp t290;
fp t289;
fp t286;
fp t285;
fp t284;
fp t283;
fp t282;
fp t281;
fp t280;
fp t279;
fp t278;
fp t277;
fp t276;
fp t275;
fp t274;
fp t273;
fp t272;
fp t270;
fp t269;
fp t268;
fp t267;
fp t264;
fp t263;
fp t262;
fp t261;
fp t260;
fp t259;
fp t258;
fp t257;
fp t256;
fp t255;
fp t254;
fp t253;
fp t252;
fp t251;
fp t246;
fp t244;
t298 = x*y;
t288 = x*x;
t297 = t288*y;
t287 = y*y;
t296 = x*t287;
t291 = t288*t287;
t295 = RATIONAL(-81.0,4.0)*t291+RATIONAL(-20.0,1.0)*t298;
t239 = RATIONAL(27.0,4.0)*t291;
t294 = t239+RATIONAL(5.0,1.0)*t298;
t266 = RATIONAL(-9.0,4.0);
t271 = RATIONAL(-2.0,1.0);
t293 = t271*t298+t266*t291;
t240 = RATIONAL(-27.0,4.0)*t291;
t292 = t240+RATIONAL(-4.0,1.0)*t298;
t290 = RATIONAL(-10.0,1.0)*t298+t240;
t289 = RATIONAL(-1.0,4.0)+t239+RATIONAL(8.0,1.0)*t298;
t286 = RATIONAL(-9.0,1.0);
t285 = RATIONAL(-6.0,1.0);
t284 = RATIONAL(-3.0,4.0);
t283 = RATIONAL(-1.0,2.0);
t282 = RATIONAL(-5.0,2.0);
t281 = RATIONAL(3.0,2.0);
t280 = RATIONAL(2.0,1.0);
t279 = RATIONAL(-3.0,2.0);
t278 = RATIONAL(1.0,2.0);
t277 = RATIONAL(3.0,1.0);
t276 = RATIONAL(-3.0,1.0);
t275 = RATIONAL(9.0,1.0);
t274 = RATIONAL(9.0,2.0);
t273 = RATIONAL(5.0,2.0);
t272 = RATIONAL(-9.0,2.0);
t270 = RATIONAL(3.0,4.0);
t269 = RATIONAL(9.0,4.0);
t268 = RATIONAL(1.0,4.0);
t267 = RATIONAL(6.0,1.0);
t264 = RATIONAL(45.0,2.0);
t263 = RATIONAL(-45.0,2.0);
t262 = RATIONAL(18.0,1.0);
t261 = RATIONAL(15.0,2.0);
t260 = RATIONAL(-18.0,1.0);
t259 = RATIONAL(-15.0,2.0);
t258 = t284*t287;
t257 = t284*t288;
t256 = t266*t287;
t255 = t269*t287;
t254 = t270*t288;
t253 = t270*t287;
t252 = t266*t288;
t251 = t269*t288;
t246 = t269*t291;
t244 = RATIONAL(81.0,4.0)*t291;
coeffs_dxy->coeff_m1_m1 = t246+t268+t276*t297+t254+t253-y+(t276*t287-1.0+
RATIONAL(4.0,1.0)*y)*x;
coeffs_dxy->coeff_0_m1 = t275*t297+t252+(t273+t261*t287)*x+t290;
coeffs_dxy->coeff_p1_m1 = t251+t286*t297+y+t258+(t271+t285*t287)*x+t289;
coeffs_dxy->coeff_p2_m1 = t257+t277*t297+(t278+t281*t287)*x+t293;
coeffs_dxy->coeff_m1_0 = t275*t296+t256+(t273+t261*t288)*y+t290;
coeffs_dxy->coeff_0_0 = t244+t263*t297+(RATIONAL(25.0,1.0)*y+t263*t287)*x
;
coeffs_dxy->coeff_p1_0 = t262*t296+t255+(t264*t288+t282)*y+t295;
coeffs_dxy->coeff_p2_0 = t259*t297+t272*t296+t294;
coeffs_dxy->coeff_m1_p1 = x+t255+t286*t296+t257+(t271+t285*t288)*y+t289;
coeffs_dxy->coeff_0_p1 = t251+t262*t297+(t264*t287+t282)*x+t295;
coeffs_dxy->coeff_p1_p1 = t256+t244+t268+t252+(t260*t288+t280)*y+(t260*
t287+RATIONAL(16.0,1.0)*y+t280)*x;
coeffs_dxy->coeff_p2_p1 = t267*t297+t254+(t283+t274*t287)*x+t292;
coeffs_dxy->coeff_m1_p2 = t277*t296+t258+(t281*t288+t278)*y+t293;
coeffs_dxy->coeff_0_p2 = t272*t297+t259*t296+t294;
coeffs_dxy->coeff_p1_p2 = t267*t296+t253+(t283+t274*t288)*y+t292;
coeffs_dxy->coeff_p2_p2 = t246+t279*t297+(y+t279*t287)*x;
|