Code coverage tests

This page documents the degree to which the PARI/GP source code is tested by our public test suite, distributed with the source distribution in directory src/test/. This is measured by the gcov utility; we then process gcov output using the lcov frond-end.

We test a few variants depending on Configure flags on the pari.math.u-bordeaux1.fr machine (x86_64 architecture), and agregate them in the final report:

The target is 90% coverage for all mathematical modules (given that branches depending on DEBUGLEVEL or DEBUGMEM are not covered). This script is run to produce the results below.

LCOV - code coverage report
Current view: top level - basemath - FpX_factor.c (source / functions) Hit Total Coverage
Test: PARI/GP v2.8.0 lcov report (development 16358-a11f489) Lines: 1562 1667 93.7 %
Date: 2014-04-11 Functions: 142 151 94.0 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 845 1095 77.2 %

           Branch data     Line data    Source code
       1                 :            : /* Copyright (C) 2012  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. It is distributed in the hope that it will be useful, but WITHOUT
       8                 :            : ANY WARRANTY WHATSOEVER.
       9                 :            : 
      10                 :            : Check the License for details. You should have received a copy of it, along
      11                 :            : with the package; see the file 'COPYING'. If not, write to the Free Software
      12                 :            : Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. */
      13                 :            : 
      14                 :            : #include "pari.h"
      15                 :            : #include "paripriv.h"
      16                 :            : 
      17                 :            : /***********************************************************************/
      18                 :            : /**                                                                   **/
      19                 :            : /**               Factorisation over finite field                     **/
      20                 :            : /**                                                                   **/
      21                 :            : /***********************************************************************/
      22                 :            : 
      23                 :            : /*******************************************************************/
      24                 :            : /*                                                                 */
      25                 :            : /*           ROOTS MODULO a prime p (no multiplicities)            */
      26                 :            : /*                                                                 */
      27                 :            : /*******************************************************************/
      28                 :            : /* Check types and replace F by a monic normalized FpX having the same roots
      29                 :            :  * Don't bother to make constant polynomials monic */
      30                 :            : static void
      31                 :        175 : factmod_init(GEN *F, GEN p)
      32                 :            : {
      33         [ -  + ]:        175 :   if (typ(p)!=t_INT) pari_err_TYPE("factmod",p);
      34         [ -  + ]:        175 :   if (signe(p) < 0) pari_err_PRIME("factmod",p);
      35         [ -  + ]:        175 :   if (typ(*F)!=t_POL) pari_err_TYPE("factmod",*F);
      36         [ +  + ]:        175 :   if (lgefint(p) == 3)
      37                 :            :   {
      38                 :        110 :     ulong pp = p[2];
      39         [ -  + ]:        110 :     if (pp < 2) pari_err_PRIME("factmod", p);
      40                 :        110 :     *F = RgX_to_Flx(*F, pp);
      41         [ +  + ]:        110 :     if (lg(*F) > 3) *F = Flx_normalize(*F, pp);
      42                 :            :   }
      43                 :            :   else
      44                 :            :   {
      45                 :         65 :     *F = RgX_to_FpX(*F, p);
      46         [ +  + ]:         65 :     if (lg(*F) > 3) *F = FpX_normalize(*F, p);
      47                 :            :   }
      48                 :        175 : }
      49                 :            : /* as above, assume p prime and *F a ZX */
      50                 :            : static void
      51                 :     341130 : ZX_factmod_init(GEN *F, GEN p)
      52                 :            : {
      53         [ +  + ]:     341130 :   if (lgefint(p) == 3)
      54                 :            :   {
      55                 :     338252 :     ulong pp = p[2];
      56                 :     338252 :     *F = ZX_to_Flx(*F, pp);
      57         [ +  + ]:     338252 :     if (lg(*F) > 3) *F = Flx_normalize(*F, pp);
      58                 :            :   }
      59                 :            :   else
      60                 :            :   {
      61                 :       2878 :     *F = FpX_red(*F, p);
      62         [ +  + ]:       2878 :     if (lg(*F) > 3) *F = FpX_normalize(*F, p);
      63                 :            :   }
      64                 :     341130 : }
      65                 :            : 
      66                 :            : /* return 1,...,p-1 [not_0 = 1] or 0,...,p [not_0 = 0] */
      67                 :            : static GEN
      68                 :        439 : all_roots_mod_p(ulong p, int not_0)
      69                 :            : {
      70                 :            :   GEN r;
      71                 :            :   ulong i;
      72         [ +  + ]:        439 :   if (not_0) {
      73                 :        414 :     r = cgetg(p, t_VECSMALL);
      74         [ +  + ]:       1242 :     for (i = 1; i < p; i++) r[i] = i;
      75                 :            :   } else {
      76                 :         25 :     r = cgetg(p+1, t_VECSMALL);
      77         [ +  + ]:        120 :     for (i = 0; i < p; i++) r[i+1] = i;
      78                 :            :   }
      79                 :        439 :   return r;
      80                 :            : }
      81                 :            : 
      82                 :            : /* X^n - 1 */
      83                 :            : static GEN
      84                 :         57 : Flx_Xnm1(long sv, long n, ulong p)
      85                 :            : {
      86                 :         57 :   GEN t = cgetg(n+3, t_VECSMALL);
      87                 :            :   long i;
      88                 :         57 :   t[1] = sv;
      89                 :         57 :   t[2] = p - 1;
      90         [ +  + ]:        216 :   for (i = 3; i <= n+1; i++) t[i] = 0;
      91                 :         57 :   t[i] = 1; return t;
      92                 :            : }
      93                 :            : /* X^n + 1 */
      94                 :            : static GEN
      95                 :         52 : Flx_Xn1(long sv, long n, ulong p)
      96                 :            : {
      97                 :         52 :   GEN t = cgetg(n+3, t_VECSMALL);
      98                 :            :   long i;
      99                 :            :   (void) p;
     100                 :         52 :   t[1] = sv;
     101                 :         52 :   t[2] = 1;
     102         [ +  + ]:        196 :   for (i = 3; i <= n+1; i++) t[i] = 0;
     103                 :         52 :   t[i] = 1; return t;
     104                 :            : }
     105                 :            : 
     106                 :            : static ulong
     107                 :          4 : Fl_nonsquare(ulong p)
     108                 :            : {
     109                 :          4 :   long k = 2;
     110                 :          4 :   for (;; k++)
     111                 :            :   {
     112                 :          8 :     long i = krouu(k, p);
     113         [ -  + ]:          8 :     if (!i) pari_err_PRIME("Fl_nonsquare",utoipos(p));
     114         [ +  + ]:          8 :     if (i < 0) return k;
     115                 :          4 :   }
     116                 :            : }
     117                 :            : 
     118                 :            : /* f monic Flx, f(0) != 0. Return a monic squarefree g with the same
     119                 :            :  * roots as f */
     120                 :            : static GEN
     121                 :         10 : Flx_cut_out_roots(GEN f, ulong p)
     122                 :            : {
     123                 :         10 :   GEN g = Flx_mod_Xnm1(f, p-1, p); /* f mod x^(p-1) - 1 */
     124 [ +  + ][ +  - ]:         10 :   if (g != f && degpol(g) >= 0) {
     125                 :          5 :     (void)Flx_valrem(g, &g); /* reduction may introduce 0 root */
     126                 :          5 :     g = Flx_gcd(g, Flx_Xnm1(g[1], p-1, p), p);
     127                 :          5 :     g = Flx_normalize(g, p);
     128                 :            :   }
     129                 :         10 :   return g;
     130                 :            : }
     131                 :            : 
     132                 :            : /* by checking f(0..p-1) */
     133                 :            : GEN
     134                 :         10 : Flx_roots_naive(GEN f, ulong p)
     135                 :            : {
     136                 :         10 :   long d, n = 0;
     137                 :         10 :   ulong s = 1UL, r;
     138                 :         10 :   GEN q, y = cgetg(degpol(f) + 1, t_VECSMALL);
     139                 :         10 :   pari_sp av2, av = avma;
     140                 :            : 
     141         [ -  + ]:         10 :   if (Flx_valrem(f, &f)) y[++n] = 0;
     142                 :         10 :   f = Flx_cut_out_roots(f, p);
     143                 :         10 :   d = degpol(f);
     144         [ -  + ]:         10 :   if (d < 0) return all_roots_mod_p(p, n == 0);
     145                 :         10 :   av2 = avma;
     146         [ +  + ]:        210 :   while (d > 1) /* d = current degree of f */
     147                 :            :   {
     148                 :        205 :     q = Flx_div_by_X_x(f, s, p, &r); /* TODO: FFT-type multi-evaluation */
     149         [ +  + ]:        205 :     if (r) avma = av2; else { y[++n] = s; d--; f = q; av2 = avma; }
     150         [ +  + ]:        205 :     if (++s == p) break;
     151                 :            :   }
     152         [ +  + ]:         10 :   if (d == 1)
     153                 :            :   { /* -f[2]/f[3], root of deg 1 polynomial */
     154                 :          5 :     r = Fl_mul(p - Fl_inv(f[3], p), f[2], p);
     155         [ +  - ]:          5 :     if (r >= s) y[++n] = r; /* otherwise double root */
     156                 :            :   }
     157                 :         10 :   avma = av; fixlg(y, n+1); return y;
     158                 :            : }
     159                 :            : static GEN
     160                 :       4064 : Flx_root_mod_2(GEN f)
     161                 :            : {
     162                 :       4064 :   int z1, z0 = !(f[2] & 1);
     163                 :            :   long i,n;
     164                 :            :   GEN y;
     165                 :            : 
     166         [ +  + ]:      16856 :   for (i=2, n=1; i < lg(f); i++) n += f[i];
     167                 :       4064 :   z1 = n & 1;
     168                 :       4064 :   y = cgetg(z0+z1+1, t_VECSMALL); i = 1;
     169         [ +  + ]:       4064 :   if (z0) y[i++] = 0;
     170         [ +  - ]:       4064 :   if (z1) y[i  ] = 1;
     171                 :       4064 :   return y;
     172                 :            : }
     173                 :            : static ulong
     174                 :         10 : Flx_oneroot_mod_2(GEN f)
     175                 :            : {
     176                 :            :   long i,n;
     177         [ -  + ]:         10 :   if (!(f[2] & 1)) return 0;
     178         [ +  + ]:         40 :   for (i=2, n=1; i < lg(f); i++) n += f[i];
     179         [ +  + ]:         10 :   if (n & 1) return 1;
     180                 :         10 :   return 2;
     181                 :            : }
     182                 :            : 
     183                 :            : static GEN FpX_roots_i(GEN f, GEN p);
     184                 :            : static GEN Flx_roots_i(GEN f, ulong p);
     185                 :            : static GEN FpX_Berlekamp_i(GEN f, GEN pp, long flag);
     186                 :            : 
     187                 :            : /* Generic driver to computes the roots of f modulo pp, using 'Roots' when
     188                 :            :  * pp is a small prime.
     189                 :            :  * if (gpwrap), check types thoroughly and return t_INTMODs, otherwise
     190                 :            :  * assume that f is an FpX, pp a prime and return t_INTs */
     191                 :            : static GEN
     192                 :      13252 : rootmod_aux(GEN f, GEN pp, GEN (*Roots)(GEN,ulong), int gpwrap)
     193                 :            : {
     194                 :      13252 :   pari_sp av = avma;
     195                 :            :   GEN y;
     196         [ +  + ]:      13252 :   if (gpwrap)
     197                 :         55 :     factmod_init(&f, pp);
     198                 :            :   else
     199                 :      13197 :     ZX_factmod_init(&f, pp);
     200      [ +  +  + ]:      13252 :   switch(lg(f))
     201                 :            :   {
     202                 :         10 :     case 2: pari_err_ROOTS0("rootmod");
     203                 :         25 :     case 3: avma = av; return cgetg(1,t_COL);
     204                 :            :   }
     205         [ +  + ]:      13217 :   if (typ(f) == t_VECSMALL)
     206                 :            :   {
     207                 :      11918 :     ulong p = pp[2];
     208         [ +  + ]:      11918 :     if (p == 2)
     209                 :       3589 :       y = Flx_root_mod_2(f);
     210                 :            :     else
     211                 :            :     {
     212         [ -  + ]:       8329 :       if (!odd(p)) pari_err_PRIME("rootmod",utoi(p));
     213                 :       8329 :       y = Roots(f, p);
     214                 :            :     }
     215                 :      11918 :     y = Flc_to_ZC(y);
     216                 :            :   }
     217                 :            :   else
     218                 :       1299 :     y = FpX_roots_i(f, pp);
     219         [ +  + ]:      13217 :   if (gpwrap) y = FpC_to_mod(y, pp);
     220                 :      13242 :   return gerepileupto(av, y);
     221                 :            : }
     222                 :            : /* assume that f is a ZX an pp a prime */
     223                 :            : GEN
     224                 :      13197 : FpX_roots(GEN f, GEN pp)
     225                 :      13197 : { return rootmod_aux(f, pp, Flx_roots_i, 0); }
     226                 :            : /* no assumptions on f and pp */
     227                 :            : GEN
     228                 :         10 : rootmod2(GEN f, GEN pp) { return rootmod_aux(f, pp, &Flx_roots_naive, 1); }
     229                 :            : GEN
     230                 :         45 : rootmod(GEN f, GEN pp) { return rootmod_aux(f, pp, &Flx_roots_i, 1); }
     231                 :            : GEN
     232                 :         50 : rootmod0(GEN f, GEN p, long flag)
     233                 :            : {
     234      [ +  +  - ]:         50 :   switch(flag)
     235                 :            :   {
     236                 :         40 :     case 0: return rootmod(f,p);
     237                 :         10 :     case 1: return rootmod2(f,p);
     238                 :          0 :     default: pari_err_FLAG("polrootsmod");
     239                 :            :   }
     240                 :         40 :   return NULL; /* not reached */
     241                 :            : }
     242                 :            : 
     243                 :            : /* assume x reduced mod p > 2, monic. */
     244                 :            : static int
     245                 :         15 : FpX_quad_factortype(GEN x, GEN p)
     246                 :            : {
     247                 :         15 :   GEN b = gel(x,3), c = gel(x,2);
     248                 :         15 :   GEN D = subii(sqri(b), shifti(c,2));
     249                 :         15 :   return kronecker(D,p);
     250                 :            : }
     251                 :            : /* assume x reduced mod p, monic. Return one root, or NULL if irreducible */
     252                 :            : GEN
     253                 :       2885 : FpX_quad_root(GEN x, GEN p, int unknown)
     254                 :            : {
     255                 :       2885 :   GEN s, D, b = gel(x,3), c = gel(x,2);
     256                 :            : 
     257         [ -  + ]:       2885 :   if (equaliu(p, 2)) {
     258         [ #  # ]:          0 :     if (!signe(b)) return c;
     259         [ #  # ]:          0 :     return signe(c)? NULL: gen_1;
     260                 :            :   }
     261                 :       2885 :   D = subii(sqri(b), shifti(c,2));
     262                 :       2885 :   D = remii(D,p);
     263 [ +  + ][ +  + ]:       2885 :   if (unknown && kronecker(D,p) == -1) return NULL;
     264                 :            : 
     265                 :       2879 :   s = Fp_sqrt(D,p);
     266                 :            :   /* p is not prime, go on and give e.g. maxord a chance to recover */
     267         [ +  + ]:       2879 :   if (!s) return NULL;
     268                 :       2885 :   return Fp_halve(subii(s,b), p);
     269                 :            : }
     270                 :            : static GEN
     271                 :       1356 : FpX_otherroot(GEN x, GEN r, GEN p)
     272                 :            : {
     273                 :       1356 :   GEN s = addii(gel(x,3), r);
     274         [ -  + ]:       1356 :   if (!signe(s)) return s;
     275         [ +  + ]:       1356 :   s = subii(p, s); if (signe(s) < 0) s = addii(s,p);
     276                 :       1356 :   return s;
     277                 :            : }
     278                 :            : 
     279                 :            : /* disc(x^2+bx+c) = b^2 - 4c */
     280                 :            : static ulong
     281                 :     167646 : Fl_disc_bc(ulong b, ulong c, ulong p)
     282                 :     167646 : { return Fl_sub(Fl_sqr(b,p), Fl_double(Fl_double(c,p),p), p); }
     283                 :            : /* p > 2 */
     284                 :            : static ulong
     285                 :     148236 : Flx_quad_root(GEN x, ulong p, int unknown)
     286                 :            : {
     287                 :     148236 :   ulong s, b = x[3], c = x[2];
     288                 :     148236 :   ulong D = Fl_disc_bc(b, c, p);
     289 [ +  + ][ +  + ]:     148236 :   if (unknown && krouu(D,p) == -1) return p;
     290                 :     108228 :   s = Fl_sqrt(D,p);
     291         [ +  + ]:     108228 :   if (s==~0UL) return p;
     292                 :     148236 :   return Fl_halve(Fl_sub(s,b, p), p);
     293                 :            : }
     294                 :            : static ulong
     295                 :     107831 : Flx_otherroot(GEN x, ulong r, ulong p)
     296                 :     107831 : { return Fl_neg(Fl_add(x[3], r, p), p); }
     297                 :            : 
     298                 :            : 
     299                 :            : /* 'todo' contains the list of factors to be split.
     300                 :            :  * 'done' the list of finished factors, no longer touched */
     301                 :            : struct split_t { GEN todo, done; };
     302                 :            : static void
     303                 :      36428 : split_init(struct split_t *S, long max)
     304                 :            : {
     305                 :      36428 :   S->done = vectrunc_init(max);
     306                 :      36428 :   S->todo = vectrunc_init(max);
     307                 :      36428 : }
     308                 :            : #if 0
     309                 :            : /* move todo[i] to done */
     310                 :            : static void
     311                 :            : split_convert(struct split_t *S, long i)
     312                 :            : {
     313                 :            :   long n = lg(S->todo)-1;
     314                 :            :   vectrunc_append(S->done, gel(S->todo,i));
     315                 :            :   if (n) gel(S->todo,i) = gel(S->todo, n);
     316                 :            :   setlg(S->todo, n);
     317                 :            : }
     318                 :            : #endif
     319                 :            : /* append t to todo */
     320                 :            : static void
     321                 :      30413 : split_add(struct split_t *S, GEN t) { vectrunc_append(S->todo, t); }
     322                 :            : /* delete todo[i], add t to done */
     323                 :            : static void
     324                 :      30413 : split_moveto_done(struct split_t *S, long i, GEN t)
     325                 :            : {
     326                 :      30413 :   long n = lg(S->todo)-1;
     327                 :      30413 :   vectrunc_append(S->done, t);
     328         [ +  - ]:      30413 :   if (n) gel(S->todo,i) = gel(S->todo, n);
     329                 :      30413 :   setlg(S->todo, n);
     330                 :            : 
     331                 :      30413 : }
     332                 :            : /* append t to done */
     333                 :            : static void
     334                 :      24377 : split_add_done(struct split_t *S, GEN t)
     335                 :      24377 : { vectrunc_append(S->done, t); }
     336                 :            : /* split todo[i] into a and b */
     337                 :            : static void
     338                 :       6161 : split_todo(struct split_t *S, long i, GEN a, GEN b)
     339                 :            : {
     340                 :       6161 :   gel(S->todo, i) = a;
     341                 :       6161 :   split_add(S, b);
     342                 :       6161 : }
     343                 :            : /* split todo[i] into a and b, moved to done */
     344                 :            : static void
     345                 :      11341 : split_done(struct split_t *S, long i, GEN a, GEN b)
     346                 :            : {
     347                 :      11341 :   split_moveto_done(S, i, a);
     348                 :      11341 :   split_add_done(S, b);
     349                 :      11341 : }
     350                 :            : 
     351                 :            : /* by splitting, assume p > 2 prime, deg(f) > 0, and f monic */
     352                 :            : static GEN
     353                 :       1299 : FpX_roots_i(GEN f, GEN p)
     354                 :            : {
     355                 :            :   GEN pol, pol0, a, q;
     356                 :            :   struct split_t S;
     357                 :            : 
     358                 :       1299 :   split_init(&S, lg(f)-1);
     359                 :       1299 :   settyp(S.done, t_COL);
     360         [ +  + ]:       1299 :   if (ZX_valrem(f, &f)) split_add_done(&S, gen_0);
     361   [ +  +  +  + ]:       1299 :   switch(degpol(f))
     362                 :            :   {
     363                 :          5 :     case 0: return S.done;
     364                 :          5 :     case 1: split_add_done(&S, subii(p, gel(f,2))); return S.done;
     365                 :            :     case 2: {
     366                 :        684 :       GEN s, r = FpX_quad_root(f, p, 1);
     367         [ +  - ]:        684 :       if (r) {
     368                 :        684 :         split_add_done(&S, r);
     369                 :        684 :         s = FpX_otherroot(f,r, p);
     370                 :            :         /* f not known to be square free yet */
     371         [ +  - ]:        684 :         if (!equalii(r, s)) split_add_done(&S, s);
     372                 :            :       }
     373                 :        684 :       return sort(S.done);
     374                 :            :     }
     375                 :            :   }
     376                 :            : 
     377                 :        605 :   a = FpXQ_pow(pol_x(varn(f)), subiu(p,1), f,p);
     378         [ -  + ]:        605 :   if (lg(a) < 3) pari_err_PRIME("rootmod",p);
     379                 :        605 :   a = FpX_Fp_sub_shallow(a, gen_1, p); /* a = x^(p-1) - 1 mod f */
     380                 :        605 :   a = FpX_gcd(f,a, p);
     381         [ -  + ]:        605 :   if (!degpol(a)) return S.done;
     382                 :        605 :   split_add(&S, FpX_normalize(a,p));
     383                 :            : 
     384                 :        605 :   q = shifti(p,-1);
     385                 :        605 :   pol0 = icopy(gen_1); /* constant term, will vary in place */
     386                 :        605 :   pol = deg1pol_shallow(gen_1, pol0, varn(f));
     387                 :        605 :   for (pol0[2] = 1;; pol0[2]++)
     388                 :            :   {
     389                 :       1280 :     long j, l = lg(S.todo);
     390         [ +  + ]:       1280 :     if (l == 1) return sort(S.done);
     391 [ -  + ][ #  # ]:        675 :     if (pol0[2] == 100 && !BPSW_psp(p)) pari_err_PRIME("polrootsmod",p);
     392         [ +  + ]:       1415 :     for (j = 1; j < l; j++)
     393                 :            :     {
     394                 :        740 :       GEN c = gel(S.todo,j);
     395      [ +  +  + ]:        740 :       switch(degpol(c))
     396                 :            :       { /* convert linear and quadratics to roots, try to split the rest */
     397                 :            :         case 1:
     398                 :         40 :           split_moveto_done(&S, j, subii(p, gel(c,2)));
     399                 :         40 :           j--; l--; break;
     400                 :            :         case 2: {
     401                 :        630 :           GEN r = FpX_quad_root(c, p, 0), s = FpX_otherroot(c,r, p);
     402                 :        630 :           split_done(&S, j, r, s);
     403                 :        630 :           j--; l--; break;
     404                 :            :         }
     405                 :            :         default: {
     406                 :            :           /* b = pol^(p-1)/2 - 1 */
     407                 :         70 :           GEN b = FpX_Fp_sub_shallow(FpXQ_pow(pol,q, c,p), gen_1, p);
     408                 :            :           long db;
     409                 :         70 :           b = FpX_gcd(c,b, p); db = degpol(b);
     410 [ +  - ][ +  + ]:         70 :           if (db && db < degpol(c))
     411                 :            :           {
     412                 :         65 :             b = FpX_normalize(b, p);
     413                 :         65 :             c = FpX_div(c,b, p);
     414                 :         65 :             split_todo(&S, j, b, c);
     415                 :            :           }
     416                 :            :         }
     417                 :            :       }
     418                 :            :     }
     419                 :       1974 :   }
     420                 :            : }
     421                 :            : /* assume p > 2 prime */
     422                 :            : static ulong
     423                 :        988 : Flx_oneroot_i(GEN f, ulong p)
     424                 :            : {
     425                 :            :   GEN pol, a;
     426                 :            :   ulong q;
     427                 :            :   long da;
     428                 :            : 
     429         [ +  + ]:        988 :   if (Flx_val(f)) return 0;
     430      [ +  +  + ]:        983 :   switch(degpol(f))
     431                 :            :   {
     432                 :        108 :     case 1: return Fl_neg(f[2], p);
     433                 :        425 :     case 2: return Flx_quad_root(f, p, 1);
     434                 :            :   }
     435                 :            : 
     436                 :        450 :   a = Flxq_powu(polx_Flx(f[1]), p - 1, f,p);
     437         [ -  + ]:        450 :   if (lg(a) < 3) pari_err_PRIME("rootmod",utoipos(p));
     438                 :        450 :   a = Flx_Fl_add(a, p-1, p); /* a = x^(p-1) - 1 mod f */
     439                 :        450 :   a = Flx_gcd(f,a, p);
     440                 :        450 :   da = degpol(a);
     441         [ +  + ]:        450 :   if (!da) return p;
     442                 :         10 :   a = Flx_normalize(a,p);
     443                 :            : 
     444                 :         10 :   q = p >> 1;
     445                 :         10 :   pol = polx_Flx(f[1]);
     446                 :         10 :   for(pol[2] = 1;; pol[2]++)
     447                 :            :   {
     448 [ -  + ][ #  # ]:         30 :     if (pol[2] == 1000 && !uisprime(p)) pari_err_PRIME("Flx_oneroot",utoipos(p));
     449      [ +  -  + ]:         30 :     switch(da)
     450                 :            :     {
     451                 :         10 :       case 1: return Fl_neg(a[2], p);
     452                 :          0 :       case 2: return Flx_quad_root(a, p, 0);
     453                 :            :       default: {
     454                 :         20 :         GEN b = Flx_Fl_add(Flxq_powu(pol,q, a,p), p-1, p);
     455                 :            :         long db;
     456                 :         20 :         b = Flx_gcd(a,b, p); db = degpol(b);
     457 [ +  - ][ +  - ]:         20 :         if (db && db < da)
     458                 :            :         {
     459                 :         20 :           b = Flx_normalize(b, p);
     460         [ +  - ]:         20 :           if (db <= (da >> 1)) {
     461                 :         20 :             a = b;
     462                 :         20 :             da = db;
     463                 :            :           } else {
     464                 :          0 :             a = Flx_div(a,b, p);
     465                 :          0 :             da -= db;
     466                 :            :           }
     467                 :            :         }
     468                 :            :       }
     469                 :            :     }
     470                 :       1008 :   }
     471                 :            : }
     472                 :            : /* assume p > 2 prime */
     473                 :            : static GEN
     474                 :       1522 : FpX_oneroot_i(GEN f, GEN p)
     475                 :            : {
     476                 :            :   GEN pol, pol0, a, q;
     477                 :            :   long da;
     478                 :            : 
     479         [ -  + ]:       1522 :   if (ZX_val(f)) return gen_0;
     480      [ +  +  + ]:       1522 :   switch(degpol(f))
     481                 :            :   {
     482                 :         82 :     case 1: return subii(p, gel(f,2));
     483                 :       1425 :     case 2: return FpX_quad_root(f, p, 1);
     484                 :            :   }
     485                 :            : 
     486                 :         15 :   a = FpXQ_pow(pol_x(varn(f)), subiu(p,1), f,p);
     487         [ -  + ]:         15 :   if (lg(a) < 3) pari_err_PRIME("rootmod",p);
     488                 :         15 :   a = FpX_Fp_sub_shallow(a, gen_1, p); /* a = x^(p-1) - 1 mod f */
     489                 :         15 :   a = FpX_gcd(f,a, p);
     490                 :         15 :   da = degpol(a);
     491         [ -  + ]:         15 :   if (!da) return NULL;
     492                 :         15 :   a = FpX_normalize(a,p);
     493                 :            : 
     494                 :         15 :   q = shifti(p,-1);
     495                 :         15 :   pol0 = icopy(gen_1); /* constant term, will vary in place */
     496                 :         15 :   pol = deg1pol_shallow(gen_1, pol0, varn(f));
     497                 :         15 :   for (pol0[2]=1; ; pol0[2]++)
     498                 :            :   {
     499 [ -  + ][ #  # ]:         50 :     if (pol0[2] == 1000 && !BPSW_psp(p)) pari_err_PRIME("FpX_oneroot",p);
     500      [ +  +  + ]:         50 :     switch(da)
     501                 :            :     {
     502                 :         10 :       case 1: return subii(p, gel(a,2));
     503                 :          5 :       case 2: return FpX_quad_root(a, p, 0);
     504                 :            :       default: {
     505                 :         35 :         GEN b = FpX_Fp_sub_shallow(FpXQ_pow(pol,q, a,p), gen_1, p);
     506                 :            :         long db;
     507                 :         35 :         b = FpX_gcd(a,b, p); db = degpol(b);
     508 [ +  - ][ +  - ]:         35 :         if (db && db < da)
     509                 :            :         {
     510                 :         35 :           b = FpX_normalize(b, p);
     511         [ +  + ]:         35 :           if (db <= (da >> 1)) {
     512                 :         25 :             a = b;
     513                 :         25 :             da = db;
     514                 :            :           } else {
     515                 :         10 :             a = FpX_div(a,b, p);
     516                 :         10 :             da -= db;
     517                 :            :           }
     518                 :            :         }
     519                 :            :       }
     520                 :            :     }
     521                 :       1557 :   }
     522                 :            : }
     523                 :            : 
     524                 :            : ulong
     525                 :        450 : Flx_oneroot(GEN f, ulong p)
     526                 :            : {
     527                 :        450 :   pari_sp av = avma;
     528                 :            :   ulong r;
     529      [ -  -  + ]:        450 :   switch(lg(f))
     530                 :            :   {
     531                 :          0 :     case 2: return 0;
     532                 :          0 :     case 3: avma = av; return p;
     533                 :            :   }
     534         [ -  + ]:        450 :   if (p == 2) return Flx_oneroot_mod_2(f);
     535                 :        450 :   r = Flx_oneroot_i(Flx_normalize(f, p), p);
     536                 :        450 :   avma = av; return r;
     537                 :            : }
     538                 :            : 
     539                 :            : /* assume that p is prime */
     540                 :            : GEN
     541                 :       2070 : FpX_oneroot(GEN f, GEN pp) {
     542                 :       2070 :   pari_sp av = avma;
     543                 :       2070 :   ZX_factmod_init(&f, pp);
     544      [ -  -  + ]:       2070 :   switch(lg(f))
     545                 :            :   {
     546                 :          0 :     case 2: avma = av; return gen_0;
     547                 :          0 :     case 3: avma = av; return NULL;
     548                 :            :   }
     549         [ +  + ]:       2070 :   if (typ(f) == t_VECSMALL)
     550                 :            :   {
     551                 :        548 :     ulong r, p = pp[2];
     552         [ +  + ]:        548 :     if (p == 2)
     553                 :         10 :       r = Flx_oneroot_mod_2(f);
     554                 :            :     else
     555                 :        538 :       r = Flx_oneroot_i(f, p);
     556                 :        548 :     avma = av;
     557         [ +  + ]:        548 :     return (r == p)? NULL: utoi(r);
     558                 :            :   }
     559                 :       1522 :   f = FpX_oneroot_i(f, pp);
     560         [ -  + ]:       1522 :   if (!f) { avma = av; return NULL; }
     561                 :       2070 :   return gerepileuptoint(av, f);
     562                 :            : }
     563                 :            : 
     564                 :            : /*******************************************************************/
     565                 :            : /*                                                                 */
     566                 :            : /*                     FACTORISATION MODULO p                      */
     567                 :            : /*                                                                 */
     568                 :            : /*******************************************************************/
     569                 :            : 
     570                 :            : /* Functions giving information on the factorisation. */
     571                 :            : 
     572                 :            : /* u in Z[X], return kernel of (Frob - Id) over Fp[X] / u */
     573                 :            : GEN
     574                 :         58 : FpX_Berlekamp_ker(GEN u, GEN p)
     575                 :            : {
     576                 :         58 :   pari_sp ltop=avma;
     577                 :         58 :   long j,N = degpol(u);
     578                 :         58 :   GEN XP = FpXQ_pow(pol_x(varn(u)),p,u,p);
     579                 :         58 :   GEN Q  = FpXQ_matrix_pow(XP,N,N,u,p);
     580         [ +  + ]:       1600 :   for (j=1; j<=N; j++)
     581                 :       1542 :     gcoeff(Q,j,j) = Fp_sub(gcoeff(Q,j,j), gen_1, p);
     582                 :         58 :   return gerepileupto(ltop, FpM_ker(Q,p));
     583                 :            : }
     584                 :            : 
     585                 :            : GEN
     586                 :      14780 : F2x_Berlekamp_ker(GEN u)
     587                 :            : {
     588                 :      14780 :   pari_sp ltop=avma;
     589                 :      14780 :   long j,N = F2x_degree(u);
     590                 :            :   GEN Q, XP;
     591                 :            :   pari_timer T;
     592                 :      14780 :   timer_start(&T);
     593                 :      14780 :   XP = F2xq_sqr(polx_F2x(u[1]),u);
     594                 :      14780 :   Q  = F2xq_matrix_pow(XP,N,N,u);
     595         [ +  + ]:      77181 :   for (j=1; j<=N; j++)
     596                 :      62401 :     F2m_flip(Q,j,j);
     597         [ -  + ]:      14780 :   if(DEBUGLEVEL>=9) timer_printf(&T,"Berlekamp matrix");
     598                 :      14780 :   Q = F2m_ker_sp(Q,0);
     599         [ -  + ]:      14780 :   if(DEBUGLEVEL>=9) timer_printf(&T,"kernel");
     600                 :      14780 :   return gerepileupto(ltop,Q);
     601                 :            : }
     602                 :            : 
     603                 :            : GEN
     604                 :     155461 : Flx_Berlekamp_ker(GEN u, ulong l)
     605                 :            : {
     606                 :     155461 :   pari_sp ltop=avma;
     607                 :     155461 :   long j,N = degpol(u);
     608                 :            :   GEN Q, XP;
     609                 :            :   pari_timer T;
     610                 :     155461 :   timer_start(&T);
     611                 :     155461 :   XP = Flxq_powu(polx_Flx(u[1]),l,u,l);
     612                 :     155461 :   Q  = Flxq_matrix_pow(XP,N,N,u,l);
     613         [ +  + ]:     742747 :   for (j=1; j<=N; j++)
     614                 :     587286 :     coeff(Q,j,j) = Fl_sub(coeff(Q,j,j),1,l);
     615         [ -  + ]:     155461 :   if(DEBUGLEVEL>=9) timer_printf(&T,"Berlekamp matrix");
     616                 :     155461 :   Q = Flm_ker_sp(Q,l,0);
     617         [ -  + ]:     155461 :   if(DEBUGLEVEL>=9) timer_printf(&T,"kernel");
     618                 :     155461 :   return gerepileupto(ltop,Q);
     619                 :            : }
     620                 :            : 
     621                 :            : /* product of terms of degree 1 in factorization of f */
     622                 :            : static GEN
     623                 :      11737 : FpX_split_part(GEN f, GEN p)
     624                 :            : {
     625                 :      11737 :   long n = degpol(f);
     626                 :      11737 :   GEN z, X = pol_x(varn(f));
     627         [ -  + ]:      11737 :   if (n <= 1) return f;
     628                 :      11737 :   f = FpX_red(f, p);
     629                 :      11737 :   z = FpXQ_pow(X, p, f, p);
     630                 :      11737 :   z = FpX_sub(z, X, p);
     631                 :      11737 :   return FpX_gcd(z,f,p);
     632                 :            : }
     633                 :            : 
     634                 :            : /* Compute the number of roots in Fp without counting multiplicity
     635                 :            :  * return -1 for 0 polynomial. lc(f) must be prime to p. */
     636                 :            : long
     637                 :      11737 : FpX_nbroots(GEN f, GEN p)
     638                 :            : {
     639                 :      11737 :   pari_sp av = avma;
     640                 :      11737 :   GEN z = FpX_split_part(f, p);
     641                 :      11737 :   avma = av; return degpol(z);
     642                 :            : }
     643                 :            : 
     644                 :            : int
     645                 :          0 : FpX_is_totally_split(GEN f, GEN p)
     646                 :            : {
     647                 :          0 :   long n=degpol(f);
     648                 :          0 :   pari_sp av = avma;
     649                 :            :   GEN z;
     650         [ #  # ]:          0 :   if (n <= 1) return 1;
     651         [ #  # ]:          0 :   if (cmpui(n, p) > 0) return 0;
     652                 :          0 :   f = FpX_red(f, p);
     653                 :          0 :   z = FpXQ_pow(pol_x(varn(f)), p, f, p);
     654                 :          0 :   avma = av;
     655 [ #  # ][ #  # ]:          0 :   return degpol(z) == 1 && gequal1(gel(z,3)) && !signe(gel(z,2)); /* x^p = x ? */
                 [ #  # ]
     656                 :            : }
     657                 :            : 
     658                 :            : /* Flv_Flx( Flm_Flc_mul(x, Flx_Flv(y), p) ) */
     659                 :            : static GEN
     660                 :     150682 : Flm_Flx_mul(GEN x, GEN y, ulong p)
     661                 :            : {
     662                 :     150682 :   long i,k,l, ly = lg(y)-1;
     663                 :            :   GEN z;
     664                 :     150682 :   long vs=y[1];
     665         [ -  + ]:     150682 :   if (ly==1) return zero_Flx(vs);
     666                 :     150682 :   l = lgcols(x);
     667                 :     150682 :   y++;
     668                 :     150682 :   z = zero_zv(l) + 1;
     669         [ +  - ]:     150682 :   if (SMALL_ULONG(p))
     670                 :            :   {
     671         [ +  + ]:    3092340 :     for (k=1; k<ly; k++)
     672                 :            :     {
     673                 :            :       GEN c;
     674         [ +  + ]:    2941658 :       if (!y[k]) continue;
     675                 :    1247923 :       c = gel(x,k);
     676         [ +  + ]:    1247923 :       if (y[k] == 1)
     677         [ +  + ]:    3152932 :         for (i=1; i<l; i++)
     678                 :            :         {
     679                 :    3038768 :           z[i] += c[i];
     680         [ -  + ]:    3038768 :           if (z[i] & HIGHBIT) z[i] %= p;
     681                 :            :         }
     682                 :            :       else
     683         [ +  + ]:   58110529 :         for (i=1; i<l; i++)
     684                 :            :         {
     685                 :   56976770 :           z[i] += c[i] * y[k];
     686         [ -  + ]:   56976770 :           if (z[i] & HIGHBIT) z[i] %= p;
     687                 :            :         }
     688                 :            :     }
     689         [ +  + ]:    3655308 :     for (i=1; i<l; i++) z[i] %= p;
     690                 :            :   }
     691                 :            :   else
     692                 :            :   {
     693         [ #  # ]:          0 :     for (k=1; k<ly; k++)
     694                 :            :     {
     695                 :            :       GEN c;
     696         [ #  # ]:          0 :       if (!y[k]) continue;
     697                 :          0 :       c = gel(x,k);
     698         [ #  # ]:          0 :       if (y[k] == 1)
     699         [ #  # ]:          0 :         for (i=1; i<l; i++)
     700                 :          0 :           z[i] = Fl_add(z[i], c[i], p);
     701                 :            :       else
     702         [ #  # ]:          0 :         for (i=1; i<l; i++)
     703                 :          0 :           z[i] = Fl_add(z[i], Fl_mul(c[i],y[k],p), p);
     704                 :            :     }
     705                 :            :   }
     706 [ +  - ][ +  + ]:     969015 :   while (--l && !z[l]);
     707         [ -  + ]:     150682 :   if (!l) return zero_Flx(vs);
     708                 :     150682 :   *z-- = vs; return z;
     709                 :            : }
     710                 :            : 
     711                 :            : /* z must be squarefree mod p*/
     712                 :            : GEN
     713                 :      52522 : Flx_nbfact_by_degree(GEN z, long *nb, ulong p)
     714                 :            : {
     715                 :      52522 :   long lgg, d = 0, e = degpol(z);
     716                 :      52522 :   GEN D = zero_zv(e);
     717                 :      52522 :   pari_sp av = avma;
     718                 :      52522 :   GEN g, w,  PolX = polx_Flx(z[1]);
     719                 :      52522 :   GEN XP = Flxq_powu(PolX,p,z,p);
     720                 :      52522 :   GEN MP = Flxq_matrix_pow(XP,e,e,z,p);
     721                 :            : 
     722                 :      52522 :   w = PolX; *nb = 0;
     723         [ +  + ]:     168456 :   while (d < (e>>1))
     724                 :            :   { /* here e = degpol(z) */
     725                 :     150682 :     d++;
     726                 :     150682 :     w = Flm_Flx_mul(MP, w, p); /* w^p mod (z,p) */
     727                 :     150682 :     g = Flx_gcd(z, Flx_sub(w, PolX, p), p);
     728         [ +  + ]:     150682 :     lgg = degpol(g); if (!lgg) continue;
     729                 :            : 
     730                 :      48068 :     e -= lgg;
     731                 :      48068 :     D[d] = lgg/d; *nb += D[d];
     732         [ -  + ]:      48068 :     if (DEBUGLEVEL>5) err_printf("   %3ld fact. of degree %3ld\n", D[d], d);
     733         [ +  + ]:      48068 :     if (!e) break;
     734                 :      13320 :     z = Flx_div(z, g, p);
     735                 :      13320 :     w = Flx_rem(w, z, p);
     736                 :            :   }
     737         [ +  + ]:      52522 :   if (e)
     738                 :            :   {
     739         [ -  + ]:      17774 :     if (DEBUGLEVEL>5) err_printf("   %3ld fact. of degree %3ld\n",1,e);
     740                 :      17774 :     D[e] = 1; (*nb)++;
     741                 :            :   }
     742                 :      52522 :   avma = av; return D;
     743                 :            : }
     744                 :            : 
     745                 :            : /* z must be squarefree mod p*/
     746                 :            : long
     747                 :      24392 : Flx_nbfact(GEN z, ulong p)
     748                 :            : {
     749                 :      24392 :   pari_sp av = avma;
     750                 :      24392 :   long nb; (void)Flx_nbfact_by_degree(z, &nb, p);
     751                 :      24392 :   avma = av; return nb;
     752                 :            : }
     753                 :            : 
     754                 :            : long
     755                 :    1632042 : Flx_nbroots(GEN f, ulong p)
     756                 :            : {
     757                 :    1632042 :   long n = degpol(f);
     758                 :    1632042 :   pari_sp av = avma;
     759                 :            :   GEN z, X;
     760         [ +  + ]:    1632042 :   if (n <= 1) return n;
     761                 :    1632002 :   X = polx_Flx(f[1]);
     762                 :    1632002 :   z = Flxq_powu(X, p, f, p);
     763                 :    1632002 :   z = Flx_sub(z, X, p);
     764                 :    1632002 :   z = Flx_gcd(z, f, p);
     765                 :    1632042 :   avma = av; return degpol(z);
     766                 :            : }
     767                 :            : 
     768                 :            : long
     769                 :         20 : FpX_nbfact(GEN u, GEN p)
     770                 :            : {
     771                 :         20 :   pari_sp av = avma;
     772                 :         20 :   GEN vker = FpX_Berlekamp_ker(u, p);
     773                 :         20 :   avma = av; return lg(vker)-1;
     774                 :            : }
     775                 :            : 
     776                 :            : static GEN
     777                 :        202 : try_pow(GEN w0, GEN pol, GEN p, GEN q, long r)
     778                 :            : {
     779                 :        202 :   GEN w2, w = FpXQ_pow(w0,q, pol,p);
     780                 :            :   long s;
     781         [ +  + ]:        202 :   if (gequal1(w)) return w0;
     782         [ +  + ]:        438 :   for (s=1; s<r; s++,w=w2)
     783                 :            :   {
     784                 :        253 :     w2 = gsqr(w);
     785                 :        253 :     w2 = FpX_rem(w2, pol, p);
     786         [ +  + ]:        253 :     if (gequal1(w2)) break;
     787                 :            :   }
     788         [ +  - ]:        202 :   return gequalm1(w)? NULL: w;
     789                 :            : }
     790                 :            : 
     791                 :            : static GEN
     792                 :      39337 : Flx_try_pow(GEN w0, GEN pol, ulong p, GEN q, long r)
     793                 :            : {
     794                 :      39337 :   GEN w2, w = Flxq_pow(w0,q, pol,p);
     795                 :            :   long s;
     796         [ +  + ]:      39337 :   if (Flx_equal1(w)) return w0;
     797         [ +  + ]:     164840 :   for (s=1; s<r; s++,w=w2)
     798                 :            :   {
     799                 :     132831 :     w2 = Flxq_sqr(w,pol,p);
     800         [ +  + ]:     132831 :     if (Flx_equal1(w2)) break;
     801                 :            :   }
     802 [ +  + ][ -  + ]:      39337 :   return degpol(w)==0 && (ulong)w[2] == p-1 ? NULL: w;
     803                 :            : }
     804                 :            : 
     805                 :            : /* INPUT:
     806                 :            :  *  m integer (converted to polynomial w in Z[X] by stoFpX)
     807                 :            :  *  p prime; q = (p^d-1) / 2^r
     808                 :            :  *  t[0] polynomial of degree k*d product of k irreducible factors of degree d
     809                 :            :  *  t[0] is expected to be normalized (leading coeff = 1)
     810                 :            :  * OUTPUT:
     811                 :            :  *  t[0],t[1]...t[k-1] the k factors, normalized */
     812                 :            : 
     813                 :            : static void
     814                 :      14073 : F2x_split(ulong m, GEN *t, long d)
     815                 :            : {
     816                 :            :   long l, v, dv;
     817                 :            :   pari_sp av0, av;
     818                 :            :   GEN w;
     819                 :            : 
     820         [ +  + ]:      15583 :   dv = F2x_degree(*t); if (dv==d) return;
     821                 :       1510 :   v=(*t)[1]; av0=avma;
     822                 :       1510 :   for(av=avma;;avma=av)
     823                 :            :   {
     824                 :       2612 :     GEN w0 = w = F2xq_powu(polx_F2x(v), m-1, *t); m += 2;
     825         [ +  + ]:      17935 :     for (l=1; l<d; l++) w = F2x_add(w0, F2xq_sqr(w, *t));
     826                 :       2612 :     w = F2x_gcd(*t,w);
     827 [ +  + ][ +  + ]:       2612 :     l = F2x_degree(w); if (l && l!=dv) break;
     828                 :       1102 :   }
     829                 :       1510 :   w = gerepileupto(av0, w);
     830                 :       1510 :   l /= d; t[l]=F2x_div(*t,w); *t=w;
     831                 :       1510 :   F2x_split(m,t+l,d);
     832                 :       1510 :   F2x_split(m,t,  d);
     833                 :            : }
     834                 :            : 
     835                 :            : static void
     836                 :      74319 : Flx_split(GEN *t, long d, ulong p, GEN q, long r)
     837                 :            : {
     838                 :            :   long l, v, dv;
     839                 :            :   pari_sp av0, av;
     840                 :            :   GEN w;
     841                 :            : 
     842         [ +  + ]:     102426 :   dv=degpol(*t); if (dv==d) return;
     843                 :      28107 :   v=(*t)[1]; av0=avma;
     844                 :      28107 :   for(av=avma;;avma=av)
     845                 :            :   {
     846                 :      39337 :     w = random_Flx(dv,v,p);
     847                 :      39337 :     w = Flx_try_pow(w,*t,p,q,r);
     848         [ +  + ]:      39337 :     if (!w) continue;
     849                 :      30537 :     w = Flx_Fl_add(w, p-1, p);
     850                 :      30537 :     w = Flx_gcd(*t,w, p);
     851 [ +  + ][ +  + ]:      30537 :     l = degpol(w); if (l && l!=dv) break;
     852                 :      11230 :   }
     853                 :      28107 :   w = Flx_normalize(w, p);
     854                 :      28107 :   w = gerepileupto(av0, w);
     855                 :      28107 :   l /= d; t[l]=Flx_div(*t,w,p); *t=w;
     856                 :      28107 :   Flx_split(t+l,d,p,q,r);
     857                 :      28107 :   Flx_split(t,  d,p,q,r);
     858                 :            : }
     859                 :            : 
     860                 :            : 
     861                 :            : static void
     862                 :        310 : FpX_split(GEN *t, long d, GEN  p, GEN q, long r)
     863                 :            : {
     864                 :        310 :   long l, v, dv = degpol(*t);
     865                 :            :   pari_sp av;
     866                 :            :   GEN w;
     867                 :            : 
     868         [ +  + ]:        460 :   if (dv==d) return;
     869                 :        150 :   v = varn(*t);
     870                 :        150 :   av = avma;
     871                 :         52 :   for(;; avma = av)
     872                 :            :   {
     873                 :        202 :     w = random_FpX(dv, v, p);
     874                 :        202 :     w = try_pow(w,*t,p,q,r);
     875         [ -  + ]:        202 :     if (!w) continue;
     876                 :        202 :     w = FpX_Fp_sub_shallow(w, gen_1, p);
     877                 :        202 :     w = FpX_gcd(*t,w, p); l=degpol(w);
     878 [ +  + ][ +  - ]:        202 :     if (l && l!=dv) break;
     879                 :         52 :   }
     880                 :        150 :   w = FpX_normalize(w, p);
     881                 :        150 :   w = gerepileupto(av, w);
     882                 :        150 :   l /= d; t[l]=FpX_div(*t,w,p); *t=w;
     883                 :        150 :   FpX_split(t+l,d,p,q,r);
     884                 :        150 :   FpX_split(t,  d,p,q,r);
     885                 :            : }
     886                 :            : 
     887                 :            : static int
     888         [ +  + ]:    1058691 : cmpGuGu(GEN a, GEN b) { return (ulong)a < (ulong)b? -1: (a == b? 0: 1); }
     889                 :            : 
     890                 :            : /* p > 2 */
     891                 :            : static GEN
     892                 :          5 : FpX_is_irred_2(GEN f, GEN p, long d)
     893                 :            : {
     894      [ -  -  + ]:          5 :   switch(d)
     895                 :            :   {
     896                 :            :     case -1:
     897                 :          0 :     case 0: return NULL;
     898                 :          0 :     case 1: return gen_1;
     899                 :            :   }
     900         [ -  + ]:          5 :   return FpX_quad_factortype(f, p) == -1? gen_1: NULL;
     901                 :            : }
     902                 :            : /* p > 2 */
     903                 :            : static GEN
     904                 :         10 : FpX_degfact_2(GEN f, GEN p, long d)
     905                 :            : {
     906   [ -  -  -  + ]:         10 :   switch(d)
     907                 :            :   {
     908                 :          0 :     case -1:retmkvec2(mkvecsmall(-1),mkvecsmall(1));
     909                 :          0 :     case 0: return trivial_fact();
     910                 :          0 :     case 1: retmkvec2(mkvecsmall(1), mkvecsmall(1));
     911                 :            :   }
     912      [ +  +  - ]:         10 :   switch(FpX_quad_factortype(f, p)) {
     913                 :          5 :     case  1: retmkvec2(mkvecsmall2(1,1), mkvecsmall2(1,1));
     914                 :          5 :     case -1: retmkvec2(mkvecsmall(2), mkvecsmall(1));
     915                 :         10 :     default: retmkvec2(mkvecsmall(1), mkvecsmall(2));
     916                 :            :   }
     917                 :            : }
     918                 :            : 
     919                 :            : GEN
     920                 :         25 : prime_fact(GEN x) { retmkmat2(mkcolcopy(x), mkcol(gen_1)); }
     921                 :            : GEN
     922                 :     154642 : trivial_fact(void) { retmkmat2(cgetg(1,t_COL), cgetg(1,t_COL)); }
     923                 :            : 
     924                 :            : /* Mod(0,p) * x, where x is f's main variable */
     925                 :            : static GEN
     926                 :         10 : Mod0pX(GEN f, GEN p)
     927                 :         10 : { return scalarpol(mkintmod(gen_0, p), varn(f)); }
     928                 :            : static GEN
     929                 :         10 : zero_fact_intmod(GEN f, GEN p) { return prime_fact(Mod0pX(f,p)); }
     930                 :            : 
     931                 :            : /* not gerepile safe */
     932                 :            : static GEN
     933                 :         42 : FpX_factor_2(GEN f, GEN p, long d)
     934                 :            : {
     935                 :            :   GEN r, s, R, S;
     936                 :            :   long v;
     937                 :            :   int sgn;
     938   [ -  +  -  + ]:         42 :   switch(d)
     939                 :            :   {
     940                 :          0 :     case -1: retmkvec2(mkcol(pol_0(varn(f))), mkvecsmall(1));
     941                 :          2 :     case  0: retmkvec2(cgetg(1,t_COL), cgetg(1,t_VECSMALL));
     942                 :          0 :     case  1: retmkvec2(mkcol(f), mkvecsmall(1));
     943                 :            :   }
     944                 :         40 :   r = FpX_quad_root(f, p, 1);
     945         [ +  + ]:         40 :   if (!r) return mkvec2(mkcol(f), mkvecsmall(1));
     946                 :         33 :   v = varn(f);
     947                 :         33 :   s = FpX_otherroot(f, r, p);
     948         [ +  - ]:         33 :   if (signe(r)) r = subii(p, r);
     949         [ +  - ]:         33 :   if (signe(s)) s = subii(p, s);
     950         [ +  - ]:         33 :   sgn = cmpii(s, r); if (sgn < 0) swap(s,r);
     951                 :         33 :   R = deg1pol_shallow(gen_1, r, v);
     952         [ -  + ]:         33 :   if (!sgn) return mkvec2(mkcol(R), mkvecsmall(2));
     953                 :         33 :   S = deg1pol_shallow(gen_1, s, v);
     954                 :         42 :   return mkvec2(mkcol2(R,S), mkvecsmall2(1,1));
     955                 :            : }
     956                 :            : static GEN
     957                 :         57 : FpX_factor_deg2(GEN f, GEN p, long d, long flag)
     958                 :            : {
     959      [ +  +  + ]:         57 :   switch(flag) {
     960                 :          5 :     case 2: return FpX_is_irred_2(f, p, d);
     961                 :         10 :     case 1: return FpX_degfact_2(f, p, d);
     962                 :         57 :     default: return FpX_factor_2(f, p, d);
     963                 :            :   }
     964                 :            : }
     965                 :            : 
     966                 :            : static int
     967                 :      16897 : F2x_quad_factortype(GEN x)
     968         [ +  + ]:      16897 : { return x[2] == 7 ? -1: x[2] == 6 ? 1 :0; }
     969                 :            : 
     970                 :            : static GEN
     971                 :          5 : F2x_is_irred_2(GEN f, long d)
     972 [ +  - ][ +  - ]:          5 : { return d == 1 || (d==2 && F2x_quad_factortype(f) == -1)? gen_1: NULL; }
                 [ +  - ]
     973                 :            : 
     974                 :            : static GEN
     975                 :        380 : F2x_degfact_2(GEN f, long d)
     976                 :            : {
     977         [ -  + ]:        380 :   if (!d) return trivial_fact();
     978         [ +  + ]:        380 :   if (d == 1) return mkvec2(mkvecsmall(1), mkvecsmall(1));
     979      [ +  +  + ]:        375 :   switch(F2x_quad_factortype(f)) {
     980                 :         95 :     case 1: return mkvec2(mkvecsmall2(1,1), mkvecsmall2(1,1));
     981                 :         70 :     case -1:return mkvec2(mkvecsmall(2), mkvecsmall(1));
     982                 :        380 :     default: return mkvec2(mkvecsmall(1), mkvecsmall(2));
     983                 :            :   }
     984                 :            : }
     985                 :            : 
     986                 :            : static GEN
     987                 :      21475 : F2x_factor_2(GEN f, long d)
     988                 :            : {
     989                 :      21475 :   long v = f[1];
     990         [ -  + ]:      21475 :   if (d < 0) pari_err(e_ROOTS0,"Flx_factor_2");
     991         [ +  + ]:      21475 :   if (!d) return mkvec2(cgetg(1,t_COL), cgetg(1,t_VECSMALL));
     992         [ +  + ]:      16240 :   if (d == 1) return mkvec2(mkcol(f), mkvecsmall(1));
     993      [ +  +  + ]:      11700 :   switch(F2x_quad_factortype(f))
     994                 :            :   {
     995                 :       2060 :   case -1: return mkvec2(mkcol(f), mkvecsmall(1));
     996                 :       8574 :   case 0:  return mkvec2(mkcol(mkvecsmall2(v,2+F2x_coeff(f,0))), mkvecsmall(2));
     997                 :      21475 :   default: return mkvec2(mkcol2(mkvecsmall2(v,2),mkvecsmall2(v,3)), mkvecsmall2(1,1));
     998                 :            :   }
     999                 :            : }
    1000                 :            : static GEN
    1001                 :      21860 : F2x_factor_deg2(GEN f, long d, long flag)
    1002                 :            : {
    1003      [ +  +  + ]:      21860 :   switch(flag) {
    1004                 :          5 :     case 2: return F2x_is_irred_2(f, d);
    1005                 :        380 :     case 1: return F2x_degfact_2(f, d);
    1006                 :      21860 :     default: return F2x_factor_2(f, d);
    1007                 :            :   }
    1008                 :            : }
    1009                 :            : 
    1010                 :            : static void
    1011                 :         56 : split_squares(struct split_t *S, GEN g, ulong p)
    1012                 :            : {
    1013                 :         56 :   ulong q = p >> 1;
    1014                 :         56 :   GEN a = Flx_mod_Xnm1(g, q, p); /* mod x^(p-1)/2 - 1 */
    1015         [ +  + ]:         56 :   if (degpol(a) < 0)
    1016                 :            :   {
    1017                 :            :     ulong i;
    1018                 :          4 :     split_add_done(S, (GEN)1);
    1019         [ +  + ]:         12 :     for (i = 2; i <= q; i++) split_add_done(S, (GEN)Fl_sqr(i,p));
    1020                 :            :   } else {
    1021                 :         52 :     (void)Flx_valrem(a, &a);
    1022         [ +  - ]:         52 :     if (degpol(a))
    1023                 :            :     {
    1024                 :         52 :       a = Flx_gcd(a, Flx_Xnm1(g[1], q, p), p);
    1025         [ +  + ]:         52 :       if (degpol(a)) split_add(S, Flx_normalize(a, p));
    1026                 :            :     }
    1027                 :            :   }
    1028                 :         56 : }
    1029                 :            : static void
    1030                 :         56 : split_nonsquares(struct split_t *S, GEN g, ulong p)
    1031                 :            : {
    1032                 :         56 :   ulong q = p >> 1;
    1033                 :         56 :   GEN a = Flx_mod_Xn1(g, q, p); /* mod x^(p-1)/2 + 1 */
    1034         [ +  + ]:         56 :   if (degpol(a) < 0)
    1035                 :            :   {
    1036                 :          4 :     ulong i, z = Fl_nonsquare(p);
    1037                 :          4 :     split_add_done(S, (GEN)z);
    1038         [ +  + ]:         12 :     for (i = 2; i <= q; i++) split_add_done(S, (GEN)Fl_mul(z, Fl_sqr(i,p), p));
    1039                 :            :   } else {
    1040                 :         52 :     (void)Flx_valrem(a, &a);
    1041         [ +  - ]:         52 :     if (degpol(a))
    1042                 :            :     {
    1043                 :         52 :       a = Flx_gcd(a, Flx_Xn1(g[1], q, p), p);
    1044         [ +  + ]:         52 :       if (degpol(a)) split_add(S, Flx_normalize(a, p));
    1045                 :            :     }
    1046                 :            :   }
    1047                 :         56 : }
    1048                 :            : /* p > 2. f monic Flx, f(0) != 0. Add to split_t structs coprime factors
    1049                 :            :  * of g = \prod_{f(a) = 0} (X - a). Return 0 when f(x) = 0 for all x in Fp* */
    1050                 :            : static int
    1051                 :      35129 : split_Flx_cut_out_roots(struct split_t *S, GEN f, ulong p)
    1052                 :            : {
    1053                 :      35129 :   GEN a, g = Flx_mod_Xnm1(f, p-1, p); /* f mod x^(p-1) - 1 */
    1054                 :      35129 :   long d = degpol(g);
    1055         [ +  + ]:      35129 :   if (d < 0) return 0;
    1056         [ +  + ]:      34690 :   if (g != f) { (void)Flx_valrem(g, &g); d = degpol(g); } /*kill powers of x*/
    1057         [ +  + ]:      34690 :   if (!d) return 1;
    1058         [ +  + ]:      23630 :   if (p <= 1.4 * (ulong)d) {
    1059                 :            :     /* small p; split further using x^((p-1)/2) +/- 1.
    1060                 :            :      * 30% degree drop makes the extra gcd worth it. */
    1061                 :         56 :     split_squares(S, g, p);
    1062                 :         56 :     split_nonsquares(S, g, p);
    1063                 :            :   } else { /* large p; use x^(p-1) - 1 directly */
    1064                 :      23574 :     a = Flxq_powu(polx_Flx(f[1]), p-1, g,p);
    1065         [ -  + ]:      23574 :     if (lg(a) < 3) pari_err_PRIME("rootmod",utoipos(p));
    1066                 :      23574 :     a = Flx_Fl_add(a, p-1, p); /* a = x^(p-1) - 1 mod g */
    1067                 :      23574 :     g = Flx_gcd(g,a, p);
    1068         [ +  + ]:      23574 :     if (degpol(g)) split_add(S, Flx_normalize(g,p));
    1069                 :            :   }
    1070                 :      35129 :   return 1;
    1071                 :            : }
    1072                 :            : 
    1073                 :            : /* by splitting, assume p > 2 prime, deg(f) > 0, and f monic */
    1074                 :            : static GEN
    1075                 :      35129 : Flx_roots_i(GEN f, ulong p)
    1076                 :            : {
    1077                 :            :   GEN pol, g;
    1078                 :      35129 :   ulong q = p >> 1;
    1079                 :            :   struct split_t S;
    1080                 :            : 
    1081                 :      35129 :   split_init(&S, lg(f)-1);
    1082                 :      35129 :   settyp(S.done, t_VECSMALL);
    1083         [ +  + ]:      35129 :   if (Flx_valrem(f, &g)) split_add_done(&S, (GEN)0);
    1084         [ +  + ]:      35129 :   if (! split_Flx_cut_out_roots(&S, g, p))
    1085                 :        439 :     return all_roots_mod_p(p, lg(S.done) == 1);
    1086                 :      34690 :   pol = polx_Flx(f[1]);
    1087                 :      34690 :   for (pol[2]=1; ; pol[2]++)
    1088                 :            :   {
    1089                 :      61351 :     long j, l = lg(S.todo);
    1090         [ +  + ]:      61351 :     if (l == 1) { vecsmall_sort(S.done); return S.done; }
    1091 [ -  + ][ #  # ]:      26661 :     if (pol[2] == 100 && !uisprime(p)) pari_err_PRIME("polrootsmod",utoipos(p));
    1092         [ +  + ]:      63705 :     for (j = 1; j < l; j++)
    1093                 :            :     {
    1094                 :      37044 :       GEN c = gel(S.todo,j);
    1095      [ +  +  + ]:      37044 :       switch(degpol(c))
    1096                 :            :       {
    1097                 :            :         case 1:
    1098                 :      19032 :           split_moveto_done(&S, j, (GEN)(p - c[2]));
    1099                 :      19032 :           j--; l--; break;
    1100                 :            :         case 2: {
    1101                 :      10711 :           ulong r = Flx_quad_root(c, p, 0), s = Flx_otherroot(c,r, p);
    1102                 :      10711 :           split_done(&S, j, (GEN)r, (GEN)s);
    1103                 :      10711 :           j--; l--; break;
    1104                 :            :         }
    1105                 :            :         default: {
    1106                 :       7301 :           GEN b = Flx_Fl_add(Flxq_powu(pol,q, c,p), p-1, p); /* pol^(p-1)/2 */
    1107                 :            :           long db;
    1108                 :       7301 :           b = Flx_gcd(c,b, p); db = degpol(b);
    1109 [ +  + ][ +  + ]:       7301 :           if (db && db < degpol(c))
    1110                 :            :           {
    1111                 :       6096 :             b = Flx_normalize(b, p);
    1112                 :       6096 :             c = Flx_div(c,b, p);
    1113                 :       6096 :             split_todo(&S, j, b, c);
    1114                 :            :           }
    1115                 :            :         }
    1116                 :            :       }
    1117                 :            :     }
    1118                 :      61790 :   }
    1119                 :            : }
    1120                 :            : 
    1121                 :            : GEN
    1122                 :      27285 : Flx_roots(GEN f, ulong p)
    1123                 :            : {
    1124                 :      27285 :   pari_sp av = avma;
    1125      [ -  -  + ]:      27285 :   switch(lg(f))
    1126                 :            :   {
    1127                 :          0 :     case 2: pari_err_ROOTS0("Flx_roots");
    1128                 :          0 :     case 3: avma = av; return cgetg(1, t_VECSMALL);
    1129                 :            :   }
    1130         [ +  + ]:      27285 :   if (p == 2) return Flx_root_mod_2(f);
    1131                 :      27285 :   return gerepileuptoleaf(av, Flx_roots_i(Flx_normalize(f, p), p));
    1132                 :            : }
    1133                 :            : 
    1134                 :            : /* assume x reduced mod p, monic. */
    1135                 :            : static int
    1136                 :      19410 : Flx_quad_factortype(GEN x, ulong p)
    1137                 :            : {
    1138                 :      19410 :   ulong b = x[3], c = x[2];
    1139                 :      19410 :   return krouu(Fl_disc_bc(b, c, p), p);
    1140                 :            : }
    1141                 :            : static GEN
    1142                 :          0 : Flx_is_irred_2(GEN f, ulong p, long d)
    1143                 :            : {
    1144         [ #  # ]:          0 :   if (!d) return NULL;
    1145         [ #  # ]:          0 :   if (d == 1) return gen_1;
    1146         [ #  # ]:          0 :   return Flx_quad_factortype(f, p) == -1? gen_1: NULL;
    1147                 :            : }
    1148                 :            : static GEN
    1149                 :      19420 : Flx_degfact_2(GEN f, ulong p, long d)
    1150                 :            : {
    1151         [ -  + ]:      19420 :   if (!d) return trivial_fact();
    1152         [ +  + ]:      19420 :   if (d == 1) return mkvec2(mkvecsmall(1), mkvecsmall(1));
    1153      [ +  +  + ]:      19410 :   switch(Flx_quad_factortype(f, p)) {
    1154                 :       9090 :     case 1: return mkvec2(mkvecsmall2(1,1), mkvecsmall2(1,1));
    1155                 :       9915 :     case -1:return mkvec2(mkvecsmall(2), mkvecsmall(1));
    1156                 :      19420 :     default: return mkvec2(mkvecsmall(1), mkvecsmall(2));
    1157                 :            :   }
    1158                 :            : }
    1159                 :            : /* p > 2 */
    1160                 :            : static GEN
    1161                 :     105781 : Flx_factor_2(GEN f, ulong p, long d)
    1162                 :            : {
    1163                 :            :   ulong r, s;
    1164                 :            :   GEN R,S;
    1165                 :     105781 :   long v = f[1];
    1166         [ -  + ]:     105781 :   if (d < 0) pari_err(e_ROOTS0,"Flx_factor_2");
    1167         [ +  + ]:     105781 :   if (!d) return mkvec2(cgetg(1,t_COL), cgetg(1,t_VECSMALL));
    1168         [ +  + ]:      96078 :   if (d == 1) return mkvec2(mkcol(f), mkvecsmall(1));
    1169                 :      82628 :   r = Flx_quad_root(f, p, 1);
    1170         [ +  + ]:      82628 :   if (r==p) return mkvec2(mkcol(f), mkvecsmall(1));
    1171                 :      56491 :   s = Flx_otherroot(f, r, p);
    1172                 :      56491 :   r = Fl_neg(r, p);
    1173                 :      56491 :   s = Fl_neg(s, p);
    1174         [ +  + ]:      56491 :   if (s < r) lswap(s,r);
    1175                 :      56491 :   R = mkvecsmall3(v,r,1);
    1176         [ +  + ]:      56491 :   if (s == r) return mkvec2(mkcol(R), mkvecsmall(2));
    1177                 :      47091 :   S = mkvecsmall3(v,s,1);
    1178                 :     105781 :   return mkvec2(mkcol2(R,S), mkvecsmall2(1,1));
    1179                 :            : }
    1180                 :            : static GEN
    1181                 :     125201 : Flx_factor_deg2(GEN f, ulong p, long d, long flag)
    1182                 :            : {
    1183      [ -  +  + ]:     125201 :   switch(flag) {
    1184                 :          0 :     case 2: return Flx_is_irred_2(f, p, d);
    1185                 :      19420 :     case 1: return Flx_degfact_2(f, p, d);
    1186                 :     125201 :     default: return Flx_factor_2(f, p, d);
    1187                 :            :   }
    1188                 :            : }
    1189                 :            : 
    1190                 :            : static GEN
    1191                 :       6807 : F2x_factcantor_i(GEN f, long flag)
    1192                 :            : {
    1193                 :       6807 :   long j, e, nbfact, d = F2x_degree(f);
    1194                 :            :   ulong k;
    1195                 :            :   GEN X, E, f2, g, g1, u, v, y, t;
    1196                 :            : 
    1197         [ +  + ]:       6807 :   if (d <= 2) return F2x_factor_deg2(f, d, flag);
    1198                 :            :   /* to hold factors and exponents */
    1199         [ +  + ]:       6392 :   t = flag ? cgetg(d+1,t_VECSMALL): cgetg(d+1,t_VEC);
    1200                 :       6392 :   E = cgetg(d+1, t_VECSMALL);
    1201                 :       6392 :   X = polx_F2x(f[1]);
    1202                 :       6392 :   e = nbfact = 1;
    1203                 :            :   for(;;)
    1204                 :            :   {
    1205                 :       8645 :     f2 = F2x_gcd(f,F2x_deriv(f));
    1206 [ +  + ][ +  + ]:       8645 :     if (flag == 2 && F2x_degree(f2) > 0) return NULL;
    1207                 :       8615 :     g1 = F2x_div(f,f2);
    1208                 :       8615 :     k = 0;
    1209         [ +  + ]:      17339 :     while (F2x_degree(g1)>0)
    1210                 :            :     {
    1211                 :            :       pari_sp av;
    1212                 :            :       long du, dg, dg1;
    1213         [ +  + ]:       8789 :       k++; if (k%2==0) { k++; f2 = F2x_div(f2,g1); }
    1214                 :       8789 :       u = g1; g1 = F2x_gcd(f2,g1);
    1215                 :       8789 :       du = F2x_degree(u);
    1216                 :       8789 :       dg1 = F2x_degree(g1);
    1217         [ +  + ]:       8789 :       if (dg1>0)
    1218                 :            :       {
    1219                 :        523 :         f2= F2x_div(f2,g1);
    1220         [ +  + ]:        523 :         if (du == dg1) continue;
    1221                 :        327 :         u = F2x_div( u,g1);
    1222                 :        327 :         du -= dg1;
    1223                 :            :       }
    1224                 :            :       /* here u is square-free (product of irred. of multiplicity e * k) */
    1225                 :       8593 :       v = X;
    1226                 :       8593 :       av = avma;
    1227         [ +  + ]:      46930 :       for (d=1; d <= du>>1; d++)
    1228                 :            :       {
    1229                 :      38402 :         v = F2xq_sqr(v, u);
    1230                 :      38402 :         g = F2x_gcd(F2x_add(v, X), u);
    1231                 :      38402 :         dg = F2x_degree(g);
    1232         [ +  + ]:      38402 :         if (dg <= 0) {avma = (pari_sp)v; v = gerepileuptoleaf(av,v); continue;}
    1233                 :            :         /* g is a product of irred. pols, all of which have degree d */
    1234                 :      11455 :         j = nbfact+dg/d;
    1235         [ +  + ]:      11455 :         if (flag)
    1236                 :            :         {
    1237         [ +  + ]:        402 :           if (flag == 2) return NULL;
    1238         [ +  + ]:        762 :           for ( ; nbfact<j; nbfact++) { t[nbfact]=d; E[nbfact]=e*k; }
    1239                 :            :         }
    1240                 :            :         else
    1241                 :            :         {
    1242                 :      11053 :           gel(t,nbfact) = g;
    1243                 :      11053 :           F2x_split(2,&gel(t,nbfact),d);
    1244         [ +  + ]:      23616 :           for (; nbfact<j; nbfact++) E[nbfact]=e*k;
    1245                 :            :         }
    1246                 :      11390 :         du -= dg;
    1247                 :      11390 :         u = F2x_div(u,g);
    1248                 :      11390 :         v = F2x_rem(v,u);
    1249                 :      11390 :         av = avma;
    1250                 :            :       }
    1251         [ +  + ]:       8528 :       if (du)
    1252                 :            :       {
    1253         [ +  + ]:       7641 :         if (flag) t[nbfact] = du;
    1254                 :       7022 :         else  gel(t,nbfact) = u;
    1255                 :       7641 :         E[nbfact++]=e*k;
    1256                 :            :       }
    1257                 :            :     }
    1258         [ +  + ]:       8550 :     if (F2x_degree(f2)==0) break;
    1259                 :       2253 :     e <<=1; f = F2x_sqrt(f2);
    1260                 :       2253 :   }
    1261         [ +  + ]:       6297 :   if (flag == 2) return gen_1; /* irreducible */
    1262                 :       6292 :   setlg(t, nbfact);
    1263                 :       6292 :   setlg(E, nbfact); y = mkvec2(t, E);
    1264                 :       6807 :   return flag ? sort_factor(y, (void*)cmpGuGu, cmp_nodata)
    1265         [ +  + ]:       6292 :               : sort_factor_pol(y, cmpGuGu);
    1266                 :            : }
    1267                 :            : GEN
    1268                 :       5248 : F2x_factcantor(GEN f, long flag)
    1269                 :            : {
    1270                 :       5248 :   pari_sp av = avma;
    1271                 :       5248 :   GEN z = F2x_factcantor_i(f, flag);
    1272         [ -  + ]:       5248 :   if (flag == 2) { avma = av; return z; }
    1273                 :       5248 :   return gerepilecopy(av, z);
    1274                 :            : }
    1275                 :            : 
    1276                 :            : int
    1277                 :        100 : F2x_is_irred(GEN f) { return !!F2x_factcantor_i(f,2); }
    1278                 :            : 
    1279                 :            : void
    1280                 :        397 : F2xV_to_FlxV_inplace(GEN v)
    1281                 :            : {
    1282                 :            :   long i;
    1283         [ +  + ]:       1275 :   for(i=1;i<lg(v);i++) gel(v,i)= F2x_to_Flx(gel(v,i));
    1284                 :        397 : }
    1285                 :            : void
    1286                 :     274144 : FlxV_to_ZXV_inplace(GEN v)
    1287                 :            : {
    1288                 :            :   long i;
    1289         [ +  + ]:     763654 :   for(i=1;i<lg(v);i++) gel(v,i)= Flx_to_ZX(gel(v,i));
    1290                 :     274144 : }
    1291                 :            : void
    1292                 :      52917 : F2xV_to_ZXV_inplace(GEN v)
    1293                 :            : {
    1294                 :            :   long i;
    1295         [ +  + ]:     110823 :   for(i=1;i<lg(v);i++) gel(v,i)= F2x_to_ZX(gel(v,i));
    1296                 :      52917 : }
    1297                 :            : 
    1298                 :            : /* factor f mod pp.
    1299                 :            :  * flag = 1: return the degrees, not the factors
    1300                 :            :  * flag = 2: return NULL if f is not irreducible */
    1301                 :            : static GEN
    1302                 :     121841 : Flx_factcantor_i(GEN f, ulong p, long flag)
    1303                 :            : {
    1304                 :     121841 :   long j, e, nbfact, d = degpol(f);
    1305                 :            :   ulong k;
    1306                 :            :   GEN X, E, f2, g, g1, u, v, q, y, t;
    1307         [ +  + ]:     121841 :   if (p==2) { /*We need to handle 2 specially */
    1308                 :       1444 :     GEN F = F2x_factcantor_i(Flx_to_F2x(f),flag);
    1309         [ +  + ]:       1444 :     if (flag==0) F2xV_to_FlxV_inplace(gel(F,1));
    1310                 :       1444 :     return F;
    1311                 :            :   }
    1312                 :            :   /* Now we assume p odd */
    1313         [ +  + ]:     120397 :   if (d <= 2) return Flx_factor_deg2(f, p, d, flag);
    1314                 :            : 
    1315                 :            :   /* to hold factors and exponents */
    1316         [ +  + ]:     100936 :   t = cgetg(d+1, flag? t_VECSMALL: t_VEC);
    1317                 :     100936 :   E = cgetg(d+1, t_VECSMALL);
    1318                 :     100936 :   X = polx_Flx(f[1]);
    1319                 :     100936 :   e = nbfact = 1;
    1320                 :            :   for(;;)
    1321                 :            :   {
    1322                 :     101156 :     f2 = Flx_gcd(f,Flx_deriv(f,p), p);
    1323 [ +  + ][ +  + ]:     101156 :     if (flag == 2 && degpol(f2) > 0) return NULL;
    1324                 :     101056 :     g1 = Flx_div(f,f2,p);
    1325                 :     101056 :     k = 0;
    1326         [ +  + ]:     205112 :     while (degpol(g1)>0)
    1327                 :            :     {
    1328                 :            :       pari_sp av;
    1329                 :            :       long du,dg;
    1330         [ +  + ]:     104356 :       k++; if (k%p==0) { k++; f2 = Flx_div(f2,g1,p); }
    1331                 :     104356 :       u = g1; g1 = Flx_gcd(f2,g1, p);
    1332         [ +  + ]:     104356 :       if (degpol(g1)>0)
    1333                 :            :       {
    1334                 :       3420 :         u = Flx_div( u,g1,p);
    1335                 :       3420 :         f2= Flx_div(f2,g1,p);
    1336                 :            :       }
    1337                 :     104356 :       du = degpol(u);
    1338         [ +  + ]:     104356 :       if (du <= 0) continue;
    1339                 :            : 
    1340                 :            :       /* here u is square-free (product of irred. of multiplicity e * k) */
    1341                 :     103170 :       v=X;
    1342                 :     103170 :       av = avma;
    1343         [ +  + ]:     346090 :       for (d=1; d <= du>>1; d++)
    1344                 :            :       {
    1345                 :     243220 :         v = Flxq_powu(v, p, u, p);
    1346                 :     243220 :         g = Flx_gcd(Flx_sub(v, X, p), u, p);
    1347                 :     243220 :         dg = degpol(g);
    1348         [ +  + ]:     243220 :         if (dg <= 0) {avma = (pari_sp)v; v = gerepileuptoleaf(av,v); continue;}
    1349                 :            :         /* g is a product of irred. pols, all of which have degree d */
    1350                 :     100743 :         j = nbfact+dg/d;
    1351         [ +  + ]:     100743 :         if (flag)
    1352                 :            :         {
    1353         [ +  + ]:      82638 :           if (flag == 2) return NULL;
    1354         [ +  + ]:     275117 :           for ( ; nbfact<j; nbfact++) { t[nbfact]=d; E[nbfact]=e*k; }
    1355                 :            :         }
    1356                 :            :         else
    1357                 :            :         {
    1358                 :      18105 :           GEN pd = powuu(p, d);
    1359                 :            :           long r;
    1360                 :      18105 :           g = Flx_normalize(g, p);
    1361                 :      18105 :           gel(t,nbfact) = g; q = subis(pd,1);
    1362                 :      18105 :           r = vali(q); q = shifti(pd,-r);
    1363                 :      18105 :           Flx_split(&gel(t,nbfact),d,p,q,r);
    1364         [ +  + ]:      64317 :           for (; nbfact<j; nbfact++) E[nbfact]=e*k;
    1365                 :            :         }
    1366                 :     100443 :         du -= dg;
    1367                 :     100443 :         u = Flx_div(u,g,p);
    1368                 :     100443 :         v = Flx_rem(v,u,p);
    1369                 :     100443 :         av = avma;
    1370                 :            :       }
    1371         [ +  + ]:     102870 :       if (du)
    1372                 :            :       {
    1373         [ +  + ]:      45804 :         if (flag) t[nbfact] = du;
    1374                 :       7349 :         else  gel(t,nbfact) = Flx_normalize(u, p);
    1375                 :      45804 :         E[nbfact++]=e*k;
    1376                 :            :       }
    1377                 :            :     }
    1378         [ +  + ]:     100756 :     if (degpol(f2)==0) break;
    1379                 :        220 :     e *= p; f = Flx_deflate(f2, p);
    1380                 :        220 :   }
    1381         [ +  + ]:     100536 :   if (flag == 2) return gen_1; /* irreducible */
    1382                 :     100521 :   setlg(t, nbfact);
    1383                 :     100521 :   setlg(E, nbfact); y = mkvec2(t, E);
    1384                 :     121841 :   return flag ? sort_factor(y, (void*)cmpGuGu, cmp_nodata)
    1385         [ +  + ]:     100521 :               : sort_factor_pol(y, cmpGuGu);
    1386                 :            : }
    1387                 :            : GEN
    1388                 :       5156 : Flx_factcantor(GEN f, ulong p, long flag)
    1389                 :            : {
    1390                 :       5156 :   pari_sp av = avma;
    1391                 :       5156 :   GEN z = Flx_factcantor_i(Flx_normalize(f,p),p,flag);
    1392         [ -  + ]:       5156 :   if (flag == 2) { avma = av; return z; }
    1393                 :       5156 :   return gerepilecopy(av, z);
    1394                 :            : }
    1395                 :            : GEN
    1396                 :     107477 : Flx_degfact(GEN f, ulong p)
    1397                 :            : {
    1398                 :     107477 :   pari_sp av = avma;
    1399                 :     107477 :   GEN z = Flx_factcantor_i(Flx_normalize(f,p),p,1);
    1400                 :     107477 :   return gerepilecopy(av, z);
    1401                 :            : }
    1402                 :            : int
    1403                 :        415 : Flx_is_irred(GEN f, ulong p) { return !!Flx_factcantor_i(f,p,2); }
    1404                 :            : 
    1405                 :            : /* factor f (FpX or Flx) mod pp.
    1406                 :            :  * flag = 1: return the degrees, not the factors
    1407                 :            :  * flag = 2: return NULL if f is not irreducible.
    1408                 :            :  * Not gerepile-safe */
    1409                 :            : static GEN
    1410                 :         65 : FpX_factcantor_i(GEN f, GEN pp, long flag)
    1411                 :            : {
    1412                 :         65 :   long j, nbfact, d = degpol(f);
    1413                 :            :   ulong k;
    1414                 :            :   GEN X, E,y,f2,g,g1,v,q;
    1415                 :            :   GEN t;
    1416         [ +  + ]:         65 :   if (typ(f) == t_VECSMALL)
    1417                 :            :   { /* lgefint(pp) = 3 */
    1418                 :            :     GEN F;
    1419                 :         40 :     ulong p = pp[2];
    1420         [ +  + ]:         40 :     if (p==2) {
    1421                 :         15 :       F = F2x_factcantor_i(Flx_to_F2x(f),flag);
    1422         [ +  + ]:         15 :       if (flag==0) F2xV_to_ZXV_inplace(gel(F,1));
    1423                 :            :     } else {
    1424                 :         25 :       F = Flx_factcantor_i(f,p,flag);
    1425         [ +  + ]:         25 :       if (flag==0) FlxV_to_ZXV_inplace(gel(F,1));
    1426                 :            :     }
    1427                 :         40 :     return F;
    1428                 :            :   }
    1429                 :            :   /*Now, we can assume that p is large and odd*/
    1430         [ +  + ]:         25 :   if (d <= 2) return FpX_factor_deg2(f,pp,d,flag);
    1431                 :            : 
    1432                 :            :   /* to hold factors and exponents */
    1433         [ -  + ]:          5 :   t = cgetg(d+1, flag? t_VECSMALL: t_VEC);
    1434                 :          5 :   E = cgetg(d+1, t_VECSMALL);
    1435                 :          5 :   X = pol_x(varn(f)); nbfact = 1;
    1436                 :          5 :   f2 = FpX_gcd(f,ZX_deriv(f), pp);
    1437 [ -  + ][ #  # ]:          5 :   if (flag == 2 && degpol(f2)) return NULL;
    1438         [ +  - ]:          5 :   g1 = degpol(f2)? FpX_div(f,f2,pp): f; /* squarefree */
    1439                 :          5 :   k = 0;
    1440         [ +  + ]:         15 :   while (degpol(g1)>0)
    1441                 :            :   {
    1442                 :            :     long du,dg;
    1443                 :            :     GEN u, S;
    1444                 :         10 :     k++;
    1445                 :         10 :     u = g1; g1 = FpX_gcd(f2,g1, pp);
    1446         [ +  + ]:         10 :     if (degpol(g1)>0)
    1447                 :            :     {
    1448                 :          5 :       u = FpX_div( u,g1,pp);
    1449                 :          5 :       f2= FpX_div(f2,g1,pp);
    1450                 :            :     }
    1451                 :         10 :     du = degpol(u);
    1452         [ -  + ]:         10 :     if (du <= 0) continue;
    1453                 :            : 
    1454                 :            :     /* here u is square-free (product of irred. of multiplicity e * k) */
    1455                 :         10 :     v=X;
    1456         [ +  + ]:         10 :     S = du==1 ?  cgetg(1, t_VEC): FpXQ_powers(FpXQ_pow(v, pp, u, pp), du-1, u, pp);
    1457         [ +  + ]:         20 :     for (d=1; d <= du>>1; d++)
    1458                 :            :     {
    1459                 :         10 :       v = FpX_FpXQV_eval(v, S, u, pp);
    1460                 :         10 :       g = FpX_gcd(ZX_sub(v, X), u, pp);
    1461                 :         10 :       dg = degpol(g);
    1462         [ -  + ]:         10 :       if (dg <= 0) continue;
    1463                 :            : 
    1464                 :            :       /* g is a product of irred. pols, all of which have degree d */
    1465                 :         10 :       j = nbfact+dg/d;
    1466         [ -  + ]:         10 :       if (flag)
    1467                 :            :       {
    1468         [ #  # ]:          0 :         if (flag == 2) return NULL;
    1469         [ #  # ]:          0 :         for ( ; nbfact<j; nbfact++) { t[nbfact]=d; E[nbfact]=k; }
    1470                 :            :       }
    1471                 :            :       else
    1472                 :            :       {
    1473                 :         10 :         GEN pd = powiu(pp,d);
    1474                 :            :         long r;
    1475                 :         10 :         g = FpX_normalize(g, pp);
    1476                 :         10 :         gel(t,nbfact) = g; q = subis(pd,1);
    1477                 :         10 :         r = vali(q); q = shifti(q,-r);
    1478                 :         10 :         FpX_split(&gel(t,nbfact),d,pp,q,r);
    1479         [ +  + ]:        170 :         for (; nbfact<j; nbfact++) E[nbfact]=k;
    1480                 :            :       }
    1481                 :         10 :       du -= dg;
    1482                 :         10 :       u = FpX_div(u,g,pp);
    1483                 :         10 :       v = FpX_rem(v,u,pp);
    1484                 :            :     }
    1485         [ +  + ]:         10 :     if (du)
    1486                 :            :     {
    1487         [ -  + ]:          5 :       if (flag) t[nbfact] = du;
    1488                 :          5 :       else gel(t,nbfact) = FpX_normalize(u, pp);
    1489                 :          5 :       E[nbfact++]=k;
    1490                 :            :     }
    1491                 :            :   }
    1492         [ -  + ]:          5 :   if (flag == 2) return gen_1; /* irreducible */
    1493                 :          5 :   setlg(t, nbfact);
    1494                 :          5 :   setlg(E, nbfact); y = mkvec2(t, E);
    1495                 :         65 :   return flag ? sort_factor(y, (void*)&cmpGuGu, cmp_nodata)
    1496         [ -  + ]:          5 :               : sort_factor_pol(y, cmpii);
    1497                 :            : }
    1498                 :            : GEN
    1499                 :          0 : FpX_factcantor(GEN f, GEN pp, long flag)
    1500                 :            : {
    1501                 :          0 :   pari_sp av = avma;
    1502                 :            :   GEN z;
    1503                 :          0 :   ZX_factmod_init(&f,pp);
    1504                 :          0 :   z = FpX_factcantor_i(f,pp,flag);
    1505         [ #  # ]:          0 :   if (flag == 2) { avma = av; return z; }
    1506                 :          0 :   return gerepilecopy(av, z);
    1507                 :            : }
    1508                 :            : 
    1509                 :            : static GEN
    1510                 :        120 : factmod_aux(GEN f, GEN p, GEN (*Factor)(GEN,GEN,long), long flag)
    1511                 :            : {
    1512                 :        120 :   pari_sp av = avma;
    1513                 :            :   long j, nbfact;
    1514                 :            :   GEN z, y, t, E, u, v;
    1515                 :            : 
    1516                 :        120 :   factmod_init(&f, p);
    1517      [ +  +  + ]:        120 :   switch(lg(f))
    1518                 :            :   {
    1519                 :         10 :     case 3: avma = av; return trivial_fact();
    1520                 :         10 :     case 2: return gerepileupto(av, zero_fact_intmod(f, p));
    1521                 :            :   }
    1522                 :        100 :   z = Factor(f,p,flag); t = gel(z,1); E = gel(z,2);
    1523                 :        100 :   y = cgetg(3, t_MAT); nbfact = lg(t);
    1524                 :        100 :   u = cgetg(nbfact,t_COL); gel(y,1) = u;
    1525                 :        100 :   v = cgetg(nbfact,t_COL); gel(y,2) = v;
    1526         [ +  + ]:        100 :   if (flag)
    1527         [ +  + ]:         75 :     for (j=1; j<nbfact; j++)
    1528                 :            :     {
    1529                 :         50 :       gel(u,j) = utoi((ulong)t[j]);
    1530                 :         50 :       gel(v,j) = utoi((ulong)E[j]);
    1531                 :            :     }
    1532                 :            :   else
    1533         [ +  + ]:       5510 :     for (j=1; j<nbfact; j++)
    1534                 :            :     {
    1535                 :       5435 :       gel(u,j) = FpX_to_mod(gel(t,j), p);
    1536                 :       5435 :       gel(v,j) = utoi((ulong)E[j]);
    1537                 :            :     }
    1538                 :        120 :   return gerepileupto(av, y);
    1539                 :            : }
    1540                 :            : GEN
    1541                 :         65 : factcantor0(GEN f, GEN p, long flag)
    1542                 :         65 : { return factmod_aux(f, p, &FpX_factcantor_i, flag); }
    1543                 :            : GEN
    1544                 :         55 : factmod(GEN f, GEN p)
    1545                 :         55 : { return factmod_aux(f, p, &FpX_Berlekamp_i, 0); }
    1546                 :            : 
    1547                 :            : /* Use this function when you think f is reducible, and that there are lots of
    1548                 :            :  * factors. If you believe f has few factors, use FpX_nbfact(f,p)==1 instead */
    1549                 :            : int
    1550                 :         10 : FpX_is_irred(GEN f, GEN p) {
    1551                 :         10 :   ZX_factmod_init(&f,p);
    1552                 :         10 :   return !!FpX_factcantor_i(f,p,2);
    1553                 :            : }
    1554                 :            : GEN
    1555                 :          0 : FpX_degfact(GEN f, GEN p) {
    1556                 :          0 :   pari_sp av = avma;
    1557                 :            :   GEN z;
    1558                 :          0 :   ZX_factmod_init(&f,p);
    1559                 :          0 :   z = FpX_factcantor_i(f,p,1);
    1560                 :          0 :   return gerepilecopy(av, z);
    1561                 :            : }
    1562                 :            : GEN
    1563                 :         40 : factcantor(GEN f, GEN p) { return factcantor0(f,p,0); }
    1564                 :            : GEN
    1565                 :         25 : simplefactmod(GEN f, GEN p) { return factcantor0(f,p,1); }
    1566                 :            : 
    1567                 :            : /* set x <-- x + c*y mod p */
    1568                 :            : /* x is not required to be normalized.*/
    1569                 :            : static void
    1570                 :     443318 : Flx_addmul_inplace(GEN gx, GEN gy, ulong c, ulong p)
    1571                 :            : {
    1572                 :            :   long i, lx, ly;
    1573                 :     443318 :   ulong *x=(ulong *)gx;
    1574                 :     443318 :   ulong *y=(ulong *)gy;
    1575         [ +  + ]:     874421 :   if (!c) return;
    1576                 :     431103 :   lx = lg(gx);
    1577                 :     431103 :   ly = lg(gy);
    1578         [ -  + ]:     431103 :   if (lx<ly) pari_err_BUG("lx<ly in Flx_addmul_inplace");
    1579         [ +  + ]:     431103 :   if (SMALL_ULONG(p))
    1580         [ +  + ]:    3004928 :     for (i=2; i<ly;  i++) x[i] = (x[i] + c*y[i]) % p;
    1581                 :            :   else
    1582         [ +  + ]:      10383 :     for (i=2; i<ly;  i++) x[i] = Fl_add(x[i], Fl_mul(c,y[i],p),p);
    1583                 :            : }
    1584                 :            : 
    1585                 :            : /* return a random polynomial in F_q[v], degree < d1 */
    1586                 :            : GEN
    1587                 :       1824 : FqX_rand(long d1, long v, GEN T, GEN p)
    1588                 :            : {
    1589                 :       1824 :   long i, d = d1+2, k = get_FpX_degree(T), w = get_FpX_var(T);
    1590                 :       1824 :   GEN y = cgetg(d,t_POL); y[1] = evalsigne(1) | evalvarn(v);
    1591         [ +  + ]:      12359 :   for (i=2; i<d; i++) gel(y,i) = random_FpX(k, w, p);
    1592                 :       1824 :   (void)normalizepol_lg(y,d); return y;
    1593                 :            : }
    1594                 :            : 
    1595                 :            : #define set_irred(i) { if ((i)>ir) swap(t[i],t[ir]); ir++;}
    1596                 :            : /* assume x1 != 0 */
    1597                 :            : static GEN
    1598                 :      81258 : deg1_Flx(ulong x1, ulong x0, ulong sv)
    1599                 :            : {
    1600                 :      81258 :   return mkvecsmall3(sv, x0, x1);
    1601                 :            : }
    1602                 :            : 
    1603                 :            : long
    1604                 :      30283 : F2x_split_Berlekamp(GEN *t)
    1605                 :            : {
    1606                 :      30283 :   GEN u = *t, a, b, vker;
    1607                 :      30283 :   long lb, d, i, ir, L, la, sv = u[1], du = F2x_degree(u);
    1608                 :            : 
    1609         [ +  + ]:      30283 :   if (du == 1) return 1;
    1610         [ +  + ]:      19597 :   if (du == 2)
    1611                 :            :   {
    1612         [ -  + ]:       4817 :     if (F2x_quad_factortype(u) == 1) /* 0 is a root: shouldn't occur */
    1613                 :            :     {
    1614                 :          0 :       t[0] = mkvecsmall2(sv, 2);
    1615                 :          0 :       t[1] = mkvecsmall2(sv, 3);
    1616                 :          0 :       return 2;
    1617                 :            :     }
    1618                 :       4817 :     return 1;
    1619                 :            :   }
    1620                 :            : 
    1621                 :      14780 :   vker = F2x_Berlekamp_ker(u);
    1622                 :      14780 :   lb = lgcols(vker);
    1623                 :      14780 :   d = lg(vker)-1;
    1624                 :      14780 :   ir = 0;
    1625                 :            :   /* t[i] irreducible for i < ir, still to be treated for i < L */
    1626         [ +  + ]:      18700 :   for (L=1; L<d; )
    1627                 :            :   {
    1628                 :            :     GEN pol;
    1629         [ +  + ]:       3920 :     if (d == 2)
    1630                 :       3736 :       pol = F2v_to_F2x(gel(vker,2), sv);
    1631                 :            :     else
    1632                 :            :     {
    1633                 :        184 :       GEN v = zero_zv(lb);
    1634                 :        184 :       v[1] = du;
    1635                 :        184 :       v[2] = random_Fl(2); /*Assume vker[1]=1*/
    1636         [ +  + ]:        578 :       for (i=2; i<=d; i++)
    1637         [ +  + ]:        394 :         if (random_Fl(2)) F2v_add_inplace(v, gel(vker,i));
    1638                 :        184 :       pol = F2v_to_F2x(v, sv);
    1639                 :            :     }
    1640 [ +  + ][ +  + ]:       7999 :     for (i=ir; i<L && L<d; i++)
    1641                 :            :     {
    1642                 :       4079 :       a = t[i]; la = F2x_degree(a);
    1643 [ +  + ][ +  + ]:       4079 :       if (la == 1) { set_irred(i); }
    1644         [ -  + ]:       4068 :       else if (la == 2)
    1645                 :            :       {
    1646         [ #  # ]:          0 :         if (F2x_quad_factortype(a) == 1) /* 0 is a root: shouldn't occur */
    1647                 :            :         {
    1648                 :          0 :           t[i] = mkvecsmall2(sv, 2);
    1649                 :          0 :           t[L] = mkvecsmall2(sv, 3); L++;
    1650                 :            :         }
    1651         [ #  # ]:          0 :         set_irred(i);
    1652                 :            :       }
    1653                 :            :       else
    1654                 :            :       {
    1655                 :       4068 :         pari_sp av = avma;
    1656                 :            :         long lb;
    1657                 :       4068 :         b = F2x_rem(pol, a);
    1658         [ +  + ]:       4068 :         if (F2x_degree(b) <= 0) { avma=av; continue; }
    1659                 :       3851 :         b = F2x_gcd(a,b); lb = F2x_degree(b);
    1660 [ +  - ][ +  - ]:       3851 :         if (lb && lb < la)
    1661                 :            :         {
    1662                 :       3851 :           t[L] = F2x_div(a,b);
    1663                 :       3851 :           t[i]= b; L++;
    1664                 :            :         }
    1665                 :          0 :         else avma = av;
    1666                 :            :       }
    1667                 :            :     }
    1668                 :            :   }
    1669                 :      30283 :   return d;
    1670                 :            : }
    1671                 :            : 
    1672                 :            : /* p != 2 */
    1673                 :            : long
    1674                 :     172646 : Flx_split_Berlekamp(GEN *t, ulong p)
    1675                 :            : {
    1676                 :     172646 :   GEN u = *t, a,b,vker;
    1677                 :     172646 :   long d, i, ir, L, la, lb, sv = u[1];
    1678                 :     172646 :   long l = lg(u);
    1679                 :            :   ulong po2;
    1680                 :            : 
    1681         [ -  + ]:     172646 :   if (p == 2)
    1682                 :            :   {
    1683                 :          0 :     *t = Flx_to_F2x(*t);
    1684                 :          0 :     d = F2x_split_Berlekamp(t);
    1685         [ #  # ]:          0 :     for (i = 1; i <= d; i++) t[i] = F2x_to_Flx(t[i]);
    1686                 :          0 :     return d;
    1687                 :            :   }
    1688                 :     172646 :   la = degpol(u);
    1689         [ +  + ]:     172646 :   if (la == 1) return 1;
    1690         [ +  + ]:     162883 :   if (la == 2)
    1691                 :            :   {
    1692                 :       7422 :     ulong r = Flx_quad_root(u,p,1);
    1693         [ +  + ]:       7422 :     if (r != p)
    1694                 :            :     {
    1695                 :       3011 :       t[0] = deg1_Flx(1, p - r, sv); r = Flx_otherroot(u,r,p);
    1696                 :       3011 :       t[1] = deg1_Flx(1, p - r, sv);
    1697                 :       3011 :       return 2;
    1698                 :            :     }
    1699                 :       4411 :     return 1;
    1700                 :            :   }
    1701                 :            : 
    1702                 :     155461 :   vker = Flx_Berlekamp_ker(u,p);
    1703                 :     155461 :   vker = Flm_to_FlxV(vker, sv);
    1704                 :     155461 :   d = lg(vker)-1;
    1705                 :     155461 :   po2 = p >> 1; /* (p-1) / 2 */
    1706                 :     155461 :   ir = 0;
    1707                 :            :   /* t[i] irreducible for i < ir, still to be treated for i < L */
    1708         [ +  + ]:     374261 :   for (L=1; L<d; )
    1709                 :            :   {
    1710                 :     218800 :     GEN pol = zero_zv(l-2);
    1711                 :     218800 :     pol[1] = sv;
    1712                 :     218800 :     pol[2] = random_Fl(p); /*Assume vker[1]=1*/
    1713         [ +  + ]:     662118 :     for (i=2; i<=d; i++)
    1714                 :     443318 :       Flx_addmul_inplace(pol, gel(vker,i), random_Fl(p), p);
    1715                 :     218800 :     (void)Flx_renormalize(pol,l-1);
    1716                 :            : 
    1717 [ +  + ][ +  + ]:     532334 :     for (i=ir; i<L && L<d; i++)
    1718                 :            :     {
    1719                 :     313534 :       a = t[i]; la = degpol(a);
    1720 [ +  + ][ +  + ]:     313534 :       if (la == 1) { set_irred(i); }
    1721         [ +  + ]:     285946 :       else if (la == 2)
    1722                 :            :       {
    1723                 :      47050 :         ulong r = Flx_quad_root(a,p,1);
    1724         [ +  + ]:      47050 :         if (r != p)
    1725                 :            :         {
    1726                 :      37618 :           t[i] = deg1_Flx(1, p - r, sv); r = Flx_otherroot(a,r,p);
    1727                 :      37618 :           t[L] = deg1_Flx(1, p - r, sv); L++;
    1728                 :            :         }
    1729         [ +  + ]:      47050 :         set_irred(i);
    1730                 :            :       }
    1731                 :            :       else
    1732                 :            :       {
    1733                 :     238896 :         pari_sp av = avma;
    1734                 :     238896 :         b = Flx_rem(pol, a, p);
    1735         [ +  + ]:     238896 :         if (degpol(b) <= 0) { avma=av; continue; }
    1736                 :     221862 :         b = Flx_Fl_add(Flxq_powu(b,po2, a,p), p-1, p);
    1737                 :     221862 :         b = Flx_gcd(a,b, p); lb = degpol(b);
    1738 [ +  + ][ +  + ]:     221862 :         if (lb && lb < la)
    1739                 :            :         {
    1740                 :     126910 :           b = Flx_normalize(b, p);
    1741                 :     126910 :           t[L] = Flx_div(a,b,p);
    1742                 :     126910 :           t[i]= b; L++;
    1743                 :            :         }
    1744                 :      94952 :         else avma = av;
    1745                 :            :       }
    1746                 :            :     }
    1747                 :            :   }
    1748                 :     172646 :   return d;
    1749                 :            : }
    1750                 :            : 
    1751                 :            : long
    1752                 :        133 : FpX_split_Berlekamp(GEN *t, GEN p)
    1753                 :            : {
    1754                 :        133 :   GEN u = *t, a,b,po2,vker;
    1755                 :        133 :   long d, i, ir, L, la, lb, vu = varn(u);
    1756         [ +  + ]:        133 :   if (lgefint(p) == 3)
    1757                 :            :   {
    1758                 :         90 :     ulong up = p[2];
    1759         [ -  + ]:         90 :     if (up == 2)
    1760                 :            :     {
    1761                 :          0 :       *t = ZX_to_F2x(*t);
    1762                 :          0 :       d = F2x_split_Berlekamp(t);
    1763         [ #  # ]:          0 :       for (i = 0; i < d; i++) t[i] = F2x_to_ZX(t[i]);
    1764                 :            :     }
    1765                 :            :     else
    1766                 :            :     {
    1767                 :         90 :       *t = ZX_to_Flx(*t, up);
    1768                 :         90 :       d = Flx_split_Berlekamp(t, up);
    1769         [ +  + ]:        750 :       for (i = 0; i < d; i++) t[i] = Flx_to_ZX(t[i]);
    1770                 :            :     }
    1771                 :         90 :     return d;
    1772                 :            :   }
    1773                 :         43 :   la = degpol(u);
    1774         [ +  + ]:         43 :   if (la == 1) return 1;
    1775         [ +  + ]:         40 :   if (la == 2)
    1776                 :            :   {
    1777                 :          2 :     GEN r = FpX_quad_root(u,p,1);
    1778         [ -  + ]:          2 :     if (r)
    1779                 :            :     {
    1780                 :          0 :       t[0] = deg1pol_shallow(gen_1, subii(p,r), vu); r = FpX_otherroot(u,r,p);
    1781                 :          0 :       t[1] = deg1pol_shallow(gen_1, subii(p,r), vu);
    1782                 :          0 :       return 2;
    1783                 :            :     }
    1784                 :          2 :     return 1;
    1785                 :            :   }
    1786                 :         38 :   vker = FpX_Berlekamp_ker(u,p);
    1787                 :         38 :   vker = RgM_to_RgXV(vker,vu);
    1788                 :         38 :   d = lg(vker)-1;
    1789                 :         38 :   po2 = shifti(p, -1); /* (p-1) / 2 */
    1790                 :         38 :   ir = 0;
    1791                 :            :   /* t[i] irreducible for i < ir, still to be treated for i < L */
    1792         [ +  + ]:         87 :   for (L=1; L<d; )
    1793                 :            :   {
    1794                 :         49 :     GEN pol = scalar_ZX_shallow(randomi(p), vu);
    1795         [ +  + ]:        208 :     for (i=2; i<=d; i++)
    1796                 :        159 :       pol = ZX_add(pol, ZX_Z_mul(gel(vker,i), randomi(p)));
    1797                 :         49 :     pol = FpX_red(pol,p);
    1798 [ +  + ][ +  + ]:        139 :     for (i=ir; i<L && L<d; i++)
    1799                 :            :     {
    1800                 :         90 :       a = t[i]; la = degpol(a);
    1801 [ +  + ][ +  + ]:         90 :       if (la == 1) { set_irred(i); }
    1802         [ +  + ]:         78 :       else if (la == 2)
    1803                 :            :       {
    1804                 :          9 :         GEN r = FpX_quad_root(a,p,1);
    1805         [ +  - ]:          9 :         if (r)
    1806                 :            :         {
    1807                 :          9 :           t[i] = deg1pol_shallow(gen_1, subii(p,r), vu); r = FpX_otherroot(a,r,p);
    1808                 :          9 :           t[L] = deg1pol_shallow(gen_1, subii(p,r), vu); L++;
    1809                 :            :         }
    1810         [ +  + ]:          9 :         set_irred(i);
    1811                 :            :       }
    1812                 :            :       else
    1813                 :            :       {
    1814                 :         69 :         pari_sp av = avma;
    1815                 :         69 :         b = FpX_rem(pol, a, p);
    1816         [ +  + ]:         69 :         if (degpol(b) <= 0) { avma=av; continue; }
    1817                 :         68 :         b = FpX_Fp_sub_shallow(FpXQ_pow(b,po2, a,p), gen_1, p);
    1818                 :         68 :         b = FpX_gcd(a,b, p); lb = degpol(b);
    1819 [ +  + ][ +  + ]:         68 :         if (lb && lb < la)
    1820                 :            :         {
    1821                 :         33 :           b = FpX_normalize(b, p);
    1822                 :         33 :           t[L] = FpX_div(a,b,p);
    1823                 :         33 :           t[i]= b; L++;
    1824                 :            :         }
    1825                 :         35 :         else avma = av;
    1826                 :            :       }
    1827                 :            :     }
    1828                 :            :   }
    1829                 :        133 :   return d;
    1830                 :            : }
    1831                 :            : 
    1832                 :            : GEN
    1833                 :      10715 : FqX_deriv(GEN f, /*unused*/GEN T, GEN p) {
    1834                 :      10715 :   (void)T; return FpXX_red(RgX_deriv(f), p);
    1835                 :            : }
    1836                 :            : 
    1837                 :            : long
    1838                 :        330 : FqX_is_squarefree(GEN P, GEN T, GEN p)
    1839                 :            : {
    1840                 :        330 :   pari_sp av = avma;
    1841                 :        330 :   GEN z = FqX_gcd(P, FqX_deriv(P, T, p), T, p);
    1842                 :        330 :   avma = av;
    1843                 :        330 :   return degpol(z)==0;
    1844                 :            : }
    1845                 :            : 
    1846                 :            : static GEN
    1847                 :      52912 : F2x_Berlekamp_i(GEN f, long flag)
    1848                 :            : {
    1849                 :      52912 :   long e, nbfact, val, d = F2x_degree(f);
    1850                 :            :   ulong k, j;
    1851                 :            :   GEN y, E, f2, g1, t;
    1852                 :            : 
    1853         [ +  + ]:      52912 :   if (d <= 2) return F2x_factor_deg2(f, d, flag);
    1854                 :            : 
    1855                 :            :   /* to hold factors and exponents */
    1856         [ -  + ]:      31467 :   t = cgetg(d+1, flag? t_VECSMALL: t_VEC);
    1857                 :      31467 :   E = cgetg(d+1,t_VECSMALL);
    1858                 :      31467 :   val = F2x_valrem(f, &f);
    1859                 :      31467 :   e = nbfact = 1;
    1860         [ +  + ]:      31467 :   if (val) {
    1861 [ -  + ][ #  # ]:       6491 :     if (flag == 2 && val > 1) return NULL;
    1862         [ -  + ]:       6491 :     if (flag == 1)
    1863                 :          0 :       t[1] = 1;
    1864                 :            :     else
    1865                 :       6491 :       gel(t,1) = polx_F2x(f[1]);
    1866                 :       6491 :     E[1] = val; nbfact++;
    1867                 :            :   }
    1868                 :            : 
    1869                 :            :   for(;;)
    1870                 :            :   {
    1871                 :      57029 :     f2 = F2x_gcd(f,F2x_deriv(f));
    1872 [ -  + ][ #  # ]:      57029 :     if (flag == 2 && F2x_degree(f2)) return NULL;
    1873         [ +  + ]:      57029 :     g1 = F2x_degree(f2)? F2x_div(f,f2): f; /* squarefree */
    1874                 :      57029 :     k = 0;
    1875         [ +  + ]:      95330 :     while (F2x_degree(g1)>0)
    1876                 :            :     {
    1877                 :            :       GEN u;
    1878         [ +  + ]:      38301 :       k++; if (k%2 == 0) { k++; f2 = F2x_div(f2,g1); }
    1879                 :      38301 :       u = g1; /* deg(u) > 0 */
    1880         [ +  + ]:      38301 :       if (!F2x_degree(f2)) g1 = pol1_F2x(0); /* only its degree (= 0) matters */
    1881                 :            :       else
    1882                 :            :       {
    1883                 :            :         long dg1;
    1884                 :       9779 :         g1 = F2x_gcd(f2,g1);
    1885                 :       9779 :         dg1 = F2x_degree(g1);
    1886         [ +  + ]:       9779 :         if (dg1)
    1887                 :            :         {
    1888                 :       8654 :           f2= F2x_div(f2,g1);
    1889         [ +  + ]:       8654 :           if (F2x_degree(u) == dg1) continue;
    1890                 :        636 :           u = F2x_div( u,g1);
    1891                 :            :         }
    1892                 :            :       }
    1893                 :            :       /* u is square-free (product of irred. of multiplicity e * k) */
    1894                 :      30283 :       gel(t,nbfact) = u;
    1895                 :      30283 :       d = F2x_split_Berlekamp(&gel(t,nbfact));
    1896 [ -  + ][ #  # ]:      30283 :       if (flag == 2 && d != 1) return NULL;
    1897         [ -  + ]:      30283 :       if (flag == 1)
    1898         [ #  # ]:          0 :         for (j=0; j<(ulong)d; j++) t[nbfact+j] = F2x_degree(gel(t,nbfact+j));
    1899         [ +  + ]:      64417 :       for (j=0; j<(ulong)d; j++) E[nbfact+j] = e*k;
    1900                 :      30283 :       nbfact += d;
    1901                 :            :     }
    1902         [ +  + ]:      57029 :     j = F2x_degree(f2); if (!j) break;
    1903                 :      25562 :     e *= 2; f = F2x_deflate(f2, 2);
    1904                 :      25562 :   }
    1905         [ -  + ]:      31467 :   if (flag == 2) return gen_1; /* irreducible */
    1906                 :      31467 :   setlg(t, nbfact);
    1907                 :      31467 :   setlg(E, nbfact); y = mkvec2(t,E);
    1908                 :      52912 :   return flag ? sort_factor(y, (void*)&cmpGuGu, cmp_nodata)
    1909         [ -  + ]:      31467 :               : sort_factor_pol(y, cmpGuGu);
    1910                 :            : }
    1911                 :            : 
    1912                 :            : static GEN
    1913                 :     276223 : Flx_Berlekamp_i(GEN f, ulong p, long flag)
    1914                 :            : {
    1915                 :     276223 :   long e, nbfact, val, d = degpol(f);
    1916                 :            :   ulong k, j;
    1917                 :            :   GEN y, E, f2, g1, t;
    1918                 :            : 
    1919         [ -  + ]:     276223 :   if (p == 2)
    1920                 :            :   {
    1921                 :          0 :     GEN F = F2x_Berlekamp_i(Flx_to_F2x(f),flag);
    1922         [ #  # ]:          0 :     if (flag==0) F2xV_to_FlxV_inplace(gel(F,1));
    1923                 :          0 :     return F;
    1924                 :            :   }
    1925         [ +  + ]:     276223 :   if (d <= 2) return Flx_factor_deg2(f,p,d,flag);
    1926                 :            : 
    1927                 :            :   /* to hold factors and exponents */
    1928         [ -  + ]:     170483 :   t = cgetg(d+1, flag? t_VECSMALL: t_VEC);
    1929                 :     170483 :   E = cgetg(d+1,t_VECSMALL);
    1930                 :     170483 :   val = Flx_valrem(f, &f);
    1931                 :     170483 :   e = nbfact = 1;
    1932         [ +  + ]:     170483 :   if (val) {
    1933 [ -  + ][ #  # ]:       4518 :     if (flag == 2 && val > 1) return NULL;
    1934         [ -  + ]:       4518 :     if (flag == 1)
    1935                 :          0 :       t[1] = 1;
    1936                 :            :     else
    1937                 :       4518 :       gel(t,1) = polx_Flx(f[1]);
    1938                 :       4518 :     E[1] = val; nbfact++;
    1939                 :            :   }
    1940                 :            : 
    1941                 :            :   for(;;)
    1942                 :            :   {
    1943                 :     174326 :     f2 = Flx_gcd(f,Flx_deriv(f,p), p);
    1944 [ -  + ][ #  # ]:     174326 :     if (flag == 2 && degpol(f2)) return NULL;
    1945         [ +  + ]:     174326 :     g1 = degpol(f2)? Flx_div(f,f2,p): f; /* squarefree */
    1946                 :     174326 :     k = 0;
    1947         [ +  + ]:     373152 :     while (degpol(g1)>0)
    1948                 :            :     {
    1949                 :            :       GEN u;
    1950         [ +  + ]:     198826 :       k++; if (k%p == 0) { k++; f2 = Flx_div(f2,g1,p); }
    1951                 :     198826 :       u = g1; /* deg(u) > 0 */
    1952         [ +  + ]:     198826 :       if (!degpol(f2)) g1 = pol1_Flx(0); /* only its degree (= 0) matters */
    1953                 :            :       else
    1954                 :            :       {
    1955                 :      29819 :         g1 = Flx_gcd(f2,g1, p);
    1956         [ +  + ]:      29819 :         if (degpol(g1))
    1957                 :            :         {
    1958                 :      29718 :           f2= Flx_div(f2,g1,p);
    1959         [ +  + ]:      29718 :           if (lg(u) == lg(g1)) continue;
    1960                 :       3448 :           u = Flx_div( u,g1,p);
    1961                 :            :         }
    1962                 :            :       }
    1963                 :            :       /* u is square-free (product of irred. of multiplicity e * k) */
    1964                 :     172556 :       u = Flx_normalize(u,p);
    1965                 :     172556 :       gel(t,nbfact) = u;
    1966                 :     172556 :       d = Flx_split_Berlekamp(&gel(t,nbfact), p);
    1967 [ -  + ][ #  # ]:     172556 :       if (flag == 2 && d != 1) return NULL;
    1968         [ -  + ]:     172556 :       if (flag == 1)
    1969         [ #  # ]:          0 :         for (j=0; j<(ulong)d; j++) t[nbfact+j] = degpol(gel(t,nbfact+j));
    1970         [ +  + ]:     512081 :       for (j=0; j<(ulong)d; j++) E[nbfact+j] = e*k;
    1971                 :     172556 :       nbfact += d;
    1972                 :            :     }
    1973         [ -  + ]:     174326 :     if (!p) break;
    1974         [ +  + ]:     174326 :     j = degpol(f2); if (!j) break;
    1975         [ -  + ]:       3843 :     if (j % p) pari_err_PRIME("factmod",utoi(p));
    1976                 :       3843 :     e *= p; f = Flx_deflate(f2, p);
    1977                 :       3843 :   }
    1978         [ -  + ]:     170483 :   if (flag == 2) return gen_1; /* irreducible */
    1979                 :     170483 :   setlg(t, nbfact);
    1980                 :     170483 :   setlg(E, nbfact); y = mkvec2(t,E);
    1981                 :     276223 :   return flag ? sort_factor(y, (void*)&cmpGuGu, cmp_nodata)
    1982         [ -  + ]:     170483 :               : sort_factor_pol(y, cmpGuGu);
    1983                 :            : }
    1984                 :            : 
    1985                 :            : /* f an FpX or an Flx */
    1986                 :            : static GEN
    1987                 :     325898 : FpX_Berlekamp_i(GEN f, GEN pp, long flag)
    1988                 :            : {
    1989                 :     325898 :   long e, nbfact, val, d = degpol(f);
    1990                 :            :   ulong k, j;
    1991                 :            :   GEN y, E, f2, g1, t;
    1992                 :            : 
    1993         [ +  + ]:     325898 :   if (typ(f) == t_VECSMALL)
    1994                 :            :   {/* lgefint(pp) == 3 */
    1995                 :     325821 :     ulong p = pp[2];
    1996                 :            :     GEN F;
    1997         [ +  + ]:     325821 :     if (p == 2) {
    1998                 :      52912 :       F = F2x_Berlekamp_i(Flx_to_F2x(f), flag);
    1999         [ +  - ]:      52912 :       if (flag==0) F2xV_to_ZXV_inplace(gel(F,1));
    2000                 :            :     } else {
    2001                 :     272909 :       F = Flx_Berlekamp_i(f, p, flag);
    2002         [ +  - ]:     272909 :       if (flag==0) FlxV_to_ZXV_inplace(gel(F,1));
    2003                 :            :     }
    2004                 :     325821 :     return F;
    2005                 :            :   }
    2006                 :            :   /* p is large (and odd) */
    2007         [ +  + ]:         77 :   if (d <= 2) return FpX_factor_deg2(f,pp,d,flag);
    2008                 :            : 
    2009                 :            :   /* to hold factors and exponents */
    2010         [ -  + ]:         40 :   t = cgetg(d+1, flag? t_VECSMALL: t_VEC);
    2011                 :         40 :   E = cgetg(d+1,t_VECSMALL);
    2012                 :         40 :   val = ZX_valrem(f, &f);
    2013                 :         40 :   e = nbfact = 1;
    2014         [ +  + ]:         40 :   if (val) {
    2015 [ -  + ][ #  # ]:          2 :     if (flag == 2 && val > 1) return NULL;
    2016         [ -  + ]:          2 :     if (flag == 1)
    2017                 :          0 :       t[1] = 1;
    2018                 :            :     else
    2019                 :          2 :       gel(t,1) = pol_x(varn(f));
    2020                 :          2 :     E[1] = val; nbfact++;
    2021                 :            :   }
    2022                 :            : 
    2023                 :         40 :   f2 = FpX_gcd(f,ZX_deriv(f), pp);
    2024 [ -  + ][ #  # ]:         40 :   if (flag == 2 && degpol(f2)) return NULL;
    2025         [ +  + ]:         40 :   g1 = degpol(f2)? FpX_div(f,f2,pp): f; /* squarefree */
    2026                 :         40 :   k = 0;
    2027         [ +  + ]:         84 :   while (degpol(g1)>0)
    2028                 :            :   {
    2029                 :            :     GEN u;
    2030                 :         44 :     k++;
    2031                 :         44 :     u = g1; /* deg(u) > 0 */
    2032         [ +  + ]:         44 :     if (!degpol(f2)) g1 = pol_1(0); /* only its degree (= 0) matters */
    2033                 :            :     else
    2034                 :            :     {
    2035                 :          4 :       g1 = FpX_gcd(f2,g1, pp);
    2036         [ +  - ]:          4 :       if (degpol(g1))
    2037                 :            :       {
    2038                 :          4 :         f2= FpX_div(f2,g1,pp);
    2039         [ +  + ]:          4 :         if (lg(u) == lg(g1)) continue;
    2040                 :          3 :         u = FpX_div( u,g1,pp);
    2041                 :            :       }
    2042                 :            :     }
    2043                 :            :     /* u is square-free (product of irred. of multiplicity e * k) */
    2044                 :         43 :     u = FpX_normalize(u,pp);
    2045                 :         43 :     gel(t,nbfact) = u;
    2046                 :         43 :     d = FpX_split_Berlekamp(&gel(t,nbfact), pp);
    2047 [ -  + ][ #  # ]:         43 :     if (flag == 2 && d != 1) return NULL;
    2048         [ -  + ]:         43 :     if (flag == 1)
    2049         [ #  # ]:          0 :       for (j=0; j<(ulong)d; j++) t[nbfact+j] = degpol(gel(t,nbfact+j));
    2050         [ +  + ]:        128 :     for (j=0; j<(ulong)d; j++) E[nbfact+j] = e*k;
    2051                 :         43 :     nbfact += d;
    2052                 :            :   }
    2053         [ -  + ]:         40 :   if (flag == 2) return gen_1; /* irreducible */
    2054                 :         40 :   setlg(t, nbfact);
    2055                 :         40 :   setlg(E, nbfact); y = mkvec2(t,E);
    2056                 :     325898 :   return flag ? sort_factor(y, (void*)&cmpGuGu, cmp_nodata)
    2057         [ -  + ]:         40 :               : sort_factor_pol(y, cmpii);
    2058                 :            : }
    2059                 :            : GEN
    2060                 :     325853 : FpX_factor(GEN f, GEN p)
    2061                 :            : {
    2062                 :     325853 :   pari_sp av = avma;
    2063                 :     325853 :   ZX_factmod_init(&f, p);
    2064                 :     325853 :   return gerepilecopy(av, FpX_Berlekamp_i(f, p, 0));
    2065                 :            : }
    2066                 :            : GEN
    2067                 :      12082 : Flx_factor(GEN f, ulong p)
    2068                 :            : {
    2069                 :      12082 :   pari_sp av = avma;
    2070         [ +  + ]:      12082 :   GEN F = (degpol(f)>log2(p))? Flx_factcantor_i(f,p,0): Flx_Berlekamp_i(f,p,0);
    2071                 :      12082 :   return gerepilecopy(av, F);
    2072                 :            : }
    2073                 :            : GEN
    2074                 :          0 : F2x_factor(GEN f)
    2075                 :            : {
    2076                 :          0 :   pari_sp av = avma;
    2077                 :          0 :   return gerepilecopy(av, F2x_Berlekamp_i(f, 0));
    2078                 :            : }
    2079                 :            : 
    2080                 :            : GEN
    2081                 :         65 : factormod0(GEN f, GEN p, long flag)
    2082                 :            : {
    2083      [ +  +  - ]:         65 :   switch(flag)
    2084                 :            :   {
    2085                 :         45 :     case 0: return factmod(f,p);
    2086                 :         20 :     case 1: return simplefactmod(f,p);
    2087                 :          0 :     default: pari_err_FLAG("factormod");
    2088                 :            :   }
    2089                 :         65 :   return NULL; /* not reached */
    2090                 :            : }
    2091                 :            : 
    2092                 :            : /*******************************************************************/
    2093                 :            : /*                                                                 */
    2094                 :            : /*                     FACTORIZATION IN F_q                        */
    2095                 :            : /*                                                                 */
    2096                 :            : /*******************************************************************/
    2097                 :            : static GEN
    2098                 :       6830 : to_Fq(GEN x, GEN T, GEN p)
    2099                 :            : {
    2100                 :       6830 :   long i, lx, tx = typ(x);
    2101                 :            :   GEN y;
    2102                 :            : 
    2103         [ +  + ]:       6830 :   if (tx == t_INT)
    2104                 :       3145 :     y = mkintmod(x,p);
    2105                 :            :   else
    2106                 :            :   {
    2107         [ -  + ]:       3685 :     if (tx != t_POL) pari_err_TYPE("to_Fq",x);
    2108                 :       3685 :     lx = lg(x);
    2109                 :       3685 :     y = cgetg(lx,t_POL); y[1] = x[1];
    2110         [ +  + ]:     152900 :     for (i=2; i<lx; i++) gel(y,i) = mkintmod(gel(x,i), p);
    2111                 :            :   }
    2112                 :       6830 :   return mkpolmod(y, T);
    2113                 :            : }
    2114                 :            : 
    2115                 :            : static GEN
    2116                 :       3125 : to_Fq_pol(GEN x, GEN T, GEN p)
    2117                 :            : {
    2118                 :       3125 :   long i, lx = lg(x);
    2119         [ +  + ]:       9385 :   for (i=2; i<lx; i++) gel(x,i) = to_Fq(gel(x,i),T,p);
    2120                 :       3125 :   return x;
    2121                 :            : }
    2122                 :            : 
    2123                 :            : static GEN
    2124                 :        180 : to_Fq_fact(GEN P, GEN E, GEN T, GEN p, pari_sp av)
    2125                 :            : {
    2126                 :            :   GEN y, u, v;
    2127                 :        180 :   long j, l = lg(P), nbf = lg(P);
    2128                 :            : 
    2129                 :        180 :   u = cgetg(nbf,t_COL);
    2130                 :        180 :   v = cgetg(nbf,t_COL);
    2131         [ +  + ]:       3305 :   for (j=1; j<l; j++)
    2132                 :            :   {
    2133                 :       3125 :     gel(u,j) = simplify_shallow(gel(P,j)); /* may contain pols of degree 0 */
    2134                 :       3125 :     gel(v,j) = utoi((ulong)E[j]);
    2135                 :            :   }
    2136                 :        180 :   y = gerepilecopy(av, mkmat2(u, v));
    2137                 :        180 :   u = gel(y,1);
    2138                 :        180 :   p = icopy(p);
    2139                 :        180 :   T = FpX_to_mod(T, p);
    2140         [ +  + ]:       3305 :   for (j=1; j<nbf; j++) gel(u,j) = to_Fq_pol(gel(u,j), T,p);
    2141                 :        180 :   return y;
    2142                 :            : }
    2143                 :            : static GEN
    2144                 :         25 : to_FqC(GEN P, GEN T, GEN p, pari_sp av)
    2145                 :            : {
    2146                 :            :   GEN u;
    2147                 :         25 :   long j, l = lg(P), nbf = lg(P);
    2148                 :            : 
    2149                 :         25 :   u = cgetg(nbf,t_COL);
    2150         [ +  + ]:        595 :   for (j=1; j<l; j++)
    2151                 :        570 :     gel(u,j) = simplify_shallow(gel(P,j)); /* may contain pols of degree 0 */
    2152                 :         25 :   u = gerepilecopy(av, u);
    2153                 :         25 :   p = icopy(p);
    2154                 :         25 :   T = FpX_to_mod(T, p);
    2155         [ +  + ]:        595 :   for (j=1; j<nbf; j++) gel(u,j) = to_Fq(gel(u,j), T,p);
    2156                 :         25 :   return u;
    2157                 :            : }
    2158                 :            : 
    2159                 :            : GEN
    2160                 :       1844 : FlxqXQ_halfFrobenius(GEN a, GEN S, GEN T, ulong p)
    2161                 :            : {
    2162                 :       1844 :   long vT = get_Flx_var(T);
    2163                 :       1844 :   GEN xp = Flxq_powu(polx_Flx(vT), p, T, p);
    2164                 :       1844 :   GEN Xp = FlxqXQ_pow(polx_FlxX(varn(S), vT), utoi(p), S, T, p);
    2165                 :       1844 :   GEN ap2 = FlxqXQ_pow(a,utoi(p>>1), S, T, p);
    2166                 :       1844 :   GEN V = FlxqXQV_autsum(mkvec3(xp, Xp, ap2), get_Flx_degree(T), S, T, p);
    2167                 :       1844 :   return gel(V,3);
    2168                 :            : }
    2169                 :            : 
    2170                 :            : GEN
    2171                 :       1803 : FpXQXQ_halfFrobenius(GEN a, GEN S, GEN T, GEN p)
    2172                 :            : {
    2173         [ +  + ]:       1803 :   if (lgefint(p)==3)
    2174                 :            :   {
    2175                 :       1754 :     ulong pp = p[2];
    2176                 :       1754 :     long v = get_FpX_var(T);
    2177                 :       1754 :     GEN Tp = ZXT_to_FlxT(T,pp), Sp = ZXX_to_FlxX(S, pp, v);
    2178                 :       1754 :     return FlxX_to_ZXX(FlxqXQ_halfFrobenius(ZXX_to_FlxX(a,pp,v),Sp,Tp,pp));
    2179                 :            :   }
    2180                 :            :   else
    2181                 :            :   {
    2182                 :         49 :     GEN xp = FpXQ_pow(pol_x(get_FpX_var(T)), p, T, p);
    2183                 :         49 :     GEN Xp = FpXQXQ_pow(pol_x(varn(S)), p, S, T, p);
    2184                 :         49 :     GEN ap2 = FpXQXQ_pow(a,shifti(p,-1), S, T, p);
    2185                 :         49 :     GEN V = FpXQXQV_autsum(mkvec3(xp,Xp,ap2), get_FpX_degree(T), S, T, p);
    2186                 :       1803 :     return gel(V,3);
    2187                 :            :   }
    2188                 :            : }
    2189                 :            : 
    2190                 :            : GEN
    2191                 :        755 : FlxqX_Frobenius(GEN S, GEN T, ulong p)
    2192                 :            : {
    2193                 :        755 :   pari_sp av = avma;
    2194                 :        755 :   long n = get_Flx_degree(T), vT = get_Flx_var(T);
    2195                 :        755 :   GEN X  = polx_FlxX(varn(S), vT);
    2196                 :        755 :   GEN xp = Flxq_powu(polx_Flx(vT), p, T, p);
    2197                 :        755 :   GEN Xp = FlxqXQ_pow(X, utoi(p), S, T, p);
    2198                 :        755 :   GEN Xq = gel(FlxqXQV_autpow(mkvec2(xp,Xp), n, S, T, p), 2);
    2199                 :        755 :   return gerepilecopy(av, Xq);
    2200                 :            : }
    2201                 :            : 
    2202                 :            : GEN
    2203                 :         87 : FpXQX_Frobenius(GEN S, GEN T, GEN p)
    2204                 :            : {
    2205                 :         87 :   pari_sp av = avma;
    2206                 :         87 :   long n = get_FpX_degree(T);
    2207                 :         87 :   GEN X  = pol_x(varn(S));
    2208                 :         87 :   GEN xp = FpXQ_pow(pol_x(get_FpX_var(T)), p, T, p);
    2209                 :         87 :   GEN Xp = FpXQXQ_pow(X, p, S, T, p);
    2210                 :         87 :   GEN Xq = gel(FpXQXQV_autpow(mkvec2(xp,Xp), n, S, T, p), 2);
    2211                 :         87 :   return gerepilecopy(av, Xq);
    2212                 :            : }
    2213                 :            : 
    2214                 :            : static GEN
    2215                 :        562 : FqX_Frobenius_powers(GEN S, GEN T, GEN p)
    2216                 :            : {
    2217                 :        562 :   long N = degpol(S);
    2218         [ +  - ]:        562 :   if (lgefint(p)==3)
    2219                 :            :   {
    2220                 :        562 :     ulong pp = p[2];
    2221                 :        562 :     GEN Tp = ZXT_to_FlxT(T, pp), Sp = ZXX_to_FlxX(S, pp, get_FpX_var(T));
    2222                 :        562 :     GEN Xq = FlxqX_Frobenius(Sp, Tp, pp);
    2223                 :        562 :     return FlxqXQ_powers(Xq, N-1, Sp, Tp, pp);
    2224                 :            :   } else
    2225                 :            :   {
    2226                 :          0 :     GEN Xq = FpXQX_Frobenius(S, T, p);
    2227                 :        562 :     return FpXQXQ_powers(Xq, N-1, S, T, p);
    2228                 :            :   }
    2229                 :            : }
    2230                 :            : 
    2231                 :            : static GEN
    2232                 :       1463 : FqX_Frobenius_eval(GEN x, GEN V, GEN S, GEN T, GEN p)
    2233                 :            : {
    2234         [ +  - ]:       1463 :   if (lgefint(p)==3)
    2235                 :            :   {
    2236                 :       1463 :     ulong pp = p[2];
    2237                 :       1463 :     long v = get_FpX_var(T);
    2238                 :       1463 :     GEN Tp = ZXT_to_FlxT(T, pp), Sp = ZXX_to_FlxX(S, pp, v);
    2239                 :       1463 :     GEN xp = ZXX_to_FlxX(x, pp, v);
    2240                 :       1463 :     return FlxX_to_ZXX(FlxqX_FlxqXQV_eval(xp, V, Sp, Tp, pp));
    2241                 :            :   }
    2242                 :            :   else
    2243                 :       1463 :     return FpXQX_FpXQXQV_eval(x, V, S, T, p);
    2244                 :            : }
    2245                 :            : 
    2246                 :            : static GEN
    2247                 :          5 : FpXQX_split_part(GEN f, GEN T, GEN p)
    2248                 :            : {
    2249                 :          5 :   long n = degpol(f);
    2250                 :          5 :   GEN z, X = pol_x(varn(f));
    2251         [ -  + ]:          5 :   if (n <= 1) return f;
    2252                 :          5 :   f = FpXQX_red(f, T, p);
    2253                 :          5 :   z = FpXQX_Frobenius(f, T, p);
    2254                 :          5 :   z = FpXX_sub(z, X , p);
    2255                 :          5 :   return FpXQX_gcd(z, f, T, p);
    2256                 :            : }
    2257                 :            : 
    2258                 :            : static GEN
    2259                 :         25 : FlxqX_split_part(GEN f, GEN T, ulong p)
    2260                 :            : {
    2261                 :         25 :   long n = degpol(f);
    2262                 :         25 :   GEN z, Xq, X = polx_FlxX(varn(f),get_Flx_var(T));
    2263         [ -  + ]:         25 :   if (n <= 1) return f;
    2264                 :         25 :   f = FlxqX_red(f, T, p);
    2265                 :         25 :   Xq = FlxqX_Frobenius(f, T, p);
    2266                 :         25 :   z = FlxX_sub(Xq, X , p);
    2267                 :         25 :   return FlxqX_gcd(z, f, T, p);
    2268                 :            : }
    2269                 :            : 
    2270                 :            : long
    2271                 :         15 : FpXQX_nbroots(GEN f, GEN T, GEN p)
    2272                 :            : {
    2273                 :         15 :   pari_sp av = avma;
    2274                 :            :   GEN z;
    2275         [ +  + ]:         15 :   if(lgefint(p)==3)
    2276                 :            :   {
    2277                 :         10 :     ulong pp=p[2];
    2278                 :         10 :     z = FlxqX_split_part(ZXX_to_FlxX(f,pp,varn(T)),ZXT_to_FlxT(T,pp),pp);
    2279                 :            :   }
    2280                 :            :   else
    2281                 :          5 :     z = FpXQX_split_part(f, T, p);
    2282                 :         15 :   avma = av; return degpol(z);
    2283                 :            : }
    2284                 :            : 
    2285                 :            : long
    2286                 :        390 : FqX_nbroots(GEN f, GEN T, GEN p)
    2287         [ +  + ]:        390 : { return T ? FpXQX_nbroots(f, T, p): FpX_nbroots(f, p); }
    2288                 :            : 
    2289                 :            : long
    2290                 :         15 : FlxqX_nbroots(GEN f, GEN T, ulong p)
    2291                 :            : {
    2292                 :         15 :   pari_sp av = avma;
    2293                 :         15 :   GEN z = FlxqX_split_part(f, T, p);
    2294                 :         15 :   avma = av; return degpol(z);
    2295                 :            : }
    2296                 :            : 
    2297                 :            : GEN
    2298                 :         48 : FlxqX_Berlekamp_ker(GEN u, GEN T, ulong p)
    2299                 :            : {
    2300                 :         48 :   pari_sp ltop=avma;
    2301                 :         48 :   long j,N = degpol(u);
    2302                 :         48 :   GEN Xq = FlxqX_Frobenius(u,T,p);
    2303                 :         48 :   GEN Q  = FlxqXQ_matrix_pow(Xq,N,N,u,T,p);
    2304         [ +  + ]:        210 :   for (j=1; j<=N; j++)
    2305                 :        162 :     gcoeff(Q,j,j) = Flx_Fl_add(gcoeff(Q,j,j), p-1, p);
    2306                 :         48 :   return gerepileupto(ltop, FlxqM_ker(Q,T,p));
    2307                 :            : }
    2308                 :            : 
    2309                 :            : GEN
    2310                 :         50 : FpXQX_Berlekamp_ker(GEN u, GEN T, GEN p)
    2311                 :            : {
    2312         [ +  + ]:         50 :   if (lgefint(p)==3)
    2313                 :            :   {
    2314                 :         48 :     ulong pp=p[2];
    2315                 :         48 :     long v = get_FpX_var(T);
    2316                 :         48 :     GEN Tp = ZXT_to_FlxT(T,pp), Sp = ZXX_to_FlxX(u,pp,v);
    2317                 :         48 :     return FlxM_to_ZXM(FlxqX_Berlekamp_ker(Sp, Tp, pp));
    2318                 :            :   } else
    2319                 :            :   {
    2320                 :          2 :     pari_sp ltop=avma;
    2321                 :          2 :     long j,N = degpol(u);
    2322                 :          2 :     GEN Xq = FpXQX_Frobenius(u,T,p);
    2323                 :          2 :     GEN Q  = FpXQXQ_matrix_pow(Xq,N,N,u,T,p);
    2324         [ +  + ]:         10 :     for (j=1; j<=N; j++)
    2325                 :          8 :       gcoeff(Q,j,j) = Fq_sub(gcoeff(Q,j,j), gen_1, T, p);
    2326                 :         50 :     return gerepileupto(ltop, FqM_ker(Q,T,p));
    2327                 :            :   }
    2328                 :            : }
    2329                 :            : 
    2330                 :            : long
    2331                 :          0 : FpXQX_nbfact(GEN u, GEN T, GEN p)
    2332                 :            : {
    2333                 :          0 :   pari_sp av = avma;
    2334                 :          0 :   GEN vker = FpXQX_Berlekamp_ker(u, T, p);
    2335                 :          0 :   avma = av; return lg(vker)-1;
    2336                 :            : }
    2337                 :            : 
    2338                 :            : long
    2339                 :          0 : FqX_nbfact(GEN u, GEN T, GEN p)
    2340                 :            : {
    2341         [ #  # ]:          0 :   return T ? FpX_nbfact(u, p): FpXQX_nbfact(u, T, p);
    2342                 :            : }
    2343                 :            : 
    2344                 :            : long
    2345                 :         50 : FqX_split_Berlekamp(GEN *t, GEN T, GEN p)
    2346                 :            : {
    2347                 :         50 :   GEN u = *t, a,b,vker,pol;
    2348                 :         50 :   long vu = varn(u), vT = varn(T), dT = degpol(T);
    2349                 :            :   long d, i, ir, L, la, lb;
    2350                 :         50 :   T = FpX_get_red(T, p);
    2351                 :         50 :   vker = FpXQX_Berlekamp_ker(u,T,p);
    2352                 :         50 :   vker = RgM_to_RgXV(vker,vu);
    2353                 :         50 :   d = lg(vker)-1;
    2354                 :         50 :   ir = 0;
    2355                 :            :   /* t[i] irreducible for i < ir, still to be treated for i < L */
    2356         [ +  + ]:        131 :   for (L=1; L<d; )
    2357                 :            :   {
    2358                 :         81 :     pol= scalarpol(random_FpX(dT,vT,p),vu);
    2359         [ +  + ]:        225 :     for (i=2; i<=d; i++)
    2360                 :        144 :       pol = FqX_add(pol, FqX_Fq_mul(gel(vker,i),
    2361                 :            :                                     random_FpX(dT,vT,p), T, p), T, p);
    2362                 :         81 :     pol = FpXQX_red(pol,T,p);
    2363 [ +  + ][ +  + ]:        201 :     for (i=ir; i<L && L<d; i++)
    2364                 :            :     {
    2365                 :        120 :       a = t[i]; la = degpol(a);
    2366 [ +  + ][ +  + ]:        120 :       if (la == 1) { set_irred(i); }
    2367                 :            :       else
    2368                 :            :       {
    2369                 :        115 :         pari_sp av = avma;
    2370                 :        115 :         b = FqX_rem(pol, a, T,p);
    2371         [ +  + ]:        115 :         if (degpol(b)<=0) { avma=av; continue; }
    2372                 :         97 :         b = FpXQXQ_halfFrobenius(b, a,T,p);
    2373         [ +  + ]:         97 :         if (degpol(b)<=0) { avma=av; continue; }
    2374                 :         60 :         gel(b,2) = Fq_sub(gel(b,2), gen_1,T,p);
    2375                 :         60 :         b = FqX_gcd(a,b, T,p); lb = degpol(b);
    2376 [ +  - ][ +  - ]:         60 :         if (lb && lb < la)
    2377                 :            :         {
    2378                 :         60 :           b = FqX_normalize(b, T,p);
    2379                 :         60 :           t[L] = FqX_div(a,b,T,p);
    2380                 :         60 :           t[i]= b; L++;
    2381                 :            :         }
    2382                 :          0 :         else avma = av;
    2383                 :            :       }
    2384                 :            :     }
    2385                 :            :   }
    2386                 :         50 :   return d;
    2387                 :            : }
    2388                 :            : 
    2389                 :            : /* split into r factors of degree d */
    2390                 :            : static void
    2391                 :       2820 : FqX_split(GEN *t, long d, GEN q, GEN S, GEN T, GEN p)
    2392                 :            : {
    2393                 :       2820 :   GEN u = *t;
    2394                 :       2820 :   long l, v, is2, cnt, dt = degpol(u), dT = degpol(T);
    2395                 :            :   pari_sp av;
    2396                 :            :   pari_timer ti;
    2397                 :            :   GEN w,w0;
    2398                 :            : 
    2399         [ +  + ]:       5640 :   if (dt == d) return;
    2400                 :       1263 :   v = varn(*t);
    2401         [ -  + ]:       1263 :   if (DEBUGLEVEL > 6) timer_start(&ti);
    2402                 :       1263 :   av = avma; is2 = equaliu(p, 2);
    2403                 :       1263 :   for(cnt = 1;;cnt++, avma = av)
    2404                 :            :   { /* splits *t with probability ~ 1 - 2^(1-r) */
    2405                 :       1824 :     w = w0 = FqX_rand(dt,v, T,p);
    2406         [ +  + ]:       1824 :     if (degpol(w) <= 0) continue;
    2407         [ +  + ]:       2597 :     for (l=1; l<d; l++) /* sum_{0<i<d} w^(q^i), result in (F_q)^r */
    2408                 :        821 :       w = RgX_add(w0, FqX_Frobenius_eval(w, S, u, T, p));
    2409                 :       1776 :     w = FpXQX_red(w, T,p);
    2410         [ +  + ]:       1776 :     if (is2)
    2411                 :            :     {
    2412                 :        115 :       w0 = w;
    2413         [ +  + ]:        230 :       for (l=1; l<dT; l++) /* sum_{0<i<k} w^(2^i), result in (F_2)^r */
    2414                 :            :       {
    2415                 :        115 :         w = FqX_rem(FqX_sqr(w,T,p), *t, T,p);
    2416                 :        115 :         w = FpXX_red(RgX_add(w0,w), p);
    2417                 :            :       }
    2418                 :            :     }
    2419                 :            :     else
    2420                 :            :     {
    2421                 :       1661 :       w = FpXQXQ_halfFrobenius(w, *t, T, p);
    2422                 :            :       /* w in {-1,0,1}^r */
    2423         [ +  + ]:       1661 :       if (degpol(w) <= 0) continue;
    2424                 :       1181 :       gel(w,2) = gadd(gel(w,2), gen_1);
    2425                 :            :     }
    2426                 :       1296 :     w = FqX_gcd(*t,w, T,p); l = degpol(w);
    2427 [ +  + ][ +  + ]:       1296 :     if (l && l != dt) break;
    2428                 :        561 :   }
    2429                 :       1263 :   w = gerepileupto(av,FqX_normalize(w,T,p));
    2430         [ -  + ]:       1263 :   if (DEBUGLEVEL > 6)
    2431                 :          0 :     err_printf("[FqX_split] splitting time: %ld (%ld trials)\n",
    2432                 :            :                timer_delay(&ti),cnt);
    2433                 :       1263 :   l /= d; t[l] = FqX_div(*t,w, T,p); *t = w;
    2434                 :       1263 :   FqX_split(t+l,d,q,S,T,p);
    2435                 :       2820 :   FqX_split(t  ,d,q,S,T,p);
    2436                 :            : }
    2437                 :            : 
    2438                 :            : /*******************************************************************/
    2439                 :            : /*                                                                 */
    2440                 :            : /*                  FACTOR USING TRAGER'S TRICK                    */
    2441                 :            : /*                                                                 */
    2442                 :            : /*******************************************************************/
    2443                 :            : static GEN
    2444                 :         45 : FqX_frob_deflate(GEN f, GEN T, GEN p)
    2445                 :            : {
    2446                 :         45 :   GEN F = RgX_deflate(f, itos(p)), frobinv = powiu(p, degpol(T)-1);
    2447                 :         45 :   long i, l = lg(F);
    2448         [ +  + ]:        170 :   for (i=2; i<l; i++) gel(F,i) = Fq_pow(gel(F,i), frobinv, T,p);
    2449                 :         45 :   return F;
    2450                 :            : }
    2451                 :            : /* Factor _sqfree_ polynomial a on the finite field Fp[X]/(T). Assumes
    2452                 :            :  * varncmp (varn(T), varn(A)) > 0 */
    2453                 :            : static GEN
    2454                 :         25 : FqX_split_Trager(GEN A, GEN T, GEN p)
    2455                 :            : {
    2456                 :            :   GEN c, P, u, fa, n;
    2457                 :            :   long lx, i, k;
    2458                 :            : 
    2459                 :         25 :   u = A;
    2460                 :         25 :   n = NULL;
    2461         [ +  + ]:         50 :   for (k = 0; cmpui(k, p) < 0; k++)
    2462                 :            :   {
    2463                 :            :     GEN U;
    2464                 :         40 :     c = deg1pol_shallow(stoi(k) , gen_0, varn(T));
    2465                 :         40 :     U = FqX_translate(u, c, T, p);
    2466                 :         40 :     n = FpX_FpXY_resultant(T, U, p);
    2467         [ +  + ]:         40 :     if (FpX_is_squarefree(n, p)) break;
    2468                 :         25 :     n = NULL;
    2469                 :            :   }
    2470         [ +  + ]:         25 :   if (!n) return NULL;
    2471         [ -  + ]:         15 :   if (DEBUGLEVEL>4) err_printf("FqX_split_Trager: choosing k = %ld\n",k);
    2472                 :            :   /* n guaranteed to be squarefree */
    2473                 :         15 :   fa = FpX_factor(n, p); fa = gel(fa,1); lx = lg(fa);
    2474         [ -  + ]:         15 :   if (lx == 2) return mkcol(A); /* P^k, P irreducible */
    2475                 :            : 
    2476                 :         15 :   P = cgetg(lx,t_COL);
    2477                 :         15 :   c = FpX_neg(c,p);
    2478         [ +  + ]:         30 :   for (i=lx-1; i>1; i--)
    2479                 :            :   {
    2480                 :         15 :     GEN F = FqX_translate(gel(fa,i), c, T, p);
    2481                 :         15 :     F = FqX_normalize(FqX_gcd(u, F, T, p), T, p);
    2482 [ +  - ][ -  + ]:         15 :     if (typ(F) != t_POL || degpol(F) == 0)
    2483                 :          0 :       pari_err_IRREDPOL("FqX_split_Trager [modulus]",T);
    2484                 :         15 :     u = FqX_div(u, F, T, p);
    2485                 :         15 :     gel(P,i) = F;
    2486                 :            :   }
    2487                 :         25 :   gel(P,1) = u; return P;
    2488                 :            : }
    2489                 :            : 
    2490                 :            : static long
    2491                 :       2425 : isabsolutepol(GEN f)
    2492                 :            : {
    2493                 :       2425 :   long i, l = lg(f);
    2494         [ +  + ]:       8469 :   for(i=2; i<l; i++)
    2495                 :            :   {
    2496                 :       7865 :     GEN c = gel(f,i);
    2497 [ +  + ][ +  + ]:       7865 :     if (typ(c) == t_POL && degpol(c) > 0) return 0;
    2498                 :            :   }
    2499                 :       2425 :   return 1;
    2500                 :            : }
    2501                 :            : 
    2502                 :            : static void
    2503                 :        524 : add(GEN z, GEN g, long d) { vectrunc_append(z, mkvec2(utoipos(d), g)); }
    2504                 :            : /* return number of roots of u; assume deg u >= 0 */
    2505                 :            : long
    2506                 :        377 : FqX_split_deg1(GEN *pz, GEN u, GEN T, GEN p)
    2507                 :            : {
    2508                 :        377 :   long dg, N = degpol(u);
    2509                 :        377 :   GEN v, S, g, X, z = vectrunc_init(N+1);
    2510                 :            : 
    2511                 :        377 :   *pz = z;
    2512         [ -  + ]:        377 :   if (N == 0) return 0;
    2513         [ +  + ]:        377 :   if (N == 1) return 1;
    2514                 :        352 :   v = X = pol_x(varn(u));
    2515                 :        352 :   S = FqX_Frobenius_powers(u, T, p);
    2516                 :        352 :   vectrunc_append(z, S);
    2517                 :        352 :   v = FqX_Frobenius_eval(v, S, u, T, p);
    2518                 :        352 :   g = FqX_gcd(FpXX_sub(v,X,p),u, T,p);
    2519                 :        352 :   dg = degpol(g);
    2520         [ +  + ]:        352 :   if (dg > 0) add(z, FqX_normalize(g,T,p), dg);
    2521                 :        377 :   return dg;
    2522                 :            : }
    2523                 :            : 
    2524                 :            : /* return number of factors; z not properly initialized if deg(u) <= 1 */
    2525                 :            : long
    2526                 :        200 : FqX_split_by_degree(GEN *pz, GEN u, GEN T, GEN p)
    2527                 :            : {
    2528                 :        200 :   long nb = 0, d, dg, N = degpol(u);
    2529                 :        200 :   GEN v, S, g, X, z = vectrunc_init(N+1);
    2530                 :            : 
    2531                 :        200 :   *pz = z;
    2532         [ -  + ]:        200 :   if (N <= 1) return 1;
    2533                 :        200 :   v = X = pol_x(varn(u));
    2534                 :        200 :   S = FqX_Frobenius_powers(u, T, p);
    2535                 :        200 :   vectrunc_append(z, S);
    2536         [ +  + ]:        480 :   for (d=1; d <= N>>1; d++)
    2537                 :            :   {
    2538                 :        280 :     v = FqX_Frobenius_eval(v, S, u, T, p);
    2539                 :        280 :     g = FqX_gcd(FpXX_sub(v,X,p),u, T,p);
    2540         [ +  + ]:        280 :     dg = degpol(g); if (dg <= 0) continue;
    2541                 :            :     /* all factors of g have degree d */
    2542                 :        225 :     add(z, FqX_normalize(g, T,p), dg / d); nb += dg / d;
    2543                 :        225 :     N -= dg;
    2544         [ +  + ]:        225 :     if (N)
    2545                 :            :     {
    2546                 :         25 :       u = FqX_div(u,g, T,p);
    2547                 :         25 :       v = FqX_rem(v,u, T,p);
    2548                 :            :     }
    2549                 :            :   }
    2550         [ -  + ]:        200 :   if (N) { add(z, FqX_normalize(u, T,p), 1); nb++; }
    2551                 :        200 :   return nb;
    2552                 :            : }
    2553                 :            : 
    2554                 :            : /* see roots_from_deg1() */
    2555                 :            : static GEN
    2556                 :        219 : FqXC_roots_from_deg1(GEN x, GEN T, GEN p)
    2557                 :            : {
    2558                 :        219 :   long i,l = lg(x);
    2559                 :        219 :   GEN r = cgetg(l,t_COL);
    2560         [ +  + ]:        536 :   for (i=1; i<l; i++) { GEN P = gel(x,i); gel(r,i) = Fq_neg(gel(P,2), T, p); }
    2561                 :        219 :   return r;
    2562                 :            : }
    2563                 :            : 
    2564                 :            : static GEN
    2565                 :        284 : FqX_split_equal(GEN L, GEN S, GEN T, GEN p)
    2566                 :            : {
    2567                 :        284 :   long n = itos(gel(L,1));
    2568                 :        284 :   GEN u = gel(L,2), z = cgetg(n + 1, t_COL);
    2569                 :        284 :   gel(z,1) = u;
    2570                 :        284 :   FqX_split((GEN*)(z+1), degpol(u) / n, powiu(p, degpol(T)), S, T, p);
    2571                 :        284 :   return z;
    2572                 :            : }
    2573                 :            : GEN
    2574                 :        239 : FqX_split_roots(GEN z, GEN T, GEN p, GEN pol)
    2575                 :            : {
    2576                 :        239 :   GEN S = gel(z,1), L = gel(z,2), rep = FqX_split_equal(L, S, T, p);
    2577         [ +  + ]:        239 :   if (pol) rep = shallowconcat(rep, FqX_div(pol, gel(L,2), T,p));
    2578                 :        239 :   return rep;
    2579                 :            : }
    2580                 :            : GEN
    2581                 :         40 : FqX_split_all(GEN z, GEN T, GEN p)
    2582                 :            : {
    2583                 :         40 :   GEN S = gel(z,1), rep = cgetg(1, t_VEC);
    2584                 :         40 :   long i, l = lg(z);
    2585         [ +  + ]:         85 :   for (i = 2; i < l; i++)
    2586                 :         45 :     rep = shallowconcat(rep, FqX_split_equal(gel(z,i), S, T, p));
    2587                 :         40 :   return rep;
    2588                 :            : }
    2589                 :            : 
    2590                 :            : /* not memory-clean, as FpX_factorff_i, returning only linear factors */
    2591                 :            : static GEN
    2592                 :        419 : FpX_rootsff_i(GEN P, GEN T, GEN p)
    2593                 :            : {
    2594                 :        419 :   GEN V, F = gel(FpX_factor(P,p), 1);
    2595                 :        419 :   long i, lfact = 1, nmax = lgpol(P), n = lg(F), dT = degpol(T);
    2596                 :            : 
    2597                 :        419 :   V = cgetg(nmax,t_COL);
    2598         [ +  + ]:        969 :   for(i=1;i<n;i++)
    2599                 :            :   {
    2600                 :        550 :     GEN R, Fi = gel(F,i);
    2601                 :        550 :     long di = degpol(Fi), j, r;
    2602         [ +  + ]:        550 :     if (dT % di) continue;
    2603                 :        464 :     R = FpX_factorff_irred(gel(F,i),T,p);
    2604                 :        464 :     r = lg(R);
    2605         [ +  + ]:       1511 :     for (j=1; j<r; j++,lfact++)
    2606                 :       1047 :       gel(V,lfact) = Fq_neg(gmael(R,j, 2), T, p);
    2607                 :            :   }
    2608                 :        419 :   setlg(V,lfact);
    2609                 :        419 :   gen_sort_inplace(V, (void*) &cmp_RgX, &cmp_nodata, NULL);
    2610                 :        419 :   return V;
    2611                 :            : }
    2612                 :            : GEN
    2613                 :          0 : FpX_rootsff(GEN P, GEN T, GEN p)
    2614                 :            : {
    2615                 :          0 :   pari_sp av = avma;
    2616                 :          0 :   return gerepilecopy(av, FpX_rootsff_i(P, T, p));
    2617                 :            : }
    2618                 :            : 
    2619                 :            : static GEN
    2620                 :       1234 : F2xqX_quad_roots(GEN P, GEN T)
    2621                 :            : {
    2622                 :       1234 :   GEN b= gel(P,3), c = gel(P,2);
    2623         [ +  + ]:       1234 :   if (degpol(b)>=0)
    2624                 :            :   {
    2625                 :        703 :     GEN z, d = F2xq_div(c, F2xq_sqr(b,T),T);
    2626         [ +  + ]:        703 :     if (F2xq_trace(d,T))
    2627                 :        278 :       return cgetg(1, t_COL);
    2628                 :        425 :     z = F2xq_mul(b, F2xq_Artin_Schreier(d, T), T);
    2629                 :        425 :     return mkcol2(z, F2x_add(b, z));
    2630                 :            :   }
    2631                 :            :   else
    2632                 :       1234 :     return mkcol(F2xq_sqrt(c, T));
    2633                 :            : }
    2634                 :            : 
    2635                 :            : static GEN
    2636                 :       1449 : FqX_quad_roots(GEN x, GEN T, GEN p)
    2637                 :            : {
    2638                 :       1449 :   GEN s, D, nb, b = gel(x,3), c = gel(x,2);
    2639         [ +  + ]:       1449 :   if (equaliu(p, 2))
    2640                 :            :   {
    2641                 :       1234 :     GEN f2 = ZXX_to_F2xX(x, get_FpX_var(T));
    2642                 :       1234 :     s = F2xqX_quad_roots(f2, ZX_to_F2x(get_FpX_mod(T)));
    2643                 :       1234 :     return F2xC_to_ZXC(s);
    2644                 :            :   }
    2645                 :        215 :   D = Fq_sub(Fq_sqr(b,T,p), Fq_Fp_mul(c,utoi(4),T,p), T,p);
    2646                 :        215 :   nb = Fq_neg(b,T,p);
    2647         [ -  + ]:        215 :   if (signe(D)==0)
    2648                 :          0 :     return mkcol(Fq_halve(nb,T, p));
    2649                 :        215 :   s = Fq_sqrt(D,T,p);
    2650         [ +  + ]:        215 :   if (!s) return cgetg(1, t_COL);
    2651                 :        210 :   s = Fq_halve(Fq_add(s,nb,T,p),T, p);
    2652                 :       1449 :   return mkcol2(s,Fq_sub(nb,s,T,p));
    2653                 :            : }
    2654                 :            : 
    2655                 :            : static GEN
    2656                 :       2145 : FqX_roots_i(GEN f, GEN T, GEN p)
    2657                 :            : {
    2658                 :            :   GEN R;
    2659                 :       2145 :   f = FqX_normalize(f, T, p);
    2660         [ -  + ]:       2145 :   if (!signe(f)) pari_err_ROOTS0("FqX_roots");
    2661         [ +  + ]:       2145 :   if (isabsolutepol(f))
    2662                 :            :   {
    2663                 :        424 :     f = simplify_shallow(f);
    2664         [ +  + ]:        424 :     if (typ(f) == t_INT) return cgetg(1, t_COL);
    2665                 :        419 :     return FpX_rootsff_i(f, T, p);
    2666                 :            :   }
    2667         [ +  + ]:       1721 :   if (degpol(f)==2)
    2668                 :       1449 :     return gen_sort(FqX_quad_roots(f,T,p), (void*) &cmp_RgX, &cmp_nodata);
    2669      [ +  +  + ]:        272 :   switch( FqX_split_deg1(&R, f, T, p) )
    2670                 :            :   {
    2671                 :         53 :   case 0: return cgetg(1, t_COL);
    2672         [ +  + ]:        131 :   case 1: if (lg(R) == 1) { R = mkvec(f); break; }
    2673                 :            :             /* fall through */
    2674                 :        194 :   default: R = FqX_split_roots(R, T, p, NULL);
    2675                 :            :   }
    2676                 :        219 :   R = FqXC_roots_from_deg1(R, T, p);
    2677                 :        219 :   gen_sort_inplace(R, (void*) &cmp_RgX, &cmp_nodata, NULL);
    2678                 :       2145 :   return R;
    2679                 :            : }
    2680                 :            : 
    2681                 :            : GEN
    2682                 :       3745 : FqX_roots(GEN x, GEN T, GEN p)
    2683                 :            : {
    2684                 :       3745 :   pari_sp av = avma;
    2685         [ +  + ]:       3745 :   if (!T) return FpX_roots(x, p);
    2686                 :       3745 :   return gerepileupto(av, FqX_roots_i(x, T, p));
    2687                 :            : }
    2688                 :            : 
    2689                 :            : static long
    2690                 :         10 : FqX_sqf_split(GEN *t0, GEN q, GEN T, GEN p)
    2691                 :            : {
    2692                 :         10 :   GEN *t = t0, u = *t, v, S, g, X;
    2693                 :         10 :   long d, dg, N = degpol(u);
    2694                 :            : 
    2695         [ -  + ]:         10 :   if (N == 1) return 1;
    2696                 :         10 :   v = X = pol_x(varn(u));
    2697                 :         10 :   S = FqX_Frobenius_powers(u, T, p);
    2698         [ +  + ]:         20 :   for (d=1; d <= N>>1; d++)
    2699                 :            :   {
    2700                 :         10 :     v = FqX_Frobenius_eval(v, S, u, T, p);
    2701                 :         10 :     g = FqX_normalize(FqX_gcd(FpXX_sub(v,X,p),u, T,p),T,p);
    2702         [ -  + ]:         10 :     dg = degpol(g); if (dg <= 0) continue;
    2703                 :            : 
    2704                 :            :     /* all factors of g have degree d */
    2705                 :         10 :     *t = g;
    2706                 :         10 :     FqX_split(t, d, q, S, T, p);
    2707                 :         10 :     t += dg / d;
    2708                 :         10 :     N -= dg;
    2709         [ -  + ]:         10 :     if (N)
    2710                 :            :     {
    2711                 :          0 :       u = FqX_div(u,g, T,p);
    2712                 :          0 :       v = FqX_rem(v,u, T,p);
    2713                 :            :     }
    2714                 :            :   }
    2715         [ -  + ]:         10 :   if (N) *t++ = u;
    2716                 :         10 :   return t - t0;
    2717                 :            : }
    2718                 :            : 
    2719                 :            : /* not memory-clean */
    2720                 :            : static GEN
    2721                 :        180 : FpX_factorff_i(GEN P, GEN T, GEN p)
    2722                 :            : {
    2723                 :        180 :   GEN V, E, F = FpX_factor(P,p);
    2724                 :        180 :   long i, lfact = 1, nmax = lgpol(P), n = lgcols(F);
    2725                 :            : 
    2726                 :        180 :   V = cgetg(nmax,t_VEC);
    2727                 :        180 :   E = cgetg(nmax,t_VECSMALL);
    2728         [ +  + ]:        495 :   for(i=1;i<n;i++)
    2729                 :            :   {
    2730                 :        315 :     GEN R = FpX_factorff_irred(gmael(F,1,i),T,p), e = gmael(F,2,i);
    2731                 :        315 :     long j, r = lg(R);
    2732         [ +  + ]:       3670 :     for (j=1; j<r; j++,lfact++)
    2733                 :            :     {
    2734                 :       3355 :       gel(V,lfact) = gel(R,j);
    2735                 :       3355 :       gel(E,lfact) = e;
    2736                 :            :     }
    2737                 :            :   }
    2738                 :        180 :   setlg(V,lfact);
    2739                 :        180 :   setlg(E,lfact); return sort_factor_pol(mkvec2(V,E), cmp_RgX);
    2740                 :            : }
    2741                 :            : GEN
    2742                 :          0 : FpX_factorff(GEN P, GEN T, GEN p)
    2743                 :            : {
    2744                 :          0 :   pari_sp av = avma;
    2745                 :          0 :   return gerepilecopy(av, FpX_factorff_i(P, T, p));
    2746                 :            : }
    2747                 :            : 
    2748                 :            : /* assumes varncmp (varn(T), varn(f)) > 0 */
    2749                 :            : static GEN
    2750                 :        290 : FqX_factor_i(GEN f, GEN T, GEN p)
    2751                 :            : {
    2752                 :        290 :   long pg, j, k, e, N, lfact, pk, d = degpol(f);
    2753                 :            :   GEN E, f2, f3, df1, df2, g1, u, q, t;
    2754                 :            : 
    2755      [ +  +  + ]:        290 :   switch(d)
    2756                 :            :   {
    2757                 :          5 :     case -1: retmkmat2(mkcolcopy(f), mkvecsmall(1));
    2758                 :          5 :     case 0: return trivial_fact();
    2759                 :            :   }
    2760                 :        280 :   T = FpX_normalize(T, p);
    2761                 :        280 :   f = FqX_normalize(f, T, p);
    2762         [ +  + ]:        280 :   if (isabsolutepol(f)) return FpX_factorff_i(simplify_shallow(f), T, p);
    2763                 :            : 
    2764                 :        100 :   pg = itos_or_0(p);
    2765                 :        100 :   df2  = NULL; /* gcc -Wall */
    2766                 :        100 :   t = cgetg(d+1,t_VEC);
    2767                 :        100 :   E = cgetg(d+1, t_VECSMALL);
    2768                 :            : 
    2769                 :        100 :   q = powiu(p, degpol(T));
    2770                 :        100 :   e = lfact = 1;
    2771                 :        100 :   pk = 1;
    2772                 :        100 :   f3 = NULL;
    2773                 :        100 :   df1 = FqX_deriv(f, T, p);
    2774                 :            :   for(;;)
    2775                 :            :   {
    2776                 :            :     long nb0;
    2777         [ +  + ]:        190 :     while (!signe(df1))
    2778                 :            :     { /* needs d >= p: pg = 0 can't happen  */
    2779                 :         45 :       pk *= pg; e = pk;
    2780                 :         45 :       f = FqX_frob_deflate(f, T, p);
    2781                 :         45 :       df1 = FqX_deriv(f, T, p); f3 = NULL;
    2782                 :            :     }
    2783         [ +  + ]:        145 :     f2 = f3? f3: FqX_gcd(f,df1, T,p);
    2784         [ +  + ]:        145 :     if (!degpol(f2)) u = f;
    2785                 :            :     else
    2786                 :            :     {
    2787                 :         45 :       g1 = FqX_div(f,f2, T,p);
    2788                 :         45 :       df2 = FqX_deriv(f2, T,p);
    2789         [ +  + ]:         45 :       if (gequal0(df2)) { u = g1; f3 = f2; }
    2790                 :            :       else
    2791                 :            :       {
    2792                 :         35 :         f3 = FqX_gcd(f2,df2, T,p);
    2793         [ +  + ]:         35 :         u = degpol(f3)? FqX_div(f2, f3, T,p): f2;
    2794                 :         35 :         u = FqX_div(g1, u, T,p);
    2795                 :            :       }
    2796                 :            :     }
    2797                 :            :     /* u is square-free (product of irreducibles of multiplicity e) */
    2798                 :        145 :     N = degpol(u);
    2799         [ +  + ]:        145 :     if (N) {
    2800                 :        110 :       nb0 = lfact;
    2801                 :        110 :       gel(t,lfact) = FqX_normalize(u, T,p);
    2802         [ +  + ]:        110 :       if (N == 1) lfact++;
    2803                 :            :       else
    2804                 :            :       {
    2805         [ +  + ]:         75 :         if (!equaliu(p,2))
    2806                 :         50 :           lfact += FqX_split_Berlekamp(&gel(t,lfact), T, p);
    2807                 :            :         else
    2808                 :            :         {
    2809                 :         25 :           GEN P = FqX_split_Trager(gel(t,lfact), T, p);
    2810         [ +  + ]:         25 :           if (P) {
    2811         [ +  + ]:         45 :             for (j = 1; j < lg(P); j++) gel(t,lfact++) = gel(P,j);
    2812                 :            :           } else {
    2813         [ -  + ]:         10 :             if (DEBUGLEVEL) pari_warn(warner, "FqX_split_Trager failed!");
    2814                 :         10 :             lfact += FqX_sqf_split(&gel(t,lfact), q, T, p);
    2815                 :            :           }
    2816                 :            :         }
    2817                 :            :       }
    2818         [ +  + ]:        305 :       for (j = nb0; j < lfact; j++) E[j] = e;
    2819                 :            :     }
    2820                 :            : 
    2821         [ +  + ]:        145 :     if (!degpol(f2)) break;
    2822                 :         45 :     f = f2; df1 = df2; e += pk;
    2823                 :         45 :   }
    2824                 :        100 :   setlg(t, lfact);
    2825                 :        100 :   setlg(E, lfact);
    2826         [ +  + ]:        295 :   for (j=1; j<lfact; j++) gel(t,j) = FqX_normalize(gel(t,j), T,p);
    2827                 :        100 :   (void)sort_factor_pol(mkvec2(t, E), cmp_RgX);
    2828                 :        100 :   k = 1;
    2829         [ +  + ]:        195 :   for (j = 2; j < lfact; j++)
    2830                 :            :   {
    2831         [ +  + ]:         95 :     if (RgX_equal(gel(t,j), gel(t,k)))
    2832                 :         10 :       E[k] += E[j];
    2833                 :            :     else
    2834                 :            :     { /* new factor */
    2835                 :         85 :       k++;
    2836                 :         85 :       E[k] = E[j];
    2837                 :         85 :       gel(t,k) = gel(t,j);
    2838                 :            :     }
    2839                 :            :   }
    2840                 :        100 :   setlg(t, k+1);
    2841                 :        290 :   setlg(E, k+1); return mkvec2(t, E);
    2842                 :            : }
    2843                 :            : 
    2844                 :            : static void
    2845                 :        205 : ffcheck(pari_sp *av, GEN *f, GEN *T, GEN p)
    2846                 :            : {
    2847                 :            :   long v;
    2848         [ -  + ]:        205 :   if (typ(*T)!=t_POL) pari_err_TYPE("factorff",*T);
    2849         [ -  + ]:        205 :   if (typ(*f)!=t_POL) pari_err_TYPE("factorff",*f);
    2850         [ -  + ]:        205 :   if (typ(p)!=t_INT) pari_err_TYPE("factorff",p);
    2851                 :        205 :   v = varn(*T);
    2852         [ -  + ]:        205 :   if (varncmp(v, varn(*f)) <= 0)
    2853                 :          0 :     pari_err_PRIORITY("factorff", *T, "<=", varn(*f));
    2854                 :        205 :   *T = RgX_to_FpX(*T, p); *av = avma;
    2855                 :        205 :   *f = RgX_to_FqX(*f, *T,p);
    2856                 :        205 : }
    2857                 :            : GEN
    2858                 :        205 : factorff(GEN f, GEN p, GEN T)
    2859                 :            : {
    2860                 :            :   pari_sp av;
    2861                 :            :   GEN z;
    2862 [ +  + ][ -  + ]:        205 :   if (!p || !T)
    2863                 :            :   {
    2864                 :            :     long pa, t;
    2865         [ -  + ]:         25 :     if (typ(f) != t_POL) pari_err_TYPE("factorff",f);
    2866                 :         25 :     T = p = NULL;
    2867                 :         25 :     t = RgX_type(f, &p, &T, &pa);
    2868         [ -  + ]:         25 :     if (t != t_FFELT) pari_err_TYPE("factorff",f);
    2869                 :         25 :     return FFX_factor(f,T);
    2870                 :            :   }
    2871                 :        180 :   ffcheck(&av, &f, &T, p); z = FqX_factor_i(f, T, p);
    2872                 :        205 :   return to_Fq_fact(gel(z,1),gel(z,2), T,p, av);
    2873                 :            : }
    2874                 :            : GEN
    2875                 :         50 : polrootsff(GEN f, GEN p, GEN T)
    2876                 :            : {
    2877                 :            :   pari_sp av;
    2878                 :            :   GEN z;
    2879 [ +  + ][ -  + ]:         50 :   if (!p || !T)
    2880                 :            :   {
    2881                 :            :     long pa, t;
    2882         [ -  + ]:         25 :     if (typ(f) != t_POL) pari_err_TYPE("polrootsff",f);
    2883                 :         25 :     T = p = NULL;
    2884                 :         25 :     t = RgX_type(f, &p, &T, &pa);
    2885         [ -  + ]:         25 :     if (t != t_FFELT) pari_err_TYPE("polrootsff",f);
    2886                 :         25 :     return FFX_roots(f,T);
    2887                 :            :   }
    2888                 :         25 :   ffcheck(&av, &f, &T, p); z = FqX_roots_i(f, T, p);
    2889                 :         50 :   return to_FqC(z, T,p, av);
    2890                 :            : }
    2891                 :            : 
    2892                 :            : /* factorization of x modulo (T,p). Assume x already reduced */
    2893                 :            : GEN
    2894                 :        455 : FqX_factor(GEN x, GEN T, GEN p)
    2895                 :            : {
    2896                 :        455 :   pari_sp av = avma;
    2897         [ +  + ]:        455 :   if (!T) return FpX_factor(x, p);
    2898                 :        455 :   return gerepilecopy(av, FqX_factor_i(x, T, p));
    2899                 :            : }
    2900                 :            : /* See also: Isomorphisms between finite field and relative
    2901                 :            :  * factorization in polarit3.c */

Generated by: LCOV version 1.9