Line data Source code
1 : /* Copyright (C) 2000 The PARI group.
2 :
3 : This file is part of the PARI/GP package.
4 :
5 : PARI/GP is free software; you can redistribute it and/or modify it under the
6 : terms of the GNU General Public License as published by the Free Software
7 : Foundation; either version 2 of the License, or (at your option) any later
8 : version. It is distributed in the hope that it will be useful, but WITHOUT
9 : ANY WARRANTY WHATSOEVER.
10 :
11 : Check the License for details. You should have received a copy of it, along
12 : with the package; see the file 'COPYING'. If not, write to the Free Software
13 : Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. */
14 :
15 : /*******************************************************************/
16 : /* */
17 : /* ROOTS OF COMPLEX POLYNOMIALS */
18 : /* (original code contributed by Xavier Gourdon, INRIA RR 1852) */
19 : /* */
20 : /*******************************************************************/
21 : #include "pari.h"
22 : #include "paripriv.h"
23 :
24 : #define DEBUGLEVEL DEBUGLEVEL_polroots
25 :
26 : static const double pariINFINITY = 1./0.;
27 :
28 : static long
29 1229670 : isvalidcoeff(GEN x)
30 : {
31 1229670 : switch (typ(x))
32 : {
33 1205144 : case t_INT: case t_REAL: case t_FRAC: return 1;
34 24512 : case t_COMPLEX: return isvalidcoeff(gel(x,1)) && isvalidcoeff(gel(x,2));
35 : }
36 14 : return 0;
37 : }
38 :
39 : static void
40 266940 : checkvalidpol(GEN p, const char *f)
41 : {
42 266940 : long i,n = lg(p);
43 1447565 : for (i=2; i<n; i++)
44 1180632 : if (!isvalidcoeff(gel(p,i))) pari_err_TYPE(f, gel(p,i));
45 266933 : }
46 :
47 : /********************************************************************/
48 : /** **/
49 : /** FAST ARITHMETIC over Z[i] **/
50 : /** **/
51 : /********************************************************************/
52 :
53 : static GEN
54 16452087 : ZX_to_ZiX(GEN Pr, GEN Pi)
55 : {
56 16452087 : long i, lr = lg(Pr), li = lg(Pi), l = maxss(lr, li), m = minss(lr, li);
57 16454734 : GEN P = cgetg(l, t_POL);
58 16460356 : P[1] = Pr[1];
59 66743604 : for(i = 2; i < m; i++)
60 50285325 : gel(P,i) = signe(gel(Pi,i)) ? mkcomplex(gel(Pr,i), gel(Pi,i))
61 50285325 : : gel(Pr,i);
62 22358969 : for( ; i < lr; i++)
63 5900690 : gel(P,i) = gel(Pr, i);
64 16493139 : for( ; i < li; i++)
65 34860 : gel(P,i) = mkcomplex(gen_0, gel(Pi, i));
66 16458279 : return normalizepol_lg(P, l);
67 : }
68 :
69 : static GEN
70 99010143 : ZiX_sqr(GEN P)
71 : {
72 99010143 : pari_sp av = avma;
73 : GEN Pr2, Pi2, Qr, Qi;
74 99010143 : GEN Pr = real_i(P), Pi = imag_i(P);
75 99003145 : if (signe(Pi)==0) return gc_upto(av, ZX_sqr(Pr));
76 16517703 : if (signe(Pr)==0) return gc_upto(av, ZX_neg(ZX_sqr(Pi)));
77 16460392 : Pr2 = ZX_sqr(Pr); Pi2 = ZX_sqr(Pi);
78 16452276 : Qr = ZX_sub(Pr2, Pi2);
79 16454286 : if (degpol(Pr)==degpol(Pi))
80 10700524 : Qi = ZX_sub(ZX_sqr(ZX_add(Pr, Pi)), ZX_add(Pr2, Pi2));
81 : else
82 5757155 : Qi = ZX_shifti(ZX_mul(Pr, Pi), 1);
83 16455845 : return gc_GEN(av, ZX_to_ZiX(Qr, Qi));
84 : }
85 :
86 : static GEN
87 49493859 : graeffe(GEN p)
88 : {
89 49493859 : pari_sp av = avma;
90 : GEN p0, p1, s0, s1;
91 49493859 : long n = degpol(p);
92 :
93 49500702 : if (!n) return RgX_copy(p);
94 49500702 : RgX_even_odd(p, &p0, &p1);
95 : /* p = p0(x^2) + x p1(x^2) */
96 49507890 : s0 = ZiX_sqr(p0);
97 49514264 : s1 = ZiX_sqr(p1);
98 49513268 : return gc_upto(av, RgX_sub(s0, RgX_shift_shallow(s1,1)));
99 : }
100 :
101 : GEN
102 5383 : ZX_graeffe(GEN p)
103 : {
104 5383 : pari_sp av = avma;
105 : GEN p0, p1, s0, s1;
106 5383 : long n = degpol(p);
107 :
108 5383 : if (!n) return ZX_copy(p);
109 5383 : RgX_even_odd(p, &p0, &p1);
110 : /* p = p0(x^2) + x p1(x^2) */
111 5383 : s0 = ZX_sqr(p0);
112 5383 : s1 = ZX_sqr(p1);
113 5383 : return gc_upto(av, ZX_sub(s0, RgX_shift_shallow(s1,1)));
114 : }
115 : GEN
116 14 : polgraeffe(GEN p)
117 : {
118 14 : pari_sp av = avma;
119 : GEN p0, p1, s0, s1;
120 14 : long n = degpol(p);
121 :
122 14 : if (typ(p) != t_POL) pari_err_TYPE("polgraeffe",p);
123 14 : n = degpol(p);
124 14 : if (!n) return gcopy(p);
125 14 : RgX_even_odd(p, &p0, &p1);
126 : /* p = p0(x^2) + x p1(x^2) */
127 14 : s0 = RgX_sqr(p0);
128 14 : s1 = RgX_sqr(p1);
129 14 : return gc_upto(av, RgX_sub(s0, RgX_shift_shallow(s1,1)));
130 : }
131 :
132 : /********************************************************************/
133 : /** **/
134 : /** MODULUS OF ROOTS **/
135 : /** **/
136 : /********************************************************************/
137 :
138 : /* Quick approximation to log2(|x|); first define y s.t. |y-x| < 2^-32 then
139 : * return y rounded to 2 ulp. In particular, if result < 2^21, absolute error
140 : * is bounded by 2^-31. If result > 2^21, it is correct to 2 ulp */
141 : static double
142 224271814 : mydbllog2i(GEN x)
143 : {
144 : #ifdef LONG_IS_64BIT
145 192891567 : const double W = 1/(4294967296. * 4294967296.); /* 2^-64 */
146 : #else
147 31380247 : const double W = 1/4294967296.; /*2^-32*/
148 : #endif
149 : GEN m;
150 224271814 : long lx = lgefint(x);
151 : double l;
152 224271814 : if (lx == 2) return -pariINFINITY;
153 223454895 : m = int_MSW(x);
154 223454895 : l = (double)(ulong)*m;
155 223454895 : if (lx == 3) return log2(l);
156 70070490 : l += ((double)(ulong)*int_precW(m)) * W;
157 : /* at least m = min(53,BIL) bits are correct in the mantissa, thus log2
158 : * is correct with error < log(1 + 2^-m) ~ 2^-m. Adding the correct
159 : * exponent BIL(lx-3) causes 1ulp further round-off error */
160 70070490 : return log2(l) + (double)(BITS_IN_LONG*(lx-3));
161 : }
162 :
163 : /* return log(|x|) or -pariINFINITY */
164 : static double
165 9544220 : mydbllogr(GEN x) {
166 9544220 : if (!signe(x)) return -pariINFINITY;
167 9544220 : return M_LN2*dbllog2r(x);
168 : }
169 :
170 : /* return log2(|x|) or -pariINFINITY */
171 : static double
172 56778034 : mydbllog2r(GEN x) {
173 56778034 : if (!signe(x)) return -pariINFINITY;
174 56339515 : return dbllog2r(x);
175 : }
176 : double
177 300537771 : dbllog2(GEN z)
178 : {
179 : double x, y;
180 300537771 : switch(typ(z))
181 : {
182 224158593 : case t_INT: return mydbllog2i(z);
183 22363 : case t_FRAC: return mydbllog2i(gel(z,1))-mydbllog2i(gel(z,2));
184 49324691 : case t_REAL: return mydbllog2r(z);
185 27032124 : default: /*t_COMPLEX*/
186 27032124 : x = dbllog2(gel(z,1));
187 27121935 : y = dbllog2(gel(z,2));
188 27121888 : if (x == -pariINFINITY) return y;
189 26878794 : if (y == -pariINFINITY) return x;
190 26674929 : if (fabs(x-y) > 10) return maxdd(x,y);
191 26056293 : return x + 0.5*log2(1 + exp2(2*(y-x)));
192 : }
193 : }
194 : static GEN /* beware overflow */
195 6547181 : dblexp(double x) { return fabs(x) < 100.? dbltor(exp(x)): mpexp(dbltor(x)); }
196 :
197 : /* find s such that A_h <= 2^s <= 2 A_i for one h and all i < n = deg(p),
198 : * with A_i := (binom(n,i) lc(p) / p_i) ^ 1/(n-i), and p = sum p_i X^i */
199 : static long
200 40945380 : findpower(GEN p)
201 : {
202 40945380 : double x, L, mins = pariINFINITY;
203 40945380 : long n = degpol(p),i;
204 :
205 40944624 : L = dbllog2(gel(p,n+2)); /* log2(lc * binom(n,i)) */
206 164614931 : for (i=n-1; i>=0; i--)
207 : {
208 123668644 : L += log2((double)(i+1) / (double)(n-i));
209 123668644 : x = dbllog2(gel(p,i+2));
210 123666876 : if (x != -pariINFINITY)
211 : {
212 122876366 : double s = (L - x) / (double)(n-i);
213 122876366 : if (s < mins) mins = s;
214 : }
215 : }
216 40946287 : i = (long)ceil(mins);
217 40946287 : if (i - mins > 1 - 1e-12) i--;
218 40946287 : return i;
219 : }
220 :
221 : /* returns the exponent for logmodulus(), from the Newton diagram */
222 : static long
223 5505669 : newton_polygon(GEN p, long k)
224 : {
225 5505669 : pari_sp av = avma;
226 5505669 : long n = degpol(p), i, j, h, l, *vertex = (long*)new_chunk(n+1);
227 5505651 : double *L = (double*)stack_malloc_align((n+1)*sizeof(double), sizeof(double));
228 :
229 : /* vertex[i] = 1 if i a vertex of convex hull, 0 otherwise */
230 26448499 : for (i=0; i<=n; i++) { L[i] = dbllog2(gel(p,2+i)); vertex[i] = 0; }
231 5505653 : vertex[0] = 1; /* sentinel */
232 19601765 : for (i=0; i < n; i=h)
233 : {
234 : double slope;
235 14096112 : h = i+1;
236 14100981 : while (L[i] == -pariINFINITY) { vertex[h] = 1; i = h; h = i+1; }
237 14096112 : slope = L[h] - L[i];
238 37957466 : for (j = i+2; j<=n; j++) if (L[j] != -pariINFINITY)
239 : {
240 23855104 : double pij = (L[j] - L[i])/(double)(j - i);
241 23855104 : if (slope < pij) { slope = pij; h = j; }
242 : }
243 14096112 : vertex[h] = 1;
244 : }
245 6220990 : h = k; while (!vertex[h]) h++;
246 5694068 : l = k-1; while (!vertex[l]) l--;
247 5505653 : set_avma(av);
248 5505708 : return (long)floor((L[h]-L[l])/(double)(h-l) + 0.5);
249 : }
250 :
251 : /* change z into z*2^e, where z is real or complex of real */
252 : static void
253 35497926 : myshiftrc(GEN z, long e)
254 : {
255 35497926 : if (typ(z)==t_COMPLEX)
256 : {
257 6409615 : if (signe(gel(z,1))) shiftr_inplace(gel(z,1), e);
258 6409646 : if (signe(gel(z,2))) shiftr_inplace(gel(z,2), e);
259 : }
260 : else
261 29088311 : if (signe(z)) shiftr_inplace(z, e);
262 35498023 : }
263 :
264 : /* return z*2^e, where z is integer or complex of integer (destroy z) */
265 : static GEN
266 135761489 : myshiftic(GEN z, long e)
267 : {
268 135761489 : if (typ(z)==t_COMPLEX)
269 : {
270 17889004 : gel(z,1) = signe(gel(z,1))? mpshift(gel(z,1),e): gen_0;
271 17887945 : gel(z,2) = mpshift(gel(z,2),e);
272 17884618 : return z;
273 : }
274 117872485 : return signe(z)? mpshift(z,e): gen_0;
275 : }
276 :
277 : static GEN
278 7023238 : RgX_gtofp_bit(GEN q, long bit) { return RgX_gtofp(q, nbits2prec(bit)); }
279 :
280 : static GEN
281 214983294 : mygprecrc(GEN x, long prec, long e)
282 : {
283 : GEN y;
284 214983294 : switch(typ(x))
285 : {
286 160444016 : case t_REAL:
287 160444016 : if (!signe(x)) return real_0_bit(e);
288 157170166 : return realprec(x) == prec? x: rtor(x, prec);
289 37182654 : case t_COMPLEX:
290 37182654 : y = cgetg(3,t_COMPLEX);
291 37182076 : gel(y,1) = mygprecrc(gel(x,1),prec,e);
292 37182126 : gel(y,2) = mygprecrc(gel(x,2),prec,e);
293 37182524 : return y;
294 17356624 : default: return x;
295 : }
296 : }
297 :
298 : /* gprec behaves badly with the zero for polynomials.
299 : The second parameter in mygprec is the precision in base 2 */
300 : static GEN
301 63699172 : mygprec(GEN x, long bit)
302 : {
303 : long e, prec;
304 63699172 : if (bit < 0) bit = 0; /* should rarely happen */
305 63699172 : e = gexpo(x) - bit;
306 63699952 : prec = nbits2prec(bit);
307 63705133 : switch(typ(x))
308 : {
309 167958213 : case t_POL: pari_APPLY_pol_normalized(mygprecrc(gel(x,i),prec,e));
310 17248757 : default: return mygprecrc(x,prec,e);
311 : }
312 : }
313 :
314 : /* normalize a polynomial x, that is change it with coefficients in Z[i],
315 : after making product by 2^shift */
316 : static GEN
317 17584015 : pol_to_gaussint(GEN x, long shift)
318 100298742 : { pari_APPLY_pol_normalized(gtrunc2n(gel(x,i), shift)); }
319 :
320 : /* returns a polynomial q in Z[i][x] keeping bit bits of p */
321 : static GEN
322 13134576 : eval_rel_pol(GEN p, long bit)
323 : {
324 : long i;
325 73979655 : for (i = 2; i < lg(p); i++)
326 60845066 : if (gequal0(gel(p,i))) gel(p,i) = gen_0; /* bad behavior of gexpo */
327 13134589 : return pol_to_gaussint(p, bit-gexpo(p)+1);
328 : }
329 :
330 : /* returns p(R*x)/R^n (in R or R[i]), R = exp(lrho), bit bits of precision */
331 : static GEN
332 1609612 : homothetie(GEN p, double lrho, long bit)
333 : {
334 : GEN q, r, t, iR;
335 1609612 : long n = degpol(p), i;
336 :
337 1609612 : iR = mygprec(dblexp(-lrho),bit);
338 1609576 : q = mygprec(p, bit);
339 1609615 : r = cgetg(n+3,t_POL); r[1] = p[1];
340 1609609 : t = iR; r[n+2] = q[n+2];
341 6790768 : for (i=n-1; i>0; i--)
342 : {
343 5181195 : gel(r,i+2) = gmul(t, gel(q,i+2));
344 5181133 : t = mulrr(t, iR);
345 : }
346 1609573 : gel(r,2) = gmul(t, gel(q,2)); return r;
347 : }
348 :
349 : /* change q in 2^(n*e) p(x*2^(-e)), n=deg(q) [ ~as above with R = 2^-e ]*/
350 : static void
351 9954899 : homothetie2n(GEN p, long e)
352 : {
353 9954899 : if (e)
354 : {
355 7973330 : long i,n = lg(p)-1;
356 43471266 : for (i=2; i<=n; i++) myshiftrc(gel(p,i), (n-i)*e);
357 : }
358 9955008 : }
359 :
360 : /* return 2^f * 2^(n*e) p(x*2^(-e)), n=deg(q) */
361 : static void
362 36487989 : homothetie_gauss(GEN p, long e, long f)
363 : {
364 36487989 : if (e || f)
365 : {
366 32596461 : long i, n = lg(p)-1;
367 168295593 : for (i=2; i<=n; i++) gel(p,i) = myshiftic(gel(p,i), f+(n-i)*e);
368 : }
369 36429225 : }
370 :
371 : /* Lower bound on the modulus of the largest root z_0
372 : * k is set to an upper bound for #{z roots, |z-z_0| < eps} */
373 : static double
374 40944383 : lower_bound(GEN p, long *k, double eps)
375 : {
376 40944383 : long n = degpol(p), i, j;
377 40944735 : pari_sp ltop = avma;
378 : GEN a, s, S, ilc;
379 : double r, R, rho;
380 :
381 40944735 : if (n < 4) { *k = n; return 0.; }
382 8235649 : S = cgetg(5,t_VEC);
383 8236420 : a = cgetg(5,t_VEC); ilc = gdiv(real_1(DEFAULTPREC), gel(p,n+2));
384 41159726 : for (i=1; i<=4; i++) gel(a,i) = gmul(ilc,gel(p,n+2-i));
385 : /* i = 1 split out from next loop for efficiency and initialization */
386 8235188 : s = gel(a,1);
387 8235188 : gel(S,1) = gneg(s); /* Newton sum S_i */
388 8235844 : rho = r = gtodouble(gabs(s,3));
389 8236337 : R = r / n;
390 32939254 : for (i=2; i<=4; i++)
391 : {
392 24703278 : s = gmulsg(i,gel(a,i));
393 74032661 : for (j=1; j<i; j++) s = gadd(s, gmul(gel(S,j),gel(a,i-j)));
394 24688772 : gel(S,i) = gneg(s); /* Newton sum S_i */
395 24698614 : r = gtodouble(gabs(s,3));
396 24702917 : if (r > 0.)
397 : {
398 24656748 : r = exp(log(r/n) / (double)i);
399 24656748 : if (r > R) R = r;
400 : }
401 : }
402 8235976 : if (R > 0. && eps < 1.2)
403 8232245 : *k = (long)floor((rho/R + n) / (1 + exp(-eps)*cos(eps)));
404 : else
405 3731 : *k = n;
406 8235976 : return gc_double(ltop, R);
407 : }
408 :
409 : /* return R such that exp(R - tau) <= rho_n(P) <= exp(R + tau)
410 : * P(0) != 0 and P non constant */
411 : static double
412 4449582 : logmax_modulus(GEN p, double tau)
413 : {
414 : GEN r, q, aux, gunr;
415 4449582 : pari_sp av, ltop = avma;
416 4449582 : long i,k,n=degpol(p),nn,bit,M,e;
417 4449578 : double rho,eps, tau2 = (tau > 3.0)? 0.5: tau/6.;
418 :
419 4449578 : r = cgeti(BIGDEFAULTPREC);
420 4449566 : av = avma;
421 :
422 4449566 : eps = - 1/log(1.5*tau2); /* > 0 */
423 4449566 : bit = (long) ((double) n*log2(1./tau2)+3*log2((double) n))+1;
424 4449566 : gunr = real_1_bit(bit+2*n);
425 4449535 : aux = gdiv(gunr, gel(p,2+n));
426 4449557 : q = RgX_Rg_mul(p, aux); gel(q,2+n) = gunr;
427 4449338 : e = findpower(q);
428 4449488 : homothetie2n(q,e);
429 4449528 : affsi(e, r);
430 4449527 : q = pol_to_gaussint(q, bit);
431 4449208 : M = (long) (log2( log(4.*n) / (2*tau2) )) + 2;
432 4449208 : nn = n;
433 4449208 : for (i=0,e=0;;)
434 : { /* nn = deg(q) */
435 40947399 : rho = lower_bound(q, &k, eps);
436 40944594 : if (rho > exp2(-(double)e)) e = (long)-floor(log2(rho));
437 40944594 : affii(shifti(addis(r,e), 1), r);
438 40899842 : if (++i == M) break;
439 :
440 36451011 : bit = (long) ((double)k * log2(1./tau2) +
441 36451011 : (double)(nn-k)*log2(1./eps) + 3*log2((double)nn)) + 1;
442 36451011 : homothetie_gauss(q, e, bit-(long)floor(dbllog2(gel(q,2+nn))+0.5));
443 36468204 : nn -= RgX_valrem(q, &q);
444 36474283 : q = gc_upto(av, graeffe(q));
445 36497849 : tau2 *= 1.5; if (tau2 > 0.9) tau2 = 0.5;
446 36497849 : eps = -1/log(tau2); /* > 0 */
447 36497849 : e = findpower(q);
448 : }
449 4448831 : if (!signe(r)) return gc_double(ltop,0.);
450 4026593 : r = itor(r, DEFAULTPREC); shiftr_inplace(r, -M);
451 4027095 : return gc_double(ltop, -rtodbl(r) * M_LN2); /* -log(2) sum e_i 2^-i */
452 : }
453 :
454 : static GEN
455 35886 : RgX_normalize1(GEN x)
456 : {
457 35886 : long i, n = lg(x)-1;
458 : GEN y;
459 35900 : for (i = n; i > 1; i--)
460 35893 : if (!gequal0( gel(x,i) )) break;
461 35886 : if (i == n) return x;
462 14 : pari_warn(warner,"normalizing a polynomial with 0 leading term");
463 14 : if (i == 1) pari_err_ROOTS0("roots");
464 14 : y = cgetg(i+1, t_POL); y[1] = x[1];
465 42 : for (; i > 1; i--) gel(y,i) = gel(x,i);
466 14 : return y;
467 : }
468 :
469 : static GEN
470 27292 : polrootsbound_i(GEN P, double TAU)
471 : {
472 27292 : pari_sp av = avma;
473 : double d;
474 27292 : (void)RgX_valrem_inexact(P,&P);
475 27292 : P = RgX_normalize1(P);
476 27292 : switch(degpol(P))
477 : {
478 7 : case -1: pari_err_ROOTS0("roots");
479 140 : case 0: set_avma(av); return gen_0;
480 : }
481 27145 : d = logmax_modulus(P, TAU) + TAU;
482 : /* not dblexp: result differs on ARM emulator */
483 27146 : return gc_leaf(av, mpexp(dbltor(d)));
484 : }
485 : GEN
486 27299 : polrootsbound(GEN P, GEN tau)
487 : {
488 27299 : if (typ(P) != t_POL) pari_err_TYPE("polrootsbound",P);
489 27292 : checkvalidpol(P, "polrootsbound");
490 27292 : return polrootsbound_i(P, tau? gtodouble(tau): 0.01);
491 : }
492 :
493 : /* log of modulus of the smallest root of p, with relative error tau */
494 : static double
495 1614333 : logmin_modulus(GEN p, double tau)
496 : {
497 1614333 : pari_sp av = avma;
498 1614333 : if (gequal0(gel(p,2))) return -pariINFINITY;
499 1614328 : return gc_double(av, - logmax_modulus(RgX_recip_i(p),tau));
500 : }
501 :
502 : /* return the log of the k-th modulus (ascending order) of p, rel. error tau*/
503 : static double
504 606584 : logmodulus(GEN p, long k, double tau)
505 : {
506 : GEN q;
507 606584 : long i, kk = k, imax, n = degpol(p), nn, bit, e;
508 606584 : pari_sp av, ltop=avma;
509 606584 : double r, tau2 = tau/6;
510 :
511 606584 : bit = (long)(n * (2. + log2(3.*n/tau2)));
512 606584 : av = avma;
513 606584 : q = gprec_w(p, nbits2prec(bit));
514 606585 : q = RgX_gtofp_bit(q, bit);
515 606586 : e = newton_polygon(q,k);
516 606585 : r = (double)e;
517 606585 : homothetie2n(q,e);
518 606607 : imax = (long)(log2(3./tau) + log2(log(4.*n)))+1;
519 5505645 : for (i=1; i<imax; i++)
520 : {
521 4899061 : q = eval_rel_pol(q,bit);
522 4898759 : kk -= RgX_valrem(q, &q);
523 4898913 : nn = degpol(q);
524 :
525 4898909 : q = gc_upto(av, graeffe(q));
526 4899084 : e = newton_polygon(q,kk);
527 4899127 : r += e / exp2((double)i);
528 4899127 : q = RgX_gtofp_bit(q, bit);
529 4898993 : homothetie2n(q,e);
530 :
531 4899038 : tau2 *= 1.5; if (tau2 > 1.) tau2 = 1.;
532 4899038 : bit = 1 + (long)(nn*(2. + log2(3.*nn/tau2)));
533 : }
534 606584 : return gc_double(ltop, -r * M_LN2);
535 : }
536 :
537 : /* return the log of the k-th modulus r_k of p, rel. error tau, knowing that
538 : * rmin < r_k < rmax. This information helps because we may reduce precision
539 : * quicker */
540 : static double
541 606580 : logpre_modulus(GEN p, long k, double tau, double lrmin, double lrmax)
542 : {
543 : GEN q;
544 606580 : long n = degpol(p), i, imax, imax2, bit;
545 606580 : pari_sp ltop = avma, av;
546 606580 : double lrho, aux, tau2 = tau/6.;
547 :
548 606580 : aux = (lrmax - lrmin) / 2. + 4*tau2;
549 606580 : imax = (long) log2(log((double)n)/ aux);
550 606580 : if (imax <= 0) return logmodulus(p,k,tau);
551 :
552 597467 : lrho = (lrmin + lrmax) / 2;
553 597467 : av = avma;
554 597467 : bit = (long)(n*(2. + aux / M_LN2 - log2(tau2)));
555 597467 : q = homothetie(p, lrho, bit);
556 597468 : imax2 = (long)(log2(3./tau * log(4.*n))) + 1;
557 597468 : if (imax > imax2) imax = imax2;
558 :
559 1584360 : for (i=0; i<imax; i++)
560 : {
561 986889 : q = eval_rel_pol(q,bit);
562 986886 : q = gc_upto(av, graeffe(q));
563 986895 : aux = 2*aux + 2*tau2;
564 986895 : tau2 *= 1.5;
565 986895 : bit = (long)(n*(2. + aux / M_LN2 - log2(1-exp(-tau2))));
566 986895 : q = RgX_gtofp_bit(q, bit);
567 : }
568 597471 : aux = exp2((double)imax);
569 597471 : return gc_double(ltop, lrho + logmodulus(q,k, aux*tau/3.) / aux);
570 : }
571 :
572 : static double
573 902376 : ind_maxlog2(GEN q)
574 : {
575 902376 : long i, k = -1;
576 902376 : double L = - pariINFINITY;
577 2221552 : for (i=0; i<=degpol(q); i++)
578 : {
579 1319172 : double d = dbllog2(gel(q,2+i));
580 1319176 : if (d > L) { L = d; k = i; }
581 : }
582 902376 : return k;
583 : }
584 :
585 : /* Returns k such that r_k e^(-tau) < R < r_{k+1} e^tau.
586 : * Assume that l <= k <= n-l */
587 : static long
588 1012145 : dual_modulus(GEN p, double lrho, double tau, long l)
589 : {
590 1012145 : long i, imax, delta_k = 0, n = degpol(p), nn, v2, v, bit, ll = l;
591 1012144 : double tau2 = tau * 7./8.;
592 1012144 : pari_sp av = avma;
593 : GEN q;
594 :
595 1012144 : bit = 6*n - 5*l + (long)(n*(-log2(tau2) + tau2 * 8./7.));
596 1012144 : q = homothetie(p, lrho, bit);
597 1012134 : imax = (long)(log(log(2.*n)/tau2)/log(7./4.)+1);
598 :
599 8151283 : for (i=0; i<imax; i++)
600 : {
601 7248907 : q = eval_rel_pol(q,bit); v2 = n - degpol(q);
602 7247730 : v = RgX_valrem(q, &q);
603 7248391 : ll -= maxss(v, v2); if (ll < 0) ll = 0;
604 :
605 7248565 : nn = degpol(q); delta_k += v;
606 7248574 : if (!nn) return delta_k;
607 :
608 7138805 : q = gc_upto(av, graeffe(q));
609 7139149 : tau2 *= 7./4.;
610 7139149 : bit = 6*nn - 5*ll + (long)(nn*(-log2(tau2) + tau2 * 8./7.));
611 : }
612 902376 : return gc_long(av, delta_k + (long)ind_maxlog2(q));
613 : }
614 :
615 : /********************************************************************/
616 : /** **/
617 : /** FACTORS THROUGH CIRCLE INTEGRATION **/
618 : /** **/
619 : /********************************************************************/
620 : /* l power of 2, W[step*j] = w_j; set f[j] = p(w_j)
621 : * if inv, w_j = exp(2IPi*j/l), else exp(-2IPi*j/l) */
622 :
623 : static void
624 7462 : fft2(GEN W, GEN p, GEN f, long step, long l)
625 : {
626 : pari_sp av;
627 : long i, s1, l1, step2;
628 :
629 7462 : if (l == 2)
630 : {
631 3766 : gel(f,0) = gadd(gel(p,0), gel(p,step));
632 3766 : gel(f,1) = gsub(gel(p,0), gel(p,step)); return;
633 : }
634 3696 : av = avma;
635 3696 : l1 = l>>1; step2 = step<<1;
636 3696 : fft2(W,p, f, step2,l1);
637 3696 : fft2(W,p+step, f+l1,step2,l1);
638 32760 : for (i = s1 = 0; i < l1; i++, s1 += step)
639 : {
640 29064 : GEN f0 = gel(f,i);
641 29064 : GEN f1 = gmul(gel(W,s1), gel(f,i+l1));
642 29064 : gel(f,i) = gadd(f0, f1);
643 29064 : gel(f,i+l1) = gsub(f0, f1);
644 : }
645 3696 : gc_slice(av, f, l);
646 : }
647 :
648 : static void
649 14156766 : fft(GEN W, GEN p, GEN f, long step, long l, long inv)
650 : {
651 : pari_sp av;
652 : long i, s1, l1, l2, l3, step4;
653 : GEN f1, f2, f3, f02;
654 :
655 14156766 : if (l == 2)
656 : {
657 6639275 : gel(f,0) = gadd(gel(p,0), gel(p,step));
658 6638953 : gel(f,1) = gsub(gel(p,0), gel(p,step)); return;
659 : }
660 7517491 : av = avma;
661 7517491 : if (l == 4)
662 : {
663 : pari_sp av2;
664 5316953 : f1 = gadd(gel(p,0), gel(p,step<<1));
665 5316439 : f2 = gsub(gel(p,0), gel(p,step<<1));
666 5316470 : f3 = gadd(gel(p,step), gel(p,3*step));
667 5316362 : f02 = gsub(gel(p,step), gel(p,3*step));
668 5316355 : f02 = inv? mulcxI(f02): mulcxmI(f02);
669 5316797 : av2 = avma;
670 5316797 : gel(f,0) = gadd(f1, f3);
671 5316224 : gel(f,1) = gadd(f2, f02);
672 5316364 : gel(f,2) = gsub(f1, f3);
673 5316317 : gel(f,3) = gsub(f2, f02);
674 5316519 : gc_all_unsafe(av,av2,4,&gel(f,0),&gel(f,1),&gel(f,2),&gel(f,3));
675 5317121 : return;
676 : }
677 2200538 : l1 = l>>2; l2 = 2*l1; l3 = l1+l2; step4 = step<<2;
678 2200538 : fft(W,p, f, step4,l1,inv);
679 2200987 : fft(W,p+step, f+l1,step4,l1,inv);
680 2200997 : fft(W,p+(step<<1),f+l2,step4,l1,inv);
681 2201013 : fft(W,p+3*step, f+l3,step4,l1,inv);
682 8194222 : for (i = s1 = 0; i < l1; i++, s1 += step)
683 : {
684 5993272 : long s2 = s1 << 1, s3 = s1 + s2;
685 : GEN g02, g13, f13;
686 5993272 : f1 = gmul(gel(W,s1), gel(f,i+l1));
687 5993488 : f2 = gmul(gel(W,s2), gel(f,i+l2));
688 5993410 : f3 = gmul(gel(W,s3), gel(f,i+l3));
689 :
690 5993503 : f02 = gadd(gel(f,i),f2);
691 5992974 : g02 = gsub(gel(f,i),f2);
692 5993014 : f13 = gadd(f1,f3);
693 5992941 : g13 = gsub(f1,f3); g13 = inv? mulcxI(g13): mulcxmI(g13);
694 :
695 5993355 : gel(f,i) = gadd(f02, f13);
696 5992926 : gel(f,i+l1) = gadd(g02, g13);
697 5993040 : gel(f,i+l2) = gsub(f02, f13);
698 5993031 : gel(f,i+l3) = gsub(g02, g13);
699 : }
700 2200950 : gc_slice(av, f, l);
701 : }
702 :
703 : static GEN
704 98 : FFT_i(GEN W, GEN x)
705 : {
706 98 : long i, l = lg(W), n = lg(x), tx = typ(x), tw, pa;
707 : GEN y, z, p, pol;
708 98 : if (l==1 || ((l-1) & (l-2))) pari_err_DIM("fft");
709 84 : tw = RgV_type(W, &p, &pol, &pa);
710 84 : if (tx == t_POL) { x++; n--; }
711 49 : else if (!is_vec_t(tx)) pari_err_TYPE("fft",x);
712 84 : if (n > l) pari_err_DIM("fft");
713 84 : if (n < l) {
714 0 : z = cgetg(l, t_VECSMALL); /* cf stackdummy */
715 0 : for (i = 1; i < n; i++) gel(z,i) = gel(x,i);
716 0 : for ( ; i < l; i++) gel(z,i) = gen_0;
717 : }
718 84 : else z = x;
719 84 : if (l == 2) return mkveccopy(gel(z,1));
720 70 : y = cgetg(l, t_VEC);
721 70 : if (tw == RgX_type_code(t_COMPLEX,t_INT) ||
722 : tw == RgX_type_code(t_COMPLEX,t_REAL))
723 0 : {
724 0 : long inv = (l >= 5 && signe(imag_i(gel(W,1+(l>>2))))==1) ? 1 : 0;
725 0 : fft(W+1, z+1, y+1, 1, l-1, inv);
726 : } else
727 70 : fft2(W+1, z+1, y+1, 1, l-1);
728 70 : return y;
729 : }
730 :
731 : GEN
732 56 : FFT(GEN W, GEN x)
733 : {
734 56 : if (!is_vec_t(typ(W))) pari_err_TYPE("fft",W);
735 56 : return FFT_i(W, x);
736 : }
737 :
738 : GEN
739 56 : FFTinv(GEN W, GEN x)
740 : {
741 56 : long l = lg(W), i;
742 : GEN w;
743 56 : if (!is_vec_t(typ(W))) pari_err_TYPE("fft",W);
744 56 : if (l==1 || ((l-1) & (l-2))) pari_err_DIM("fft");
745 42 : w = cgetg(l, t_VECSMALL); /* cf stackdummy */
746 42 : gel(w,1) = gel(W,1); /* w = gconj(W), faster */
747 3773 : for (i = 2; i < l; i++) gel(w, i) = gel(W, l-i+1);
748 42 : return FFT_i(w, x);
749 : }
750 :
751 : /* returns 1 if p has only real coefficients, 0 else */
752 : static int
753 961596 : isreal(GEN p)
754 : {
755 : long i;
756 4858554 : for (i = lg(p)-1; i > 1; i--)
757 4058389 : if (typ(gel(p,i)) == t_COMPLEX) return 0;
758 800165 : return 1;
759 : }
760 :
761 : /* x non complex */
762 : static GEN
763 778420 : abs_update_r(GEN x, double *mu) {
764 778420 : GEN y = gtofp(x, DEFAULTPREC);
765 778422 : double ly = mydbllogr(y); if (ly < *mu) *mu = ly;
766 778422 : setabssign(y); return y;
767 : }
768 : /* return |x|, low accuracy. Set *mu = min(log(y), *mu) */
769 : static GEN
770 8003087 : abs_update(GEN x, double *mu) {
771 : GEN y, xr, yr;
772 : double ly;
773 8003087 : if (typ(x) != t_COMPLEX) return abs_update_r(x, mu);
774 7238006 : xr = gel(x,1);
775 7238006 : yr = gel(x,2);
776 7238006 : if (gequal0(xr)) return abs_update_r(yr,mu);
777 7236095 : if (gequal0(yr)) return abs_update_r(xr,mu);
778 : /* have to treat 0 specially: 0E-10 + 1e-20 = 0E-10 */
779 7224876 : xr = gtofp(xr, DEFAULTPREC);
780 7225747 : yr = gtofp(yr, DEFAULTPREC);
781 7225818 : y = sqrtr(addrr(sqrr(xr), sqrr(yr)));
782 7225633 : ly = mydbllogr(y); if (ly < *mu) *mu = ly;
783 7225751 : return y;
784 : }
785 :
786 : static void
787 996029 : initdft(GEN *Omega, GEN *prim, long N, long Lmax, long bit)
788 : {
789 996029 : long prec = nbits2prec(bit);
790 996029 : *Omega = grootsof1(Lmax, prec) + 1;
791 996030 : *prim = rootsof1u_cx(N, prec);
792 996031 : }
793 :
794 : static void
795 493820 : parameters(GEN p, long *LMAX, double *mu, double *gamma,
796 : int polreal, double param, double param2)
797 : {
798 : GEN q, pc, Omega, A, RU, prim, g, TWO;
799 493820 : long n = degpol(p), bit, NN, K, i, j, Lmax;
800 493820 : pari_sp av2, av = avma;
801 :
802 493820 : bit = gexpo(p) + (long)param2+8;
803 683502 : Lmax = 4; while (Lmax <= n) Lmax <<= 1;
804 493820 : NN = (long)(param*3.14)+1; if (NN < Lmax) NN = Lmax;
805 493820 : K = NN/Lmax; if (K & 1) K++;
806 493820 : NN = Lmax*K;
807 493820 : if (polreal) K = K/2+1;
808 :
809 493820 : initdft(&Omega, &prim, NN, Lmax, bit);
810 493822 : q = mygprec(p,bit) + 2;
811 493821 : A = cgetg(Lmax+1,t_VEC); A++;
812 493821 : pc= cgetg(Lmax+1,t_VEC); pc++;
813 2955498 : for (i=0; i <= n; i++) gel(pc,i)= gel(q,i);
814 968084 : for ( ; i<Lmax; i++) gel(pc,i) = gen_0;
815 :
816 493821 : *mu = pariINFINITY;
817 493821 : g = real_0_bit(-bit);
818 493821 : TWO = real2n(1, DEFAULTPREC);
819 493830 : av2 = avma;
820 493830 : RU = gen_1;
821 1737057 : for (i=0; i<K; i++)
822 : {
823 1243238 : if (i) {
824 749419 : GEN z = RU;
825 3441873 : for (j=1; j<n; j++)
826 : {
827 2692456 : gel(pc,j) = gmul(gel(q,j),z);
828 2692436 : z = gmul(z,RU); /* RU = prim^i, z=prim^(ij) */
829 : }
830 749417 : gel(pc,n) = gmul(gel(q,n),z);
831 : }
832 :
833 1243236 : fft(Omega,pc,A,1,Lmax,1);
834 1243246 : if (polreal && i>0 && i<K-1)
835 1141603 : for (j=0; j<Lmax; j++) g = addrr(g, divrr(TWO, abs_update(gel(A,j),mu)));
836 : else
837 8104589 : for (j=0; j<Lmax; j++) g = addrr(g, invr(abs_update(gel(A,j),mu)));
838 1242918 : RU = gmul(RU, prim);
839 1243228 : if (gc_needed(av,1))
840 : {
841 0 : if(DEBUGMEM>1) pari_warn(warnmem,"parameters");
842 0 : (void)gc_all(av2,2, &g,&RU);
843 : }
844 : }
845 493819 : *gamma = mydbllog2r(divru(g,NN));
846 493814 : *LMAX = Lmax; set_avma(av);
847 493814 : }
848 :
849 : /* NN is a multiple of Lmax */
850 : static void
851 502212 : dft(GEN p, long k, long NN, long Lmax, long bit, GEN F, GEN H, long polreal)
852 : {
853 : GEN Omega, q, qd, pc, pd, A, B, C, RU, aux, U, W, prim, prim2;
854 502212 : long n = degpol(p), i, j, K;
855 : pari_sp ltop;
856 :
857 502212 : initdft(&Omega, &prim, NN, Lmax, bit);
858 502211 : RU = cgetg(n+2,t_VEC) + 1;
859 :
860 502210 : K = NN/Lmax; if (polreal) K = K/2+1;
861 502210 : q = mygprec(p,bit);
862 502213 : qd = RgX_deriv(q);
863 :
864 502208 : A = cgetg(Lmax+1,t_VEC); A++;
865 502208 : B = cgetg(Lmax+1,t_VEC); B++;
866 502208 : C = cgetg(Lmax+1,t_VEC); C++;
867 502208 : pc = cgetg(Lmax+1,t_VEC); pc++;
868 502208 : pd = cgetg(Lmax+1,t_VEC); pd++;
869 1018608 : gel(pc,0) = gel(q,2); for (i=n+1; i<Lmax; i++) gel(pc,i) = gen_0;
870 1520818 : gel(pd,0) = gel(qd,2); for (i=n; i<Lmax; i++) gel(pd,i) = gen_0;
871 :
872 502210 : ltop = avma;
873 502210 : W = cgetg(k+1,t_VEC);
874 502211 : U = cgetg(k+1,t_VEC);
875 1201648 : for (i=1; i<=k; i++) gel(W,i) = gel(U,i) = gen_0;
876 :
877 502211 : gel(RU,0) = gen_1;
878 502211 : prim2 = gen_1;
879 1529840 : for (i=0; i<K; i++)
880 : {
881 1027628 : gel(RU,1) = prim2;
882 4443989 : for (j=1; j<n; j++) gel(RU,j+1) = gmul(gel(RU,j),prim2);
883 : /* RU[j] = prim^(ij)= prim2^j */
884 :
885 4443966 : for (j=1; j<n; j++) gel(pd,j) = gmul(gel(qd,j+2),gel(RU,j));
886 1027604 : fft(Omega,pd,A,1,Lmax,1);
887 5471563 : for (j=1; j<=n; j++) gel(pc,j) = gmul(gel(q,j+2),gel(RU,j));
888 1027579 : fft(Omega,pc,B,1,Lmax,1);
889 7663175 : for (j=0; j<Lmax; j++) gel(C,j) = ginv(gel(B,j));
890 7663089 : for (j=0; j<Lmax; j++) gel(B,j) = gmul(gel(A,j),gel(C,j));
891 1027539 : fft(Omega,B,A,1,Lmax,1);
892 1027630 : fft(Omega,C,B,1,Lmax,1);
893 :
894 1027630 : if (polreal) /* p has real coefficients */
895 : {
896 796627 : if (i>0 && i<K-1)
897 : {
898 102724 : for (j=1; j<=k; j++)
899 : {
900 86087 : gel(W,j) = gadd(gel(W,j), gshift(mulreal(gel(A,j+1),gel(RU,j+1)),1));
901 86087 : gel(U,j) = gadd(gel(U,j), gshift(mulreal(gel(B,j),gel(RU,j)),1));
902 : }
903 : }
904 : else
905 : {
906 1829935 : for (j=1; j<=k; j++)
907 : {
908 1049958 : gel(W,j) = gadd(gel(W,j), mulreal(gel(A,j+1),gel(RU,j+1)));
909 1049940 : gel(U,j) = gadd(gel(U,j), mulreal(gel(B,j),gel(RU,j)));
910 : }
911 : }
912 : }
913 : else
914 : {
915 604835 : for (j=1; j<=k; j++)
916 : {
917 373836 : gel(W,j) = gadd(gel(W,j), gmul(gel(A,j+1),gel(RU,j+1)));
918 373830 : gel(U,j) = gadd(gel(U,j), gmul(gel(B,j),gel(RU,j)));
919 : }
920 : }
921 1027613 : prim2 = gmul(prim2,prim);
922 1027620 : (void)gc_all(ltop,3, &W,&U,&prim2);
923 : }
924 :
925 1201646 : for (i=1; i<=k; i++)
926 : {
927 699435 : aux=gel(W,i);
928 1098100 : for (j=1; j<i; j++) aux = gadd(aux, gmul(gel(W,i-j),gel(F,k+2-j)));
929 699434 : gel(F,k+2-i) = gdivgs(aux,-i*NN);
930 : }
931 1201642 : for (i=0; i<k; i++)
932 : {
933 699433 : aux=gel(U,k-i);
934 1098097 : for (j=1+i; j<k; j++) aux = gadd(aux,gmul(gel(F,2+j),gel(U,j-i)));
935 699431 : gel(H,i+2) = gdivgu(aux,NN);
936 : }
937 502209 : }
938 :
939 : #define NEWTON_MAX 10
940 : static GEN
941 2459702 : refine_H(GEN F, GEN G, GEN HH, long bit, long Sbit)
942 : {
943 2459702 : GEN H = HH, D, aux;
944 2459702 : pari_sp ltop = avma;
945 : long error, i, bit1, bit2;
946 :
947 2459702 : D = Rg_RgX_sub(gen_1, RgX_rem(RgX_mul(H,G),F)); error = gexpo(D);
948 2459661 : bit2 = bit + Sbit;
949 4495680 : for (i=0; error>-bit && i<NEWTON_MAX && error<=0; i++)
950 : {
951 2036008 : if (gc_needed(ltop,1))
952 : {
953 0 : if(DEBUGMEM>1) pari_warn(warnmem,"refine_H");
954 0 : (void)gc_all(ltop,2, &D,&H);
955 : }
956 2036008 : bit1 = -error + Sbit;
957 2036008 : aux = RgX_mul(mygprec(H,bit1), mygprec(D,bit1));
958 2036014 : aux = RgX_rem(mygprec(aux,bit1), mygprec(F,bit1));
959 :
960 2036028 : bit1 = -error*2 + Sbit; if (bit1 > bit2) bit1 = bit2;
961 2036028 : H = RgX_add(mygprec(H,bit1), aux);
962 2035966 : D = Rg_RgX_sub(gen_1, RgX_rem(RgX_mul(H,G),F));
963 2036023 : error = gexpo(D); if (error < -bit1) error = -bit1;
964 : }
965 2459672 : if (error > -bit/2) return NULL; /* FAIL */
966 2459348 : return gc_GEN(ltop,H);
967 : }
968 :
969 : /* return 0 if fails, 1 else */
970 : static long
971 502208 : refine_F(GEN p, GEN *F, GEN *G, GEN H, long bit, double gamma)
972 : {
973 502208 : GEN f0, FF, GG, r, HH = H;
974 502208 : long error, i, bit1 = 0, bit2, Sbit, Sbit2, enh, normF, normG, n = degpol(p);
975 502207 : pari_sp av = avma;
976 :
977 502207 : FF = *F; GG = RgX_divrem(p, FF, &r);
978 502213 : error = gexpo(r); if (error <= -bit) error = 1-bit;
979 502212 : normF = gexpo(FF);
980 502213 : normG = gexpo(GG);
981 502213 : enh = gexpo(H); if (enh < 0) enh = 0;
982 502213 : Sbit = normF + 2*normG + enh + (long)(4.*log2((double)n)+gamma) + 1;
983 502213 : Sbit2 = enh + 2*(normF+normG) + (long)(2.*gamma+5.*log2((double)n)) + 1;
984 502213 : bit2 = bit + Sbit;
985 2961581 : for (i=0; error>-bit && i<NEWTON_MAX && error<=0; i++)
986 : {
987 2459709 : if (bit1 == bit2 && i >= 2) { Sbit += n; Sbit2 += n; bit2 += n; }
988 2459709 : if (gc_needed(av,1))
989 : {
990 0 : if(DEBUGMEM>1) pari_warn(warnmem,"refine_F");
991 0 : (void)gc_all(av,4, &FF,&GG,&r,&HH);
992 : }
993 :
994 2459709 : bit1 = -error + Sbit2;
995 2459709 : HH = refine_H(mygprec(FF,bit1), mygprec(GG,bit1), mygprec(HH,bit1),
996 : 1-error, Sbit2);
997 2459709 : if (!HH) return 0; /* FAIL */
998 :
999 2459385 : bit1 = -error + Sbit;
1000 2459385 : r = RgX_mul(mygprec(HH,bit1), mygprec(r,bit1));
1001 2459346 : f0 = RgX_rem(mygprec(r,bit1), mygprec(FF,bit1));
1002 :
1003 2459366 : bit1 = -2*error + Sbit; if (bit1 > bit2) bit1 = bit2;
1004 2459366 : FF = gadd(mygprec(FF,bit1),f0);
1005 :
1006 2459352 : bit1 = -3*error + Sbit; if (bit1 > bit2) bit1 = bit2;
1007 2459352 : GG = RgX_divrem(mygprec(p,bit1), mygprec(FF,bit1), &r);
1008 2459370 : error = gexpo(r); if (error < -bit1) error = -bit1;
1009 : }
1010 501872 : if (error>-bit) return 0; /* FAIL */
1011 493806 : *F = FF; *G = GG; return 1;
1012 : }
1013 :
1014 : /* returns F and G from the unit circle U such that |p-FG|<2^(-bit) |cd|,
1015 : where cd is the leading coefficient of p */
1016 : static void
1017 493823 : split_fromU(GEN p, long k, double delta, long bit,
1018 : GEN *F, GEN *G, double param, double param2)
1019 : {
1020 : GEN pp, FF, GG, H;
1021 493823 : long n = degpol(p), NN, bit2, Lmax;
1022 493823 : int polreal = isreal(p);
1023 : pari_sp ltop;
1024 : double mu, gamma;
1025 :
1026 493823 : pp = gdiv(p, gel(p,2+n));
1027 493820 : parameters(pp, &Lmax,&mu,&gamma, polreal,param,param2);
1028 :
1029 493814 : H = cgetg(k+2,t_POL); H[1] = p[1];
1030 493818 : FF = cgetg(k+3,t_POL); FF[1]= p[1];
1031 493819 : gel(FF,k+2) = gen_1;
1032 :
1033 493819 : NN = (long)(0.5/delta); NN |= 1; if (NN < 2) NN = 2;
1034 493819 : NN *= Lmax; ltop = avma;
1035 : for(;;)
1036 : {
1037 502209 : bit2 = (long)(((double)NN*delta-mu)/M_LN2) + gexpo(pp) + 8;
1038 502212 : dft(pp, k, NN, Lmax, bit2, FF, H, polreal);
1039 502208 : if (refine_F(pp,&FF,&GG,H,bit,gamma)) break;
1040 8390 : NN <<= 1; set_avma(ltop);
1041 : }
1042 493819 : *G = gmul(GG,gel(p,2+n)); *F = FF;
1043 493820 : }
1044 :
1045 : static void
1046 493823 : optimize_split(GEN p, long k, double delta, long bit,
1047 : GEN *F, GEN *G, double param, double param2)
1048 : {
1049 493823 : long n = degpol(p);
1050 : GEN FF, GG;
1051 :
1052 493823 : if (k <= n/2)
1053 382996 : split_fromU(p,k,delta,bit,F,G,param,param2);
1054 : else
1055 : {
1056 110827 : split_fromU(RgX_recip_i(p),n-k,delta,bit,&FF,&GG,param,param2);
1057 110827 : *F = RgX_recip_i(GG);
1058 110827 : *G = RgX_recip_i(FF);
1059 : }
1060 493820 : }
1061 :
1062 : /********************************************************************/
1063 : /** **/
1064 : /** SEARCH FOR SEPARATING CIRCLE **/
1065 : /** **/
1066 : /********************************************************************/
1067 :
1068 : /* return p(2^e*x) *2^(-n*e) */
1069 : static void
1070 0 : scalepol2n(GEN p, long e)
1071 : {
1072 0 : long i,n=lg(p)-1;
1073 0 : for (i=2; i<=n; i++) gel(p,i) = gmul2n(gel(p,i),(i-n)*e);
1074 0 : }
1075 :
1076 : /* returns p(x/R)*R^n; assume R is at the correct accuracy */
1077 : static GEN
1078 4288021 : scalepol(GEN p, GEN R, long bit)
1079 4288021 : { return RgX_rescale(mygprec(p, bit), R); }
1080 :
1081 : /* return (conj(a)X-1)^n * p[ (X-a) / (conj(a)X-1) ] */
1082 : static GEN
1083 1403434 : conformal_basecase(GEN p, GEN a)
1084 : {
1085 : GEN z, r, ma, ca;
1086 1403434 : long i, n = degpol(p);
1087 : pari_sp av;
1088 :
1089 1403432 : if (n <= 0) return p;
1090 1403432 : ma = gneg(a); ca = conj_i(a);
1091 1403426 : av = avma;
1092 1403426 : z = deg1pol_shallow(ca, gen_m1, 0);
1093 1403422 : r = scalarpol_shallow(gel(p,2+n), 0);
1094 3640194 : for (i=n-1; ; i--)
1095 : {
1096 3640194 : r = RgX_addmulXn_shallow(r, gmul(ma,r), 1); /* r *= (X - a) */
1097 3640169 : r = gadd(r, gmul(z, gel(p,2+i)));
1098 3640186 : if (i == 0) return gc_upto(av, r);
1099 2236767 : z = RgX_addmulXn_shallow(gmul(z,ca), gneg(z), 1); /* z *= conj(a)X - 1 */
1100 2236776 : if (gc_needed(av,2))
1101 : {
1102 0 : if(DEBUGMEM>1) pari_warn(warnmem,"conformal_pol (%ld/%ld)",n-i, n);
1103 0 : (void)gc_all(av,2, &r,&z);
1104 : }
1105 : }
1106 : }
1107 : static GEN
1108 1403552 : conformal_pol(GEN p, GEN a)
1109 : {
1110 1403552 : pari_sp av = avma;
1111 1403552 : long d, nR, n = degpol(p), v;
1112 : GEN Q, R, S, T;
1113 1403553 : if (n < 35) return conformal_basecase(p, a);
1114 119 : d = (n+1) >> 1; v = varn(p);
1115 119 : Q = RgX_shift_shallow(p, -d);
1116 119 : R = RgXn_red_shallow(p, d);
1117 119 : Q = conformal_pol(Q, a);
1118 119 : R = conformal_pol(R, a);
1119 119 : S = gpowgs(deg1pol_shallow(gen_1, gneg(a), v), d);
1120 119 : T = RgX_recip_i(S);
1121 119 : if (typ(a) == t_COMPLEX) T = gconj(T);
1122 119 : if (odd(d)) T = RgX_neg(T);
1123 : /* S = (X - a)^d, T = (conj(a) X - 1)^d */
1124 119 : nR = n - degpol(R) - d; /* >= 0 */
1125 119 : if (nR) T = RgX_mul(T, gpowgs(deg1pol_shallow(gconj(a), gen_m1, v), nR));
1126 119 : return gc_upto(av, RgX_add(RgX_mul(Q, S), RgX_mul(R, T)));
1127 : }
1128 :
1129 : static const double UNDEF = -100000.;
1130 :
1131 : static double
1132 493817 : logradius(double *radii, GEN p, long k, double aux, double *delta)
1133 : {
1134 493817 : long i, n = degpol(p);
1135 : double lrho, lrmin, lrmax;
1136 493817 : if (k > 1)
1137 : {
1138 282464 : i = k-1; while (i>0 && radii[i] == UNDEF) i--;
1139 207012 : lrmin = logpre_modulus(p,k,aux, radii[i], radii[k]);
1140 : }
1141 : else /* k=1 */
1142 286805 : lrmin = logmin_modulus(p,aux);
1143 493817 : radii[k] = lrmin;
1144 :
1145 493817 : if (k+1<n)
1146 : {
1147 590787 : i = k+2; while (i<=n && radii[i] == UNDEF) i++;
1148 399568 : lrmax = logpre_modulus(p,k+1,aux, radii[k+1], radii[i]);
1149 : }
1150 : else /* k+1=n */
1151 94249 : lrmax = logmax_modulus(p,aux);
1152 493822 : radii[k+1] = lrmax;
1153 :
1154 493822 : lrho = radii[k];
1155 824010 : for (i=k-1; i>=1; i--)
1156 : {
1157 330188 : if (radii[i] == UNDEF || radii[i] > lrho)
1158 242300 : radii[i] = lrho;
1159 : else
1160 87888 : lrho = radii[i];
1161 : }
1162 493822 : lrho = radii[k+1];
1163 1637671 : for (i=k+1; i<=n; i++)
1164 : {
1165 1143849 : if (radii[i] == UNDEF || radii[i] < lrho)
1166 567062 : radii[i] = lrho;
1167 : else
1168 576787 : lrho = radii[i];
1169 : }
1170 493822 : *delta = (lrmax - lrmin) / 2;
1171 493822 : if (*delta > 1.) *delta = 1.;
1172 493822 : return (lrmin + lrmax) / 2;
1173 : }
1174 :
1175 : static void
1176 493822 : update_radius(long n, double *radii, double lrho, double *par, double *par2)
1177 : {
1178 493822 : double t, param = 0., param2 = 0.;
1179 : long i;
1180 2461618 : for (i=1; i<=n; i++)
1181 : {
1182 1967815 : radii[i] -= lrho;
1183 1967815 : t = fabs(rtodbl( invr(subsr(1, dblexp(radii[i]))) ));
1184 1967796 : param += t; if (t > 1.) param2 += log2(t);
1185 : }
1186 493803 : *par = param; *par2 = param2;
1187 493803 : }
1188 :
1189 : /* apply the conformal mapping then split from U */
1190 : static void
1191 467773 : conformal_mapping(double *radii, GEN ctr, GEN p, long k, long bit,
1192 : double aux, GEN *F,GEN *G)
1193 : {
1194 467773 : long bit2, n = degpol(p), i;
1195 467772 : pari_sp ltop = avma, av;
1196 : GEN q, FF, GG, a, R;
1197 : double lrho, delta, param, param2;
1198 : /* n * (2.*log2(2.732)+log2(1.5)) + 1 */
1199 467772 : bit2 = bit + (long)(n*3.4848775) + 1;
1200 467772 : a = sqrtr_abs( utor(3, precdbl(MEDDEFAULTPREC)) );
1201 467774 : a = divrs(a, -6);
1202 467774 : a = gmul(mygprec(a,bit2), mygprec(ctr,bit2)); /* a = -ctr/2sqrt(3) */
1203 :
1204 467773 : av = avma;
1205 467773 : q = conformal_pol(mygprec(p,bit2), a);
1206 2287918 : for (i=1; i<=n; i++)
1207 1820149 : if (radii[i] != UNDEF) /* update array radii */
1208 : {
1209 1540606 : pari_sp av2 = avma;
1210 1540606 : GEN t, r = dblexp(radii[i]), r2 = sqrr(r);
1211 : /* 2(r^2 - 1) / (r^2 - 3(r-1)) */
1212 1540571 : t = divrr(shiftr((subrs(r2,1)),1), subrr(r2, mulur(3,subrs(r,1))));
1213 1540601 : radii[i] = mydbllogr(addsr(1,t)) / 2;
1214 1540585 : set_avma(av2);
1215 : }
1216 467769 : lrho = logradius(radii, q,k,aux/10., &delta);
1217 467774 : update_radius(n, radii, lrho, ¶m, ¶m2);
1218 :
1219 467774 : bit2 += (long)(n * fabs(lrho)/M_LN2 + 1.);
1220 467774 : R = mygprec(dblexp(-lrho), bit2);
1221 467774 : q = scalepol(q,R,bit2);
1222 467774 : (void)gc_all(av,2, &q,&R);
1223 :
1224 467775 : optimize_split(q,k,delta,bit2,&FF,&GG,param,param2);
1225 467773 : bit2 += n; R = invr(R);
1226 467773 : FF = scalepol(FF,R,bit2);
1227 467775 : GG = scalepol(GG,R,bit2);
1228 :
1229 467774 : a = mygprec(a,bit2);
1230 467775 : FF = conformal_pol(FF,a);
1231 467772 : GG = conformal_pol(GG,a);
1232 :
1233 467772 : a = invr(subsr(1, gnorm(a)));
1234 467768 : FF = RgX_Rg_mul(FF, powru(a,k));
1235 467773 : GG = RgX_Rg_mul(GG, powru(a,n-k));
1236 :
1237 467773 : *F = mygprec(FF,bit+n);
1238 467774 : *G = mygprec(GG,bit+n); (void)gc_all(ltop,2, F,G);
1239 467774 : }
1240 :
1241 : /* split p, this time without scaling. returns in F and G two polynomials
1242 : * such that |p-FG|< 2^(-bit)|p| */
1243 : static void
1244 493821 : split_2(GEN p, long bit, GEN ctr, double thickness, GEN *F, GEN *G)
1245 : {
1246 : GEN q, FF, GG, R;
1247 : double aux, delta, param, param2;
1248 493821 : long n = degpol(p), i, j, k, bit2;
1249 : double lrmin, lrmax, lrho, *radii;
1250 :
1251 493821 : radii = (double*) stack_malloc_align((n+1) * sizeof(double), sizeof(double));
1252 :
1253 1474033 : for (i=2; i<n; i++) radii[i] = UNDEF;
1254 493820 : aux = thickness/(double)(4 * n);
1255 493820 : lrmin = logmin_modulus(p, aux);
1256 493819 : lrmax = logmax_modulus(p, aux);
1257 493816 : radii[1] = lrmin;
1258 493816 : radii[n] = lrmax;
1259 493816 : i = 1; j = n;
1260 493816 : lrho = (lrmin + lrmax) / 2;
1261 493816 : k = dual_modulus(p, lrho, aux, 1);
1262 493822 : if (5*k < n || (n < 2*k && 5*k < 4*n))
1263 77961 : { lrmax = lrho; j=k+1; radii[j] = lrho; }
1264 : else
1265 415861 : { lrmin = lrho; i=k; radii[i] = lrho; }
1266 1012153 : while (j > i+1)
1267 : {
1268 518330 : if (i+j == n+1)
1269 372093 : lrho = (lrmin + lrmax) / 2;
1270 : else
1271 : {
1272 146237 : double kappa = 2. - log(1. + minss(i,n-j)) / log(1. + minss(j,n-i));
1273 146237 : if (i+j < n+1) lrho = lrmax * kappa + lrmin;
1274 116657 : else lrho = lrmin * kappa + lrmax;
1275 146237 : lrho /= 1+kappa;
1276 : }
1277 518330 : aux = (lrmax - lrmin) / (4*(j-i));
1278 518330 : k = dual_modulus(p, lrho, aux, minss(i,n+1-j));
1279 518331 : if (k-i < j-k-1 || (k-i == j-k-1 && 2*k > n))
1280 387134 : { lrmax = lrho; j=k+1; radii[j] = lrho - aux; }
1281 : else
1282 131197 : { lrmin = lrho; i=k; radii[i] = lrho + aux; }
1283 : }
1284 493823 : aux = lrmax - lrmin;
1285 :
1286 493823 : if (ctr)
1287 : {
1288 467773 : lrho = (lrmax + lrmin) / 2;
1289 2287950 : for (i=1; i<=n; i++)
1290 1820177 : if (radii[i] != UNDEF) radii[i] -= lrho;
1291 :
1292 467773 : bit2 = bit + (long)(n * fabs(lrho)/M_LN2 + 1.);
1293 467773 : R = mygprec(dblexp(-lrho), bit2);
1294 467768 : q = scalepol(p,R,bit2);
1295 467773 : conformal_mapping(radii, ctr, q, k, bit2, aux, &FF, &GG);
1296 : }
1297 : else
1298 : {
1299 26050 : lrho = logradius(radii, p, k, aux/10., &delta);
1300 26048 : update_radius(n, radii, lrho, ¶m, ¶m2);
1301 :
1302 26048 : bit2 = bit + (long)(n * fabs(lrho)/M_LN2 + 1.);
1303 26048 : R = mygprec(dblexp(-lrho), bit2);
1304 26048 : q = scalepol(p,R,bit2);
1305 26048 : optimize_split(q, k, delta, bit2, &FF, &GG, param, param2);
1306 : }
1307 493822 : bit += n;
1308 493822 : bit2 += n; R = invr(mygprec(R,bit2));
1309 493820 : *F = mygprec(scalepol(FF,R,bit2), bit);
1310 493823 : *G = mygprec(scalepol(GG,R,bit2), bit);
1311 493822 : }
1312 :
1313 : /* procedure corresponding to steps 5,6,.. page 44 in RR n. 1852 */
1314 : /* put in F and G two polynomial such that |p-FG|<2^(-bit)|p|
1315 : * where the maximum modulus of the roots of p is <=1.
1316 : * Assume sum of roots is 0. */
1317 : static void
1318 467774 : split_1(GEN p, long bit, GEN *F, GEN *G)
1319 : {
1320 467774 : long i, imax, n = degpol(p), polreal = isreal(p), ep = gexpo(p), bit2 = bit+n;
1321 : GEN ctr, q, qq, FF, GG, v, gr, r, newq;
1322 : double lrmin, lrmax, lthick;
1323 467774 : const double LOG3 = 1.098613;
1324 :
1325 467774 : lrmax = logmax_modulus(p, 0.01);
1326 467771 : gr = mygprec(dblexp(-lrmax), bit2);
1327 467773 : q = scalepol(p,gr,bit2);
1328 :
1329 467772 : bit2 = bit + gexpo(q) - ep + (long)((double)n*2.*log2(3.)+1);
1330 467774 : v = cgetg(5,t_VEC);
1331 467774 : gel(v,1) = gen_2;
1332 467774 : gel(v,2) = gen_m2;
1333 467774 : gel(v,3) = mkcomplex(gen_0, gel(v,1));
1334 467774 : gel(v,4) = mkcomplex(gen_0, gel(v,2));
1335 467774 : q = mygprec(q,bit2); lthick = 0;
1336 467774 : newq = ctr = NULL; /* -Wall */
1337 467774 : imax = polreal? 3: 4;
1338 840337 : for (i=1; i<=imax; i++)
1339 : {
1340 833714 : qq = RgX_Rg_translate(q, gel(v,i));
1341 833715 : lrmin = logmin_modulus(qq,0.05);
1342 833699 : if (LOG3 > lrmin + lthick)
1343 : {
1344 821556 : double lquo = logmax_modulus(qq,0.05) - lrmin;
1345 821568 : if (lquo > lthick) { lthick = lquo; newq = qq; ctr = gel(v,i); }
1346 : }
1347 833711 : if (lthick > M_LN2) break;
1348 423612 : if (polreal && i==2 && lthick > LOG3 - M_LN2) break;
1349 : }
1350 467771 : bit2 = bit + gexpo(newq) - ep + (long)(n*LOG3/M_LN2 + 1);
1351 467773 : split_2(newq, bit2, ctr, lthick, &FF, &GG);
1352 467774 : r = gneg(mygprec(ctr,bit2));
1353 467774 : FF = RgX_Rg_translate(FF,r);
1354 467775 : GG = RgX_Rg_translate(GG,r);
1355 :
1356 467775 : gr = invr(gr); bit2 = bit - ep + gexpo(FF)+gexpo(GG);
1357 467775 : *F = scalepol(FF,gr,bit2);
1358 467775 : *G = scalepol(GG,gr,bit2);
1359 467774 : }
1360 :
1361 : /* put in F and G two polynomials such that |P-FG|<2^(-bit)|P|,
1362 : where the maximum modulus of the roots of p is < 0.5 */
1363 : static int
1364 468098 : split_0_2(GEN p, long bit, GEN *F, GEN *G)
1365 : {
1366 : GEN q, b;
1367 468098 : long n = degpol(p), k, bit2, eq;
1368 468098 : double aux0 = dbllog2(gel(p,n+2)); /* != -oo */
1369 468099 : double aux1 = dbllog2(gel(p,n+1)), aux;
1370 :
1371 468097 : if (aux1 == -pariINFINITY) /* p1 = 0 */
1372 9894 : aux = 0;
1373 : else
1374 : {
1375 458203 : aux = aux1 - aux0; /* log2(p1/p0) */
1376 : /* beware double overflow */
1377 458203 : if (aux >= 0 && (aux > 1e4 || exp2(aux) > 2.5*n)) return 0;
1378 458203 : aux = (aux < -300)? 0.: n*log2(1 + exp2(aux)/(double)n);
1379 : }
1380 468097 : bit2 = bit+1 + (long)(log2((double)n) + aux);
1381 468097 : q = mygprec(p,bit2);
1382 468098 : if (aux1 == -pariINFINITY) b = NULL;
1383 : else
1384 : {
1385 458204 : b = gdivgs(gdiv(gel(q,n+1),gel(q,n+2)),-n);
1386 458202 : q = RgX_Rg_translate(q,b);
1387 : }
1388 468099 : gel(q,n+1) = gen_0; eq = gexpo(q);
1389 468099 : k = 0;
1390 468653 : while (k <= n/2 && (- gexpo(gel(q,k+2)) > bit2 + 2*(n-k) + eq
1391 468524 : || gequal0(gel(q,k+2)))) k++;
1392 468098 : if (k > 0)
1393 : {
1394 324 : if (k > n/2) k = n/2;
1395 324 : bit2 += k<<1;
1396 324 : *F = pol_xn(k, 0);
1397 324 : *G = RgX_shift_shallow(q, -k);
1398 : }
1399 : else
1400 : {
1401 467774 : split_1(q,bit2,F,G);
1402 467774 : bit2 = bit + gexpo(*F) + gexpo(*G) - gexpo(p) + (long)aux+1;
1403 467775 : *F = mygprec(*F,bit2);
1404 : }
1405 468099 : *G = mygprec(*G,bit2);
1406 468099 : if (b)
1407 : {
1408 458205 : GEN mb = mygprec(gneg(b), bit2);
1409 458205 : *F = RgX_Rg_translate(*F, mb);
1410 458205 : *G = RgX_Rg_translate(*G, mb);
1411 : }
1412 468098 : return 1;
1413 : }
1414 :
1415 : /* put in F and G two polynomials such that |P-FG|<2^(-bit)|P|.
1416 : * Assume max_modulus(p) < 2 */
1417 : static void
1418 468098 : split_0_1(GEN p, long bit, GEN *F, GEN *G)
1419 : {
1420 : GEN FF, GG;
1421 : long n, bit2, normp;
1422 :
1423 468098 : if (split_0_2(p,bit,F,G)) return;
1424 :
1425 0 : normp = gexpo(p);
1426 0 : scalepol2n(p,2); /* p := 4^(-n) p(4*x) */
1427 0 : n = degpol(p); bit2 = bit + 2*n + gexpo(p) - normp;
1428 0 : split_1(mygprec(p,bit2), bit2,&FF,&GG);
1429 0 : scalepol2n(FF,-2);
1430 0 : scalepol2n(GG,-2); bit2 = bit + gexpo(FF) + gexpo(GG) - normp;
1431 0 : *F = mygprec(FF,bit2);
1432 0 : *G = mygprec(GG,bit2);
1433 : }
1434 :
1435 : /* put in F and G two polynomials such that |P-FG|<2^(-bit)|P| */
1436 : static void
1437 494145 : split_0(GEN p, long bit, GEN *F, GEN *G)
1438 : {
1439 494145 : const double LOG1_9 = 0.6418539;
1440 494145 : long n = degpol(p), k = 0;
1441 : GEN q;
1442 :
1443 494145 : while (gexpo(gel(p,k+2)) < -bit && k <= n/2) k++;
1444 494145 : if (k > 0)
1445 : {
1446 0 : if (k > n/2) k = n/2;
1447 0 : *F = pol_xn(k, 0);
1448 0 : *G = RgX_shift_shallow(p, -k);
1449 : }
1450 : else
1451 : {
1452 494145 : double lr = logmax_modulus(p, 0.05);
1453 494140 : if (lr < LOG1_9) split_0_1(p, bit, F, G);
1454 : else
1455 : {
1456 436657 : q = RgX_recip_i(p);
1457 436659 : lr = logmax_modulus(q,0.05);
1458 436663 : if (lr < LOG1_9)
1459 : {
1460 410615 : split_0_1(q, bit, F, G);
1461 410615 : *F = RgX_recip_i(*F);
1462 410615 : *G = RgX_recip_i(*G);
1463 : }
1464 : else
1465 26048 : split_2(p,bit,NULL, 1.2837,F,G);
1466 : }
1467 : }
1468 494146 : }
1469 :
1470 : /********************************************************************/
1471 : /** **/
1472 : /** ERROR ESTIMATE FOR THE ROOTS **/
1473 : /** **/
1474 : /********************************************************************/
1475 :
1476 : static GEN
1477 1899184 : root_error(long n, long k, GEN roots_pol, long err, GEN shatzle)
1478 : {
1479 1899184 : GEN rho, d, eps, epsbis, eps2, aux, rap = NULL;
1480 : long i, j;
1481 :
1482 1899184 : d = cgetg(n+1,t_VEC);
1483 12130820 : for (i=1; i<=n; i++)
1484 : {
1485 10231763 : if (i!=k)
1486 : {
1487 8332678 : aux = gsub(gel(roots_pol,i), gel(roots_pol,k));
1488 8332054 : gel(d,i) = gabs(mygprec(aux,31), DEFAULTPREC);
1489 : }
1490 : }
1491 1899057 : rho = gabs(mygprec(gel(roots_pol,k),31), DEFAULTPREC);
1492 1899189 : if (expo(rho) < 0) rho = real_1(DEFAULTPREC);
1493 1899189 : eps = mulrr(rho, shatzle);
1494 1899090 : aux = shiftr(powru(rho,n), err);
1495 :
1496 5764791 : for (j=1; j<=2 || (j<=5 && cmprr(rap, dbltor(1.2)) > 0); j++)
1497 : {
1498 3865756 : GEN prod = NULL; /* 1. */
1499 3865756 : long m = n;
1500 3865756 : epsbis = mulrr(eps, dbltor(1.25));
1501 26544061 : for (i=1; i<=n; i++)
1502 : {
1503 22678123 : if (i != k && cmprr(gel(d,i),epsbis) > 0)
1504 : {
1505 18772587 : GEN dif = subrr(gel(d,i),eps);
1506 18770243 : prod = prod? mulrr(prod, dif): dif;
1507 18771557 : m--;
1508 : }
1509 : }
1510 3865938 : eps2 = prod? divrr(aux, prod): aux;
1511 3865774 : if (m > 1) eps2 = sqrtnr(shiftr(eps2, 2*m-2), m);
1512 3865774 : rap = divrr(eps,eps2); eps = eps2;
1513 : }
1514 1898998 : return eps;
1515 : }
1516 :
1517 : /* round a complex or real number x to an absolute value of 2^(-bit) */
1518 : static GEN
1519 4300342 : mygprec_absolute(GEN x, long bit)
1520 : {
1521 : long e;
1522 : GEN y;
1523 :
1524 4300342 : switch(typ(x))
1525 : {
1526 2952619 : case t_REAL:
1527 2952619 : e = expo(x) + bit;
1528 2952619 : return (e <= 0 || !signe(x))? real_0_bit(-bit): rtor(x, nbits2prec(e));
1529 1217888 : case t_COMPLEX:
1530 1217888 : if (gexpo(gel(x,2)) < -bit) return mygprec_absolute(gel(x,1),bit);
1531 1183328 : y = cgetg(3,t_COMPLEX);
1532 1183335 : gel(y,1) = mygprec_absolute(gel(x,1),bit);
1533 1183345 : gel(y,2) = mygprec_absolute(gel(x,2),bit);
1534 1183355 : return y;
1535 129835 : default: return x;
1536 : }
1537 : }
1538 :
1539 : static long
1540 530648 : a_posteriori_errors(GEN p, GEN roots_pol, long err)
1541 : {
1542 530648 : long i, n = degpol(p), e_max = -(long)EXPOBITS;
1543 : GEN sigma, shatzle;
1544 :
1545 530647 : err += (long)log2((double)n) + 1;
1546 530647 : if (err > -2) return 0;
1547 530647 : sigma = real2n(-err, LOWDEFAULTPREC);
1548 : /* 2 / ((s - 1)^(1/n) - 1) */
1549 530650 : shatzle = divur(2, subrs(sqrtnr(subrs(sigma,1),n), 1));
1550 2429831 : for (i=1; i<=n; i++)
1551 : {
1552 1899181 : pari_sp av = avma;
1553 1899181 : GEN x = root_error(n,i,roots_pol,err,shatzle);
1554 1898997 : long e = gexpo(x);
1555 1899036 : set_avma(av); if (e > e_max) e_max = e;
1556 1899124 : gel(roots_pol,i) = mygprec_absolute(gel(roots_pol,i), -e);
1557 : }
1558 530650 : return e_max;
1559 : }
1560 :
1561 : /********************************************************************/
1562 : /** **/
1563 : /** MAIN **/
1564 : /** **/
1565 : /********************************************************************/
1566 : static GEN
1567 1603007 : append_clone(GEN r, GEN a) { a = gclone(a); vectrunc_append(r, a); return a; }
1568 :
1569 : /* put roots in placeholder roots_pol so that |P - L_1...L_n| < 2^(-bit)|P|
1570 : * returns prod (x-roots_pol[i]) */
1571 : static GEN
1572 1518933 : split_complete(GEN p, long bit, GEN roots_pol)
1573 : {
1574 1518933 : long n = degpol(p);
1575 : pari_sp ltop;
1576 : GEN p1, F, G, a, b, m1, m2;
1577 :
1578 1518933 : if (n == 1)
1579 : {
1580 446574 : a = gneg_i(gdiv(gel(p,2), gel(p,3)));
1581 446586 : (void)append_clone(roots_pol,a); return p;
1582 : }
1583 1072359 : ltop = avma;
1584 1072359 : if (n == 2)
1585 : {
1586 578214 : F = gsub(gsqr(gel(p,3)), gmul2n(gmul(gel(p,2),gel(p,4)), 2));
1587 578209 : F = gsqrt(F, nbits2prec(bit));
1588 578215 : p1 = ginv(gmul2n(gel(p,4),1));
1589 578213 : a = gneg_i(gmul(gadd(F,gel(p,3)), p1));
1590 578212 : b = gmul(gsub(F,gel(p,3)), p1);
1591 578214 : a = append_clone(roots_pol,a);
1592 578216 : b = append_clone(roots_pol,b); set_avma(ltop);
1593 578216 : a = mygprec(a, 3*bit);
1594 578217 : b = mygprec(b, 3*bit);
1595 578216 : return gmul(gel(p,4), mkpoln(3, gen_1, gneg(gadd(a,b)), gmul(a,b)));
1596 : }
1597 494145 : split_0(p,bit,&F,&G);
1598 494145 : m1 = split_complete(F,bit,roots_pol);
1599 494147 : m2 = split_complete(G,bit,roots_pol);
1600 494144 : return gc_upto(ltop, gmul(m1,m2));
1601 : }
1602 :
1603 : static GEN
1604 6960852 : quicktofp(GEN x)
1605 : {
1606 6960852 : const long prec = DEFAULTPREC;
1607 6960852 : switch(typ(x))
1608 : {
1609 6939401 : case t_INT: return itor(x, prec);
1610 9064 : case t_REAL: return rtor(x, prec);
1611 0 : case t_FRAC: return fractor(x, prec);
1612 12395 : case t_COMPLEX: {
1613 12395 : GEN a = gel(x,1), b = gel(x,2);
1614 : /* avoid problem with 0, e.g. x = 0 + I*1e-100. We don't want |x| = 0. */
1615 12395 : if (isintzero(a)) return cxcompotor(b, prec);
1616 12353 : if (isintzero(b)) return cxcompotor(a, prec);
1617 12353 : a = cxcompotor(a, prec);
1618 12353 : b = cxcompotor(b, prec); return sqrtr(addrr(sqrr(a), sqrr(b)));
1619 : }
1620 0 : default: pari_err_TYPE("quicktofp",x);
1621 : return NULL;/*LCOV_EXCL_LINE*/
1622 : }
1623 :
1624 : }
1625 :
1626 : /* bound log_2 |largest root of p| (Fujiwara's bound) */
1627 : double
1628 2265019 : fujiwara_bound(GEN p)
1629 : {
1630 2265019 : pari_sp av = avma;
1631 2265019 : long i, n = degpol(p);
1632 : GEN cc;
1633 : double loglc, Lmax;
1634 :
1635 2265020 : if (n <= 0) pari_err_CONSTPOL("fujiwara_bound");
1636 2265020 : loglc = mydbllog2r( quicktofp(gel(p,n+2)) ); /* log_2 |lc(p)| */
1637 2264977 : cc = gel(p, 2);
1638 2264977 : if (gequal0(cc))
1639 783472 : Lmax = -pariINFINITY-1;
1640 : else
1641 1481531 : Lmax = (mydbllog2r(quicktofp(cc)) - loglc - 1) / n;
1642 7393439 : for (i = 1; i < n; i++)
1643 : {
1644 5128450 : GEN y = gel(p,i+2);
1645 : double L;
1646 5128450 : if (gequal0(y)) continue;
1647 3214420 : L = (mydbllog2r(quicktofp(y)) - loglc) / (n-i);
1648 3214429 : if (L > Lmax) Lmax = L;
1649 : }
1650 2264989 : return gc_double(av, Lmax+1);
1651 : }
1652 :
1653 : /* Fujiwara's bound, real roots. Based on the following remark: if
1654 : * p = x^n + sum a_i x^i and q = x^n + sum min(a_i,0)x^i
1655 : * then for all x >= 0, p(x) >= q(x). Thus any bound for the (positive) roots
1656 : * of q is a bound for the positive roots of p. */
1657 : double
1658 1406786 : fujiwara_bound_real(GEN p, long sign)
1659 : {
1660 1406786 : pari_sp av = avma;
1661 : GEN x;
1662 1406786 : long n = degpol(p), i, signodd, signeven;
1663 1406784 : if (n <= 0) pari_err_CONSTPOL("fujiwara_bound");
1664 1406784 : x = shallowcopy(p);
1665 1406786 : if (gsigne(gel(x, n+2)) > 0)
1666 1406765 : { signeven = 1; signodd = sign; }
1667 : else
1668 21 : { signeven = -1; signodd = -sign; }
1669 5779972 : for (i = 0; i < n; i++)
1670 : {
1671 4373189 : if ((n - i) % 2)
1672 2490941 : { if (gsigne(gel(x, i+2)) == signodd ) gel(x, i+2) = gen_0; }
1673 : else
1674 1882248 : { if (gsigne(gel(x, i+2)) == signeven) gel(x, i+2) = gen_0; }
1675 : }
1676 1406783 : return gc_double(av, fujiwara_bound(x));
1677 : }
1678 :
1679 : static GEN
1680 2161023 : mygprecrc_special(GEN x, long prec, long e)
1681 : {
1682 : GEN y;
1683 2161023 : switch(typ(x))
1684 : {
1685 37263 : case t_REAL:
1686 37263 : if (!signe(x)) return real_0_bit(minss(e, expo(x)));
1687 36115 : return (prec > realprec(x))? rtor(x, prec): x;
1688 13678 : case t_COMPLEX:
1689 13678 : y = cgetg(3,t_COMPLEX);
1690 13678 : gel(y,1) = mygprecrc_special(gel(x,1),prec,e);
1691 13678 : gel(y,2) = mygprecrc_special(gel(x,2),prec,e);
1692 13678 : return y;
1693 2110082 : default: return x;
1694 : }
1695 : }
1696 :
1697 : /* like mygprec but keep at least the same precision as before */
1698 : static GEN
1699 530655 : mygprec_special(GEN x, long bit)
1700 : {
1701 530655 : long e = gexpo(x) - bit, prec = nbits2prec(bit);
1702 530653 : switch(typ(x))
1703 : {
1704 2664320 : case t_POL: pari_APPLY_pol_normalized(mygprecrc_special(gel(x,i),prec,e));
1705 0 : default: return mygprecrc_special(x,prec,e);
1706 : }
1707 : }
1708 :
1709 : static GEN
1710 394074 : fix_roots1(GEN R)
1711 : {
1712 394074 : long i, l = lg(R);
1713 394074 : GEN v = cgetg(l, t_VEC);
1714 1751811 : for (i=1; i < l; i++) { GEN r = gel(R,i); gel(v,i) = gcopy(r); gunclone(r); }
1715 394078 : return v;
1716 : }
1717 : static GEN
1718 530649 : fix_roots(GEN R, long h, long bit)
1719 : {
1720 : long i, j, c, n, prec;
1721 : GEN v, Z, gh;
1722 :
1723 530649 : if (h == 1) return fix_roots1(R);
1724 136575 : prec = nbits2prec(bit); Z = grootsof1(h, prec); gh = utoipos(h);
1725 136577 : n = lg(R)-1; v = cgetg(h*n + 1, t_VEC);
1726 381854 : for (c = i = 1; i <= n; i++)
1727 : {
1728 245277 : GEN s, r = gel(R,i);
1729 245277 : s = (h == 2)? gsqrt(r, prec): gsqrtn(r, gh, NULL, prec);
1730 786746 : for (j = 1; j <= h; j++) gel(v, c++) = gmul(s, gel(Z,j));
1731 245266 : gunclone(r);
1732 : }
1733 136577 : return v;
1734 : }
1735 :
1736 : static GEN
1737 529603 : all_roots(GEN p, long bit)
1738 : {
1739 529603 : long bit2, i, e, h, n = degpol(p), elc = gexpo(leading_coeff(p));
1740 529601 : GEN q, R, m, pd = RgX_deflate_max(p, &h);
1741 529603 : double fb = fujiwara_bound(pd);
1742 : pari_sp av;
1743 :
1744 529602 : if (fb < 0) fb = 0;
1745 529602 : bit2 = bit + maxss(gexpo(p), 0) + (long)ceil(log2(n / h) + 2 * fb);
1746 530646 : for (av = avma, i = 1, e = 0;; i++, set_avma(av))
1747 : {
1748 530646 : R = vectrunc_init(n+1);
1749 530646 : bit2 += e + (n << i);
1750 530646 : q = RgX_gtofp_bit(mygprec(pd,bit2), bit2);
1751 530651 : q[1] = evalsigne(1)|evalvarn(0);
1752 530651 : m = split_complete(q, bit2, R);
1753 530649 : R = fix_roots(R, h, bit2);
1754 530655 : q = mygprec_special(pd,bit2);
1755 530653 : q[1] = evalsigne(1)|evalvarn(0);
1756 530653 : e = gexpo(RgX_sub(q, m)) - elc + (long)log2((double)n) + 1;
1757 530648 : if (e < 0)
1758 : {
1759 530648 : if (e < -2*bit2) e = -2*bit2; /* avoid e = -oo */
1760 530648 : e = bit + a_posteriori_errors(p, R, e);
1761 530650 : if (e < 0) return R;
1762 : }
1763 1044 : if (DEBUGLEVEL)
1764 0 : err_printf("all_roots: restarting, i = %ld, e = %ld\n", i,e);
1765 : }
1766 : }
1767 :
1768 : INLINE int
1769 931280 : isexactscalar(GEN x) { long tx = typ(x); return is_rational_t(tx); }
1770 :
1771 : static int
1772 239634 : isexactpol(GEN p)
1773 : {
1774 239634 : long i,n = degpol(p);
1775 1162320 : for (i=0; i<=n; i++)
1776 931280 : if (!isexactscalar(gel(p,i+2))) return 0;
1777 231040 : return 1;
1778 : }
1779 :
1780 : /* p(0) != 0 [for efficiency] */
1781 : static GEN
1782 231040 : solve_exact_pol(GEN p, long bit)
1783 : {
1784 231040 : long i, j, k, m, n = degpol(p), iroots = 0;
1785 231040 : GEN ex, factors, v = zerovec(n);
1786 :
1787 231040 : factors = ZX_squff(Q_primpart(p), &ex);
1788 462080 : for (i=1; i<lg(factors); i++)
1789 : {
1790 231040 : GEN roots_fact = all_roots(gel(factors,i), bit);
1791 231040 : n = degpol(gel(factors,i));
1792 231040 : m = ex[i];
1793 922042 : for (j=1; j<=n; j++)
1794 1382004 : for (k=1; k<=m; k++) v[++iroots] = roots_fact[j];
1795 : }
1796 231040 : return v;
1797 : }
1798 :
1799 : /* return the roots of p with absolute error bit */
1800 : static GEN
1801 239634 : roots_com(GEN q, long bit)
1802 : {
1803 : GEN L, p;
1804 239634 : long v = RgX_valrem_inexact(q, &p);
1805 239634 : int ex = isexactpol(p);
1806 239634 : if (!ex) p = RgX_normalize1(p);
1807 239634 : if (lg(p) == 3)
1808 0 : L = cgetg(1,t_VEC); /* constant polynomial */
1809 : else
1810 239634 : L = ex? solve_exact_pol(p,bit): all_roots(p,bit);
1811 239634 : if (v)
1812 : {
1813 3935 : GEN M, z, t = gel(q,2);
1814 : long i, x, y, l, n;
1815 :
1816 3935 : if (isrationalzero(t)) x = -bit;
1817 : else
1818 : {
1819 7 : n = gexpo(t);
1820 7 : x = n / v; l = degpol(q);
1821 35 : for (i = v; i <= l; i++)
1822 : {
1823 28 : t = gel(q,i+2);
1824 28 : if (isrationalzero(t)) continue;
1825 28 : y = (n - gexpo(t)) / i;
1826 28 : if (y < x) x = y;
1827 : }
1828 : }
1829 3935 : z = real_0_bit(x); l = v + lg(L);
1830 3935 : M = cgetg(l, t_VEC); L -= v;
1831 7933 : for (i = 1; i <= v; i++) gel(M,i) = z;
1832 11826 : for ( ; i < l; i++) gel(M,i) = gel(L,i);
1833 3935 : L = M;
1834 : }
1835 239634 : return L;
1836 : }
1837 :
1838 : static GEN
1839 1200984 : tocomplex(GEN x, long l, long bit)
1840 : {
1841 : GEN y;
1842 1200984 : if (typ(x) == t_COMPLEX)
1843 : {
1844 1181577 : if (signe(gel(x,1))) return mygprecrc(x, l, -bit);
1845 137459 : x = gel(x,2);
1846 137459 : y = cgetg(3,t_COMPLEX);
1847 137461 : gel(y,1) = real_0_bit(-bit);
1848 137461 : gel(y,2) = mygprecrc(x, l, -bit);
1849 : }
1850 : else
1851 : {
1852 19407 : y = cgetg(3,t_COMPLEX);
1853 19407 : gel(y,1) = mygprecrc(x, l, -bit);
1854 19407 : gel(y,2) = real_0_bit(-bit);
1855 : }
1856 156868 : return y;
1857 : }
1858 :
1859 : /* x,y are t_COMPLEX of t_REALs or t_REAL, compare wrt |Im x| - |Im y|,
1860 : * then Re x - Re y, up to 2^-e absolute error */
1861 : static int
1862 2231693 : cmp_complex_appr(void *E, GEN x, GEN y)
1863 : {
1864 2231693 : long e = (long)E;
1865 : GEN z, xi, yi, xr, yr;
1866 : long sz, sxi, syi;
1867 2231693 : if (typ(x) == t_COMPLEX) { xr = gel(x,1); xi = gel(x,2); sxi = signe(xi); }
1868 837595 : else { xr = x; xi = NULL; sxi = 0; }
1869 2231693 : if (typ(y) == t_COMPLEX) { yr = gel(y,1); yi = gel(y,2); syi = signe(yi); }
1870 559423 : else { yr = y; yi = NULL; syi = 0; }
1871 : /* Compare absolute values of imaginary parts */
1872 2231693 : if (!sxi)
1873 : {
1874 856977 : if (syi && expo(yi) >= e) return -1;
1875 : /* |Im x| ~ |Im y| ~ 0 */
1876 : }
1877 1374716 : else if (!syi)
1878 : {
1879 50176 : if (sxi && expo(xi) >= e) return 1;
1880 : /* |Im x| ~ |Im y| ~ 0 */
1881 : }
1882 : else
1883 : {
1884 1324540 : z = addrr_sign(xi, 1, yi, -1); sz = signe(z);
1885 1324510 : if (sz && expo(z) >= e) return (int)sz;
1886 : }
1887 : /* |Im x| ~ |Im y|, sort according to real parts */
1888 1331980 : z = subrr(xr, yr); sz = signe(z);
1889 1331991 : if (sz && expo(z) >= e) return (int)sz;
1890 : /* Re x ~ Re y. Place negative imaginary part before positive */
1891 585753 : return (int) (sxi - syi);
1892 : }
1893 :
1894 : static GEN
1895 529649 : clean_roots(GEN L, long l, long bit, long clean)
1896 : {
1897 529649 : long i, n = lg(L), ex = 5 - bit;
1898 529649 : GEN res = cgetg(n,t_COL);
1899 2428801 : for (i=1; i<n; i++)
1900 : {
1901 1899148 : GEN c = gel(L,i);
1902 1899148 : if (clean && isrealappr(c,ex))
1903 : {
1904 698167 : if (typ(c) == t_COMPLEX) c = gel(c,1);
1905 698167 : c = mygprecrc(c, l, -bit);
1906 : }
1907 : else
1908 1200980 : c = tocomplex(c, l, bit);
1909 1899151 : gel(res,i) = c;
1910 : }
1911 529653 : gen_sort_inplace(res, (void*)ex, &cmp_complex_appr, NULL);
1912 529652 : return res;
1913 : }
1914 :
1915 : /* the vector of roots of p, with absolute error 2^(- prec2nbits(l)) */
1916 : static GEN
1917 239662 : roots_aux(GEN p, long l, long clean)
1918 : {
1919 239662 : pari_sp av = avma;
1920 : long bit;
1921 : GEN L;
1922 :
1923 239662 : if (typ(p) != t_POL)
1924 : {
1925 21 : if (gequal0(p)) pari_err_ROOTS0("roots");
1926 14 : if (!isvalidcoeff(p)) pari_err_TYPE("roots",p);
1927 7 : return cgetg(1,t_COL); /* constant polynomial */
1928 : }
1929 239641 : if (!signe(p)) pari_err_ROOTS0("roots");
1930 239641 : checkvalidpol(p,"roots");
1931 239634 : if (lg(p) == 3) return cgetg(1,t_COL); /* constant polynomial */
1932 239634 : if (l < LOWDEFAULTPREC) l = LOWDEFAULTPREC;
1933 239634 : bit = prec2nbits(l);
1934 239634 : L = roots_com(p, bit);
1935 239634 : return gc_GEN(av, clean_roots(L, l, bit, clean));
1936 : }
1937 : GEN
1938 8018 : roots(GEN p, long l) { return roots_aux(p,l, 0); }
1939 : /* clean up roots. If root is real replace it by its real part */
1940 : GEN
1941 231644 : cleanroots(GEN p, long l) { return roots_aux(p,l, 1); }
1942 :
1943 : /* private variant of conjvec. Allow non rational coefficients, shallow
1944 : * function. */
1945 : GEN
1946 84 : polmod_to_embed(GEN x, long prec)
1947 : {
1948 84 : GEN v, T = gel(x,1), A = gel(x,2);
1949 : long i, l;
1950 84 : if (typ(A) != t_POL || varn(A) != varn(T))
1951 : {
1952 7 : checkvalidpol(T,"polmod_to_embed");
1953 7 : return const_col(degpol(T), A);
1954 : }
1955 77 : v = cleanroots(T,prec); l = lg(v);
1956 231 : for (i=1; i<l; i++) gel(v,i) = poleval(A,gel(v,i));
1957 77 : return v;
1958 : }
1959 :
1960 : GEN
1961 290018 : QX_complex_roots(GEN p, long l)
1962 : {
1963 290018 : pari_sp av = avma;
1964 : long bit, v;
1965 : GEN L;
1966 :
1967 290018 : if (!signe(p)) pari_err_ROOTS0("QX_complex_roots");
1968 290018 : if (lg(p) == 3) return cgetg(1,t_COL); /* constant polynomial */
1969 290018 : if (l < LOWDEFAULTPREC) l = LOWDEFAULTPREC;
1970 290018 : bit = prec2nbits(l);
1971 290018 : v = RgX_valrem(p, &p);
1972 290018 : L = lg(p) > 3? all_roots(Q_primpart(p), bit): cgetg(1,t_COL);
1973 290014 : if (v) L = shallowconcat(const_vec(v, real_0_bit(-bit)), L);
1974 290014 : return gc_GEN(av, clean_roots(L, l, bit, 1));
1975 : }
1976 :
1977 : /********************************************************************/
1978 : /** **/
1979 : /** REAL ROOTS OF INTEGER POLYNOMIAL **/
1980 : /** **/
1981 : /********************************************************************/
1982 :
1983 : /* Count sign changes in the coefficients of (x+1)^deg(P)*P(1/(x+1)), P
1984 : * has no rational root. The inversion is implicit (we take coefficients
1985 : * backwards). */
1986 : static long
1987 5989877 : X2XP1(GEN P, GEN *Premapped)
1988 : {
1989 5989877 : const pari_sp av = avma;
1990 5989877 : GEN v = shallowcopy(P);
1991 5989972 : long i, j, nb, s, dP = degpol(P), vlim = dP+2;
1992 :
1993 34755718 : for (j = 2; j < vlim; j++) gel(v, j+1) = addii(gel(v, j), gel(v, j+1));
1994 5989551 : s = -signe(gel(v, vlim));
1995 5989551 : vlim--; nb = 0;
1996 16666871 : for (i = 1; i < dP; i++)
1997 : {
1998 14144176 : long s2 = -signe(gel(v, 2));
1999 14144176 : int flag = (s2 == s);
2000 90211342 : for (j = 2; j < vlim; j++)
2001 : {
2002 76067100 : gel(v, j+1) = addii(gel(v, j), gel(v, j+1));
2003 76067166 : if (flag) flag = (s2 != signe(gel(v, j+1)));
2004 : }
2005 14144242 : if (s == signe(gel(v, vlim)))
2006 : {
2007 5026688 : if (++nb >= 2) return gc_long(av,2);
2008 3767520 : s = -s;
2009 : }
2010 : /* if flag is set there will be no further sign changes */
2011 12885074 : if (flag && (!Premapped || !nb)) return gc_long(av, nb);
2012 10676815 : vlim--;
2013 10676815 : if (gc_needed(av, 3))
2014 : {
2015 0 : if (DEBUGMEM>1) pari_warn(warnmem, "X2XP1, i = %ld/%ld", i, dP-1);
2016 0 : if (!Premapped) setlg(v, vlim + 2);
2017 0 : v = gc_GEN(av, v);
2018 : }
2019 : }
2020 2522695 : if (vlim >= 2 && s == signe(gel(v, vlim))) nb++;
2021 2522695 : if (Premapped && nb == 1) *Premapped = v; else set_avma(av);
2022 2522342 : return nb;
2023 : }
2024 :
2025 : static long
2026 0 : _intervalcmp(GEN x, GEN y)
2027 : {
2028 0 : if (typ(x) == t_VEC) x = gel(x, 1);
2029 0 : if (typ(y) == t_VEC) y = gel(y, 1);
2030 0 : return gcmp(x, y);
2031 : }
2032 :
2033 : static GEN
2034 11176726 : _gen_nored(void *E, GEN x) { (void)E; return x; }
2035 : static GEN
2036 24650900 : _mp_add(void *E, GEN x, GEN y) { (void)E; return mpadd(x, y); }
2037 : static GEN
2038 0 : _mp_sub(void *E, GEN x, GEN y) { (void)E; return mpsub(x, y); }
2039 : static GEN
2040 4373444 : _mp_mul(void *E, GEN x, GEN y) { (void)E; return mpmul(x, y); }
2041 : static GEN
2042 6291890 : _mp_sqr(void *E, GEN x) { (void)E; return mpsqr(x); }
2043 : static GEN
2044 14442463 : _gen_one(void *E) { (void)E; return gen_1; }
2045 : static GEN
2046 325992 : _gen_zero(void *E) { (void)E; return gen_0; }
2047 :
2048 : static struct bb_algebra mp_algebra = { _gen_nored, _mp_add, _mp_sub,
2049 : _mp_mul, _mp_sqr, _gen_one, _gen_zero };
2050 :
2051 : static GEN
2052 34728798 : _mp_cmul(void *E, GEN P, long a, GEN x) {(void)E; return mpmul(gel(P,a+2), x);}
2053 :
2054 : /* Split the polynom P in two parts, whose coeffs have constant sign:
2055 : * P(X) = X^D*Pp + Pm. Also compute the two parts of the derivative of P,
2056 : * Pprimem = Pm', Pprimep = X*Pp'+ D*Pp => P' = X^(D-1)*Pprimep + Pprimem;
2057 : * Pprimep[i] = (i+D) Pp[i]. Return D */
2058 : static long
2059 166637 : split_pols(GEN P, GEN *pPp, GEN *pPm, GEN *pPprimep, GEN *pPprimem)
2060 : {
2061 166637 : long i, D, dP = degpol(P), s0 = signe(gel(P,2));
2062 : GEN Pp, Pm, Pprimep, Pprimem;
2063 512094 : for(i=1; i <= dP; i++)
2064 512094 : if (signe(gel(P, i+2)) == -s0) break;
2065 166636 : D = i;
2066 166636 : Pm = cgetg(D + 2, t_POL);
2067 166640 : Pprimem = cgetg(D + 1, t_POL);
2068 166640 : Pp = cgetg(dP-D + 3, t_POL);
2069 166641 : Pprimep = cgetg(dP-D + 3, t_POL);
2070 166642 : Pm[1] = Pp[1] = Pprimem[1] = Pprimep[1] = P[1];
2071 678735 : for(i=0; i < D; i++)
2072 : {
2073 512097 : GEN c = gel(P, i+2);
2074 512097 : gel(Pm, i+2) = c;
2075 512097 : if (i) gel(Pprimem, i+1) = mului(i, c);
2076 : }
2077 693319 : for(; i <= dP; i++)
2078 : {
2079 526679 : GEN c = gel(P, i+2);
2080 526679 : gel(Pp, i+2-D) = c;
2081 526679 : gel(Pprimep, i+2-D) = mului(i, c);
2082 : }
2083 166640 : *pPm = normalizepol_lg(Pm, D+2);
2084 166628 : *pPprimem = normalizepol_lg(Pprimem, D+1);
2085 166637 : *pPp = normalizepol_lg(Pp, dP-D+3);
2086 166638 : *pPprimep = normalizepol_lg(Pprimep, dP-D+3);
2087 166638 : return dP - degpol(*pPp);
2088 : }
2089 :
2090 : static GEN
2091 5223614 : bkeval_single_power(long d, GEN V)
2092 : {
2093 5223614 : long mp = lg(V) - 2;
2094 5223614 : if (d > mp) return gmul(gpowgs(gel(V, mp+1), d/mp), gel(V, (d%mp)+1));
2095 5223614 : return gel(V, d+1);
2096 : }
2097 :
2098 : static GEN
2099 5223480 : splitpoleval(GEN Pp, GEN Pm, GEN pows, long D, long bitprec)
2100 : {
2101 5223480 : GEN vp = gen_bkeval_powers(Pp, degpol(Pp), pows, NULL, &mp_algebra, _mp_cmul);
2102 5223535 : GEN vm = gen_bkeval_powers(Pm, degpol(Pm), pows, NULL, &mp_algebra, _mp_cmul);
2103 5223637 : GEN xa = bkeval_single_power(D, pows);
2104 : GEN r;
2105 5223551 : if (!signe(vp)) return vm;
2106 5223551 : vp = gmul(vp, xa);
2107 5222454 : r = gadd(vp, vm);
2108 5219508 : if (gexpo(vp) - (signe(r)? gexpo(r): 0) > prec2nbits(realprec(vp)) - bitprec)
2109 342040 : return NULL;
2110 4878098 : return r;
2111 : }
2112 :
2113 : /* optimized Cauchy bound for P = X^D*Pp + Pm, D > deg(Pm) */
2114 : static GEN
2115 166639 : splitcauchy(GEN Pp, GEN Pm, long prec)
2116 : {
2117 166639 : GEN S = gel(Pp,2), A = gel(Pm,2);
2118 166639 : long i, lPm = lg(Pm), lPp = lg(Pp);
2119 509010 : for (i=3; i < lPm; i++) { GEN c = gel(Pm,i); if (abscmpii(A, c) < 0) A = c; }
2120 526691 : for (i=3; i < lPp; i++) S = addii(S, gel(Pp, i));
2121 166629 : return subsr(1, rdivii(A, S, prec)); /* 1 + |Pm|_oo / |Pp|_1 */
2122 : }
2123 :
2124 : static GEN
2125 15274 : ZX_deg1root(GEN P, long prec)
2126 : {
2127 15274 : GEN a = gel(P,3), b = gel(P,2);
2128 15274 : if (is_pm1(a))
2129 : {
2130 15274 : b = itor(b, prec); if (signe(a) > 0) togglesign(b);
2131 15274 : return b;
2132 : }
2133 0 : return rdivii(negi(b), a, prec);
2134 : }
2135 :
2136 : /* Newton for polynom P, P(0)!=0, with unique sign change => one root in ]0,oo[
2137 : * P' has also at most one zero there */
2138 : static GEN
2139 166639 : polsolve(GEN P, long bitprec)
2140 : {
2141 : pari_sp av;
2142 : GEN Pp, Pm, Pprimep, Pprimem, Pprime, Pprime2, ra, rb, rc, Pc;
2143 166639 : long dP = degpol(P), prec = nbits2prec(bitprec);
2144 : long expoold, iter, D, rt, s0, bitaddprec, cprec, PREC;
2145 :
2146 166637 : if (dP == 1) return ZX_deg1root(P, prec);
2147 166637 : Pprime = ZX_deriv(P);
2148 166635 : Pprime2 = ZX_deriv(Pprime);
2149 166638 : bitaddprec = 1 + 2*expu(dP); PREC = prec + nbits2prec(bitaddprec);
2150 166637 : D = split_pols(P, &Pp, &Pm, &Pprimep, &Pprimem); /* P = X^D*Pp + Pm */
2151 166639 : s0 = signe(gel(P, 2));
2152 166639 : rt = maxss(D, brent_kung_optpow(maxss(degpol(Pp), degpol(Pm)), 2, 1));
2153 166639 : rb = splitcauchy(Pp, Pm, DEFAULTPREC);
2154 166635 : for (cprec = DEFAULTPREC, expoold = LONG_MAX;;)
2155 0 : {
2156 166635 : GEN pows = gen_powers(rb, rt, 1, NULL, _mp_sqr, _mp_mul, _gen_one);
2157 166639 : Pc = splitpoleval(Pp, Pm, pows, D, bitaddprec);
2158 166638 : if (!Pc) { cprec += EXTRAPREC64; rb = rtor(rb, cprec); continue; }
2159 166638 : if (signe(Pc) != s0) break;
2160 0 : shiftr_inplace(rb,1);
2161 : }
2162 166638 : for (iter = 0, ra = NULL;;)
2163 1817292 : {
2164 : GEN wdth;
2165 1983930 : iter++;
2166 1983930 : if (ra)
2167 907236 : rc = shiftr(addrr(ra, rb), -1);
2168 : else
2169 1076694 : rc = shiftr(rb, -1);
2170 : for(;;)
2171 0 : {
2172 1984111 : GEN pows = gen_powers(rc, rt, 1, NULL, _mp_sqr, _mp_mul, _gen_one);
2173 1983832 : Pc = splitpoleval(Pp, Pm, pows, D, bitaddprec+2);
2174 1983668 : if (Pc) break;
2175 0 : cprec += EXTRAPREC64;
2176 0 : rc = rtor(rc, cprec);
2177 : }
2178 1983668 : if (signe(Pc) == s0)
2179 596676 : ra = rc;
2180 : else
2181 1386992 : rb = rc;
2182 1983668 : if (!ra) continue;
2183 1073588 : wdth = subrr(rb, ra);
2184 1073762 : if (!(iter % 8))
2185 : {
2186 167817 : GEN m1 = poleval(Pprime, ra), M2;
2187 167810 : if (signe(m1) == s0) continue;
2188 166655 : M2 = poleval(Pprime2, rb);
2189 166661 : if (abscmprr(gmul(M2, wdth), shiftr(m1, 1)) > 0) continue;
2190 163505 : break;
2191 : }
2192 905945 : else if (gexpo(wdth) <= -bitprec)
2193 3164 : break;
2194 : }
2195 166669 : rc = rb; av = avma;
2196 1371352 : for(;; rc = gc_leaf(av, rc))
2197 1371549 : {
2198 : long exponew;
2199 1538218 : GEN Ppc, dist, rcold = rc;
2200 1538218 : GEN pows = gen_powers(rc, rt, 1, NULL, _mp_sqr, _mp_mul, _gen_one);
2201 1537919 : Ppc = splitpoleval(Pprimep, Pprimem, pows, D-1, bitaddprec+4);
2202 1537571 : if (Ppc) Pc = splitpoleval(Pp, Pm, pows, D, bitaddprec+4);
2203 1537767 : if (!Ppc || !Pc)
2204 : {
2205 342045 : if (cprec >= PREC)
2206 44286 : cprec += EXTRAPREC64;
2207 : else
2208 297759 : cprec = minss(2*cprec, PREC);
2209 342056 : rc = rtor(rc, cprec); continue; /* backtrack one step */
2210 : }
2211 1195722 : dist = typ(Ppc) == t_REAL? divrr(Pc, Ppc): divri(Pc, Ppc);
2212 1195969 : rc = subrr(rc, dist);
2213 1195485 : if (cmprr(ra, rc) > 0 || cmprr(rb, rc) < 0)
2214 : {
2215 0 : if (cprec >= PREC) break;
2216 0 : cprec = minss(2*cprec, PREC);
2217 0 : rc = rtor(rcold, cprec); continue; /* backtrack one step */
2218 : }
2219 1195920 : if (expoold == LONG_MAX) { expoold = expo(dist); continue; }
2220 975479 : exponew = expo(dist);
2221 975479 : if (exponew < -bitprec - 1)
2222 : {
2223 232398 : if (cprec >= PREC) break;
2224 65759 : cprec = minss(2*cprec, PREC);
2225 65761 : rc = rtor(rc, cprec); continue;
2226 : }
2227 743081 : if (exponew > expoold - 2)
2228 : {
2229 53814 : if (cprec >= PREC) break;
2230 53814 : expoold = LONG_MAX;
2231 53814 : cprec = minss(2*cprec, PREC);
2232 53816 : rc = rtor(rc, cprec); continue;
2233 : }
2234 689267 : expoold = exponew;
2235 : }
2236 166639 : return rtor(rc, prec);
2237 : }
2238 :
2239 : /* Return primpart(P(x / 2)) */
2240 : static GEN
2241 2233600 : ZX_rescale2prim(GEN P)
2242 : {
2243 2233600 : long i, l = lg(P), v, n;
2244 : GEN Q;
2245 2233600 : if (l==2) return pol_0(varn(P));
2246 2233600 : Q = cgetg(l,t_POL); v = vali(gel(P,l-1));
2247 10776708 : for (i = l-2, n = 1; v > n && i >= 2; i--, n++)
2248 8543064 : v = minss(v, vali(gel(P,i)) + n);
2249 2233644 : gel(Q,l-1) = v? shifti(gel(P,l-1), -v): gel(P,l-1);
2250 12720375 : for (i = l-2, n = 1-v; i >= 2; i--, n++)
2251 10486814 : gel(Q,i) = shifti(gel(P,i), n);
2252 2233561 : Q[1] = P[1]; return Q;
2253 : }
2254 :
2255 : /* assume Q0 has no rational root */
2256 : static GEN
2257 1125908 : usp(GEN Q0, long flag, long bitprec)
2258 : {
2259 1125908 : const pari_sp av = avma;
2260 : GEN Qremapped, Q, c, Lc, Lk, sol;
2261 1125908 : GEN *pQremapped = flag == 1? &Qremapped: NULL;
2262 1125908 : const long prec = nbits2prec(bitprec), deg = degpol(Q0);
2263 1125906 : long listsize = 64, nbr = 0, nb_todo, ind, indf, i, k, nb;
2264 :
2265 1125906 : sol = zerocol(deg);
2266 1125934 : Lc = zerovec(listsize);
2267 1125954 : Lk = cgetg(listsize+1, t_VECSMALL);
2268 1125952 : k = Lk[1] = 0;
2269 1125952 : ind = 1; indf = 2;
2270 1125952 : Q = Q0;
2271 1125952 : c = gen_0;
2272 1125952 : nb_todo = 1;
2273 7115622 : while (nb_todo)
2274 : {
2275 5989714 : GEN nc = gel(Lc, ind);
2276 : pari_sp av2;
2277 5989714 : if (Lk[ind] == k + 1)
2278 : {
2279 2233601 : Q = Q0 = ZX_rescale2prim(Q0);
2280 2233585 : c = gen_0;
2281 : }
2282 5989698 : if (!equalii(nc, c)) Q = ZX_Z_translate(Q, subii(nc, c));
2283 5989733 : av2 = avma;
2284 5989733 : k = Lk[ind];
2285 5989733 : ind++;
2286 5989733 : c = nc;
2287 5989733 : nb_todo--;
2288 5989733 : nb = X2XP1(Q, pQremapped);
2289 :
2290 5989504 : if (nb == 1)
2291 : { /* exactly one root */
2292 1911023 : GEN s = gen_0;
2293 1911023 : if (flag == 0)
2294 : {
2295 0 : s = mkvec2(gmul2n(c,-k), gmul2n(addiu(c,1),-k));
2296 0 : s = gc_GEN(av2, s);
2297 : }
2298 1911023 : else if (flag == 1) /* Caveat: Qremapped is the reciprocal polynomial */
2299 : {
2300 166640 : s = polsolve(*pQremapped, bitprec+1);
2301 166642 : s = addir(c, divrr(s, addsr(1, s)));
2302 166639 : shiftr_inplace(s, -k);
2303 166638 : if (realprec(s) != prec) s = rtor(s, prec);
2304 166641 : s = gc_upto(av2, s);
2305 : }
2306 1744383 : else set_avma(av2);
2307 1911035 : gel(sol, ++nbr) = s;
2308 : }
2309 4078481 : else if (nb)
2310 : { /* unknown, add two nodes to refine */
2311 2431981 : if (indf + 2 > listsize)
2312 : {
2313 1788 : if (ind>1)
2314 : {
2315 5297 : for (i = ind; i < indf; i++)
2316 : {
2317 3509 : gel(Lc, i-ind+1) = gel(Lc, i);
2318 3509 : Lk[i-ind+1] = Lk[i];
2319 : }
2320 1788 : indf -= ind-1;
2321 1788 : ind = 1;
2322 : }
2323 1788 : if (indf + 2 > listsize)
2324 : {
2325 0 : listsize *= 2;
2326 0 : Lc = vec_lengthen(Lc, listsize);
2327 0 : Lk = vecsmall_lengthen(Lk, listsize);
2328 : }
2329 112711 : for (i = indf; i <= listsize; i++) gel(Lc, i) = gen_0;
2330 : }
2331 2431981 : gel(Lc, indf) = nc = shifti(c, 1);
2332 2431976 : gel(Lc, indf + 1) = addiu(nc, 1);
2333 2431993 : Lk[indf] = Lk[indf + 1] = k + 1;
2334 2431993 : indf += 2;
2335 2431993 : nb_todo += 2;
2336 : }
2337 5989528 : if (gc_needed(av, 2))
2338 : {
2339 0 : (void)gc_all(av, 6, &Q0, &Q, &c, &Lc, &Lk, &sol);
2340 0 : if (DEBUGMEM > 1) pari_warn(warnmem, "ZX_Uspensky", avma);
2341 : }
2342 : }
2343 1125908 : setlg(sol, nbr+1);
2344 1125912 : return gc_GEN(av, sol);
2345 : }
2346 :
2347 : static GEN
2348 14 : ZX_Uspensky_equal_yes(GEN a, long flag, long bit)
2349 : {
2350 14 : if (flag == 2) return gen_1;
2351 7 : if (flag == 1 && typ(a) != t_REAL)
2352 : {
2353 7 : if (typ(a) == t_INT && !signe(a))
2354 0 : a = real_0_bit(bit);
2355 : else
2356 7 : a = gtofp(a, nbits2prec(bit));
2357 : }
2358 7 : return mkcol(a);
2359 : }
2360 : static GEN
2361 21 : ZX_Uspensky_no(long flag)
2362 21 : { return flag <= 1 ? cgetg(1, t_COL) : gen_0; }
2363 : /* ZX_Uspensky(P, [a,a], flag) */
2364 : static GEN
2365 28 : ZX_Uspensky_equal(GEN P, GEN a, long flag, long bit)
2366 : {
2367 28 : if (typ(a) != t_INFINITY && gequal0(poleval(P, a)))
2368 14 : return ZX_Uspensky_equal_yes(a, flag, bit);
2369 : else
2370 14 : return ZX_Uspensky_no(flag);
2371 : }
2372 : static int
2373 3378 : sol_ok(GEN r, GEN a, GEN b) { return gcmp(a, r) <= 0 && gcmp(r, b) <= 0; }
2374 :
2375 : /* P a ZX without real double roots; better if primitive and squarefree but
2376 : * caller should ensure that. If flag & 4 assume that P has no rational root
2377 : * (modest speedup) */
2378 : GEN
2379 1313793 : ZX_Uspensky(GEN P, GEN ab, long flag, long bitprec)
2380 : {
2381 1313793 : pari_sp av = avma;
2382 : GEN a, b, res, sol;
2383 : double fb;
2384 : long l, nbz, deg;
2385 :
2386 1313793 : if (ab)
2387 : {
2388 1206211 : if (typ(ab) == t_VEC)
2389 : {
2390 1178519 : if (lg(ab) != 3) pari_err_DIM("ZX_Uspensky");
2391 1178519 : a = gel(ab, 1);
2392 1178519 : b = gel(ab, 2);
2393 : }
2394 : else
2395 : {
2396 27692 : a = ab;
2397 27692 : b = mkoo();
2398 : }
2399 : }
2400 : else
2401 : {
2402 107582 : a = mkmoo();
2403 107582 : b = mkoo();
2404 : }
2405 1313793 : if (flag & 4)
2406 : {
2407 129320 : if (gcmp(a, b) >= 0) { set_avma(av); return ZX_Uspensky_no(flag); }
2408 129320 : flag &= ~4;
2409 129320 : sol = cgetg(1, t_COL);
2410 : }
2411 : else
2412 : {
2413 1184473 : switch (gcmp(a, b))
2414 : {
2415 7 : case 1: set_avma(av); return ZX_Uspensky_no(flag);
2416 28 : case 0: return gc_GEN(av, ZX_Uspensky_equal(P, a, flag, bitprec));
2417 : }
2418 1184438 : sol = nfrootsQ(P);
2419 : }
2420 1313761 : nbz = 0; l = lg(sol);
2421 1313761 : if (l > 1)
2422 : {
2423 : long i, j;
2424 2706 : P = RgX_div(P, roots_to_pol(sol, varn(P)));
2425 2706 : if (!RgV_is_ZV(sol)) P = Q_primpart(P);
2426 6084 : for (i = j = 1; i < l; i++)
2427 3378 : if (sol_ok(gel(sol,i), a, b)) gel(sol,j++) = gel(sol,i);
2428 2706 : setlg(sol, j);
2429 2706 : if (flag == 2) { nbz = j-1; sol = utoi(nbz); }
2430 2559 : else if (flag == 1) sol = RgC_gtofp(sol, nbits2prec(bitprec));
2431 : }
2432 1311055 : else if (flag == 2) sol = gen_0;
2433 1313761 : deg = degpol(P);
2434 1313761 : if (deg == 0) return gc_GEN(av, sol);
2435 1311814 : if (typ(a) == t_INFINITY && typ(b) != t_INFINITY && gsigne(b))
2436 : {
2437 28 : fb = fujiwara_bound_real(P, -1);
2438 28 : if (fb <= -pariINFINITY) a = gen_0;
2439 21 : else if (fb < 0) a = gen_m1;
2440 21 : else a = negi(int2n((long)ceil(fb)));
2441 : }
2442 1311814 : if (typ(b) == t_INFINITY && typ(a) != t_INFINITY && gsigne(a))
2443 : {
2444 21 : fb = fujiwara_bound_real(P, 1);
2445 21 : if (fb <= -pariINFINITY) b = gen_0;
2446 21 : else if (fb < 0) b = gen_1;
2447 7 : else b = int2n((long)ceil(fb));
2448 : }
2449 1311814 : if (typ(a) != t_INFINITY && typ(b) != t_INFINITY)
2450 : {
2451 : GEN d, ad, bd, diff;
2452 : long i;
2453 : /* can occur if one of a,b was initially a t_INFINITY */
2454 12582 : if (gequal(a,b)) return gc_GEN(av, sol);
2455 12575 : d = lcmii(Q_denom(a), Q_denom(b));
2456 12575 : if (is_pm1(d)) { d = NULL; ad = a; bd = b; }
2457 : else
2458 14 : { P = ZX_rescale(P, d); ad = gmul(a, d); bd = gmul(b, d); }
2459 12575 : diff = subii(bd, ad);
2460 12575 : P = ZX_affine(P, diff, ad);
2461 12575 : res = usp(P, flag, bitprec);
2462 12575 : if (flag <= 1)
2463 : {
2464 34176 : for (i = 1; i < lg(res); i++)
2465 : {
2466 21916 : GEN z = gmul(diff, gel(res, i));
2467 21916 : if (typ(z) == t_VEC)
2468 : {
2469 0 : gel(z, 1) = gadd(ad, gel(z, 1));
2470 0 : gel(z, 2) = gadd(ad, gel(z, 2));
2471 : }
2472 : else
2473 21916 : z = gadd(ad, z);
2474 21916 : if (d) z = gdiv(z, d);
2475 21916 : gel(res, i) = z;
2476 : }
2477 12260 : sol = shallowconcat(sol, res);
2478 : }
2479 : else
2480 315 : nbz += lg(res) - 1;
2481 : }
2482 1311807 : if (typ(b) == t_INFINITY && (fb=fujiwara_bound_real(P, 1)) > -pariINFINITY)
2483 : {
2484 1022997 : long bp = maxss((long)ceil(fb), 0);
2485 1022997 : res = usp(ZX_unscale2n(P, bp), flag, bitprec);
2486 1023008 : if (flag <= 1)
2487 71241 : sol = shallowconcat(sol, gmul2n(res, bp));
2488 : else
2489 951767 : nbz += lg(res)-1;
2490 : }
2491 1311816 : if (typ(a) == t_INFINITY && (fb=fujiwara_bound_real(P,-1)) > -pariINFINITY)
2492 : {
2493 90367 : long i, bm = maxss((long)ceil(fb), 0);
2494 90367 : res = usp(ZX_unscale2n(ZX_z_unscale(P, -1), bm), flag, bitprec);
2495 90371 : if (flag <= 1)
2496 : {
2497 75627 : for (i = 1; i < lg(res); i++)
2498 : {
2499 47406 : GEN z = gneg(gmul2n(gel(res, i), bm));
2500 47406 : if (typ(z) == t_VEC) swap(gel(z, 1), gel(z, 2));
2501 47406 : gel(res, i) = z;
2502 : }
2503 28221 : sol = shallowconcat(res, sol);
2504 : }
2505 : else
2506 62150 : nbz += lg(res)-1;
2507 : }
2508 1311816 : if (flag >= 2) return utoi(nbz);
2509 83585 : if (flag)
2510 83585 : sol = sort(sol);
2511 : else
2512 0 : sol = gen_sort(sol, (void *)_intervalcmp, cmp_nodata);
2513 83585 : return gc_upto(av, sol);
2514 : }
2515 :
2516 : /* x a scalar */
2517 : static GEN
2518 42 : rootsdeg0(GEN x)
2519 : {
2520 42 : if (!is_real_t(typ(x))) pari_err_TYPE("realroots",x);
2521 35 : if (gequal0(x)) pari_err_ROOTS0("realroots");
2522 14 : return cgetg(1,t_COL); /* constant polynomial */
2523 : }
2524 : static void
2525 2354752 : checkbound(GEN a)
2526 : {
2527 2354752 : switch(typ(a))
2528 : {
2529 2354754 : case t_INT: case t_FRAC: case t_INFINITY: break;
2530 0 : default: pari_err_TYPE("polrealroots", a);
2531 : }
2532 2354754 : }
2533 : static GEN
2534 1178811 : check_ab(GEN ab)
2535 : {
2536 : GEN a, b;
2537 1178811 : if (!ab) return NULL;
2538 1177376 : if (typ(ab) != t_VEC || lg(ab) != 3) pari_err_TYPE("polrootsreal",ab);
2539 1177376 : a = gel(ab,1); checkbound(a);
2540 1177377 : b = gel(ab,2); checkbound(b);
2541 1177377 : if (typ(a) == t_INFINITY && inf_get_sign(a) < 0 &&
2542 448 : typ(b) == t_INFINITY && inf_get_sign(b) > 0) ab = NULL;
2543 1177377 : return ab;
2544 : }
2545 : /* e^(1/h) assuming the h-th root is real, beware that sqrtnr assumes e >= 0 */
2546 : static GEN
2547 22709 : _sqrtnr(GEN e, long h)
2548 : {
2549 : long s;
2550 : GEN r;
2551 22709 : if (h == 2) return sqrtr(e);
2552 14 : s = signe(e); setsigne(e, 1); /* e < 0 is possible, implies h is odd */
2553 14 : r = sqrtnr(e, h); if (s < 0) setsigne(r, -1);
2554 14 : return r;
2555 : }
2556 : GEN
2557 50627 : realroots(GEN P, GEN ab, long prec)
2558 : {
2559 50627 : pari_sp av = avma;
2560 50627 : GEN sol = NULL, fa, ex;
2561 : long i, j, v, l;
2562 :
2563 50627 : ab = check_ab(ab);
2564 50627 : if (typ(P) != t_POL) return rootsdeg0(P);
2565 50606 : if (!RgX_is_ZX(P)) P = RgX_rescale_to_int(P);
2566 50606 : switch(degpol(P))
2567 : {
2568 14 : case -1: return rootsdeg0(gen_0);
2569 7 : case 0: return rootsdeg0(gel(P,2));
2570 : }
2571 50585 : v = ZX_valrem(Q_primpart(P), &P);
2572 50585 : fa = ZX_squff(P, &ex); l = lg(fa); sol = cgetg(l + 1, t_VEC);
2573 102711 : for (i = 1; i < l; i++)
2574 : {
2575 52126 : GEN Pi = gel(fa, i), soli, soli2;
2576 : long n, h;
2577 52126 : if (ab) h = 1; else Pi = ZX_deflate_max(Pi, &h);
2578 52126 : soli = ZX_Uspensky(Pi, odd(h)? ab: gen_0, 1, prec2nbits(prec));
2579 52126 : n = lg(soli); soli2 = odd(h)? NULL: cgetg(n, t_COL);
2580 119122 : for (j = 1; j < n; j++)
2581 : {
2582 66996 : GEN r = gel(soli, j); /* != 0 */
2583 66996 : if (typ(r) != t_REAL) gel(soli, j) = r = gtofp(r, prec);
2584 66996 : if (h > 1)
2585 : {
2586 77 : gel(soli, j) = r = _sqrtnr(r, h);
2587 77 : if (soli2) gel(soli2, j) = negr(r);
2588 : }
2589 : }
2590 52126 : if (soli2) soli = shallowconcat(soli, soli2);
2591 52126 : if (ex[i] > 1) soli = shallowconcat1( const_vec(ex[i], soli) );
2592 52126 : gel(sol, i) = soli;
2593 : }
2594 50585 : if (v && (!ab || (gsigne(gel(ab,1)) <= 0 && gsigne(gel(ab,2)) >= 0)))
2595 84 : gel(sol, i++) = const_col(v, real_0(prec));
2596 50585 : setlg(sol, i); if (i == 1) retgc_const(av, cgetg(1, t_COL));
2597 50571 : return gc_upto(av, sort(shallowconcat1(sol)));
2598 : }
2599 : GEN
2600 48624 : ZX_realroots_irred(GEN P, long prec)
2601 : {
2602 48624 : long dP = degpol(P), j, n, h;
2603 : GEN sol, sol2;
2604 : pari_sp av;
2605 48624 : if (dP == 1) retmkvec(ZX_deg1root(P, prec));
2606 45316 : av = avma; P = ZX_deflate_max(P, &h);
2607 45316 : if (h == dP)
2608 : {
2609 11966 : GEN r = _sqrtnr(ZX_deg1root(P, prec), h);
2610 11967 : return gc_GEN(av, odd(h)? mkvec(r): mkvec2(negr(r), r));
2611 : }
2612 33350 : sol = ZX_Uspensky(P, odd(h)? NULL: gen_0, 1 | 4, prec2nbits(prec));
2613 33350 : n = lg(sol); sol2 = odd(h)? NULL: cgetg(n, t_COL);
2614 133755 : for (j = 1; j < n; j++)
2615 : {
2616 100405 : GEN r = gel(sol, j);
2617 100405 : if (typ(r) != t_REAL) gel(sol, j) = r = gtofp(r, prec);
2618 100405 : if (h > 1)
2619 : {
2620 10666 : gel(sol, j) = r = _sqrtnr(r, h);
2621 10666 : if (sol2) gel(sol2, j) = negr(r);
2622 : }
2623 : }
2624 33350 : if (sol2) sol = shallowconcat(sol, sol2);
2625 33350 : return gc_upto(av, sort(sol));
2626 : }
2627 :
2628 : static long
2629 123156 : ZX_sturm_i(GEN P, long flag)
2630 : {
2631 : pari_sp av;
2632 123156 : long h, r, dP = degpol(P);
2633 123157 : if (dP == 1) return 1;
2634 119815 : av = avma; P = ZX_deflate_max(P, &h);
2635 119814 : if (h == dP)
2636 : { /* now deg P = 1 */
2637 18274 : if (odd(h))
2638 665 : r = 1;
2639 : else
2640 17609 : r = (signe(gel(P,2)) != signe(gel(P,3)))? 2: 0;
2641 18274 : return gc_long(av, r);
2642 : }
2643 101540 : if (odd(h))
2644 78767 : r = itou(ZX_Uspensky(P, NULL, flag, 0));
2645 : else
2646 22773 : r = 2*itou(ZX_Uspensky(P, gen_0, flag, 0));
2647 101540 : return gc_long(av,r);
2648 : }
2649 : /* P nonconstant, squarefree ZX */
2650 : long
2651 1128185 : ZX_sturmpart(GEN P, GEN ab)
2652 : {
2653 1128185 : pari_sp av = avma;
2654 1128185 : if (!check_ab(ab)) return ZX_sturm(P);
2655 1126778 : return gc_long(av, itou(ZX_Uspensky(P, ab, 2, 0)));
2656 : }
2657 : /* P nonconstant, squarefree ZX */
2658 : long
2659 6395 : ZX_sturm(GEN P) { return ZX_sturm_i(P, 2); }
2660 : /* P irreducible ZX */
2661 : long
2662 116761 : ZX_sturm_irred(GEN P) { return ZX_sturm_i(P, 2 + 4); }
|
