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-bordeaux.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.c (source / functions) Hit Total Coverage
Test: PARI/GP v2.8.0 lcov report (development 19044-129ab8a) Lines: 1228 1325 92.7 %
Date: 2016-06-26 Functions: 147 153 96.1 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 557 694 80.3 %

           Branch data     Line data    Source code
       1                 :            : /* Copyright (C) 2007  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                 :            : /* Not so fast arithmetic with polynomials over Fp */
      18                 :            : 
      19                 :            : static GEN
      20                 :   66553944 : get_FpX_red(GEN T, GEN *B)
      21                 :            : {
      22         [ +  + ]:   66553944 :   if (typ(T)!=t_VEC) { *B=NULL; return T; }
      23                 :   66553944 :   *B = gel(T,1); return gel(T,2);
      24                 :            : }
      25                 :            : 
      26                 :            : GEN
      27         [ +  + ]:     398400 : get_FpX_mod(GEN T) { return typ(T)==t_VEC? gel(T,2): T; }
      28                 :            : 
      29                 :            : long
      30         [ +  + ]:    1365915 : get_FpX_var(GEN T) { return typ(T)==t_VEC? varn(gel(T,2)): varn(T); }
      31                 :            : 
      32                 :            : long
      33         [ +  + ]:    1885568 : get_FpX_degree(GEN T) { return typ(T)==t_VEC? degpol(gel(T,2)): degpol(T); }
      34                 :            : 
      35                 :            : /***********************************************************************/
      36                 :            : /**                                                                   **/
      37                 :            : /**                              FpX                                  **/
      38                 :            : /**                                                                   **/
      39                 :            : /***********************************************************************/
      40                 :            : 
      41                 :            : /* FpX are polynomials over Z/pZ represented as t_POL with
      42                 :            :  * t_INT coefficients.
      43                 :            :  * 1) Coefficients should belong to {0,...,p-1}, though non-reduced
      44                 :            :  * coefficients should work but be slower.
      45                 :            :  *
      46                 :            :  * 2) p is not assumed to be prime, but it is assumed that impossible divisions
      47                 :            :  *    will not happen.
      48                 :            :  * 3) Theses functions let some garbage on the stack, but are gerepileupto
      49                 :            :  * compatible.
      50                 :            :  */
      51                 :            : 
      52                 :            : static ulong
      53                 :   39529540 : to_Flx(GEN *P, GEN *Q, GEN p)
      54                 :            : {
      55                 :   39529540 :   ulong pp = uel(p,2);
      56                 :   39529540 :   *P = ZX_to_Flx(*P, pp);
      57                 :   39529540 :   *Q = ZX_to_Flx(*Q, pp); return pp;
      58                 :            : }
      59                 :            : 
      60                 :            : static ulong
      61                 :     647654 : to_Flxq(GEN *P, GEN *T, GEN p)
      62                 :            : {
      63                 :     647654 :   ulong pp = uel(p,2);
      64         [ +  + ]:     647654 :   if (P) *P = ZX_to_Flx(*P, pp);
      65                 :     647655 :   *T = ZXT_to_FlxT(*T, pp); return pp;
      66                 :            : }
      67                 :            : 
      68                 :            : GEN
      69                 :       1710 : Z_to_FpX(GEN a, GEN p, long v)
      70                 :            : {
      71                 :       1710 :   pari_sp av = avma;
      72                 :       1710 :   GEN z = cgetg(3, t_POL);
      73                 :       1710 :   GEN x = modii(a, p);
      74         [ -  + ]:       1710 :   if (!signe(x)) { avma =av; return pol_0(v); }
      75                 :       1710 :   z[1] = evalsigne(1) | evalvarn(v);
      76                 :       1710 :   gel(z,2) = x; return z;
      77                 :            : }
      78                 :            : 
      79                 :            : /* z in Z[X], return lift(z * Mod(1,p)), normalized*/
      80                 :            : GEN
      81                 :   69009134 : FpX_red(GEN z, GEN p)
      82                 :            : {
      83                 :   69009134 :   long i, l = lg(z);
      84                 :   69009134 :   GEN x = cgetg(l, t_POL);
      85         [ +  + ]:  619965074 :   for (i=2; i<l; i++) gel(x,i) = modii(gel(z,i),p);
      86                 :   69009079 :   x[1] = z[1]; return FpX_renormalize(x,l);
      87                 :            : }
      88                 :            : GEN
      89                 :     288146 : FpXV_red(GEN z, GEN p)
      90                 :            : {
      91                 :     288146 :   long i,l = lg(z);
      92                 :     288146 :   GEN x = cgetg(l, t_VEC);
      93         [ +  + ]:    1348885 :   for (i=1; i<l; i++) gel(x,i) = FpX_red(gel(z,i), p);
      94                 :     288146 :   return x;
      95                 :            : }
      96                 :            : 
      97                 :            : GEN
      98                 :    1089410 : FpXT_red(GEN z, GEN p)
      99                 :            : {
     100         [ +  + ]:    1089410 :   if (typ(z) == t_POL)
     101                 :    1007357 :     return FpX_red(z, p);
     102                 :            :   else
     103                 :            :   {
     104                 :      82053 :     long i,l = lg(z);
     105                 :      82053 :     GEN x = cgetg(l, t_VEC);
     106         [ +  + ]:     371678 :     for (i=1; i<l; i++) gel(x,i) = FpXT_red(gel(z,i), p);
     107                 :    1089409 :     return x;
     108                 :            :   }
     109                 :            : }
     110                 :            : 
     111                 :            : GEN
     112                 :     245949 : FpX_normalize(GEN z, GEN p)
     113                 :            : {
     114                 :     245949 :   GEN p1 = leading_coeff(z);
     115 [ +  - ][ +  + ]:     245949 :   if (lg(z) == 2 || equali1(p1)) return z;
     116                 :     245949 :   return FpX_Fp_mul_to_monic(z, Fp_inv(p1,p), p);
     117                 :            : }
     118                 :            : 
     119                 :            : GEN
     120                 :     647612 : FpX_center(GEN T, GEN p, GEN pov2)
     121                 :            : {
     122                 :     647612 :   long i, l = lg(T);
     123                 :     647612 :   GEN P = cgetg(l,t_POL);
     124         [ +  + ]:    2230018 :   for(i=2; i<l; i++) gel(P,i) = Fp_center(gel(T,i), p, pov2);
     125                 :     647612 :   P[1] = T[1]; return P;
     126                 :            : }
     127                 :            : 
     128                 :            : GEN
     129                 :    8160574 : FpX_add(GEN x,GEN y,GEN p)
     130                 :            : {
     131                 :    8160574 :   long lx = lg(x), ly = lg(y), i;
     132                 :            :   GEN z;
     133         [ +  + ]:    8160574 :   if (lx < ly) swapspec(x,y, lx,ly);
     134                 :    8160574 :   z = cgetg(lx,t_POL); z[1] = x[1];
     135         [ +  + ]:   53699552 :   for (i=2; i<ly; i++) gel(z,i) = Fp_add(gel(x,i),gel(y,i), p);
     136         [ +  + ]:   19996909 :   for (   ; i<lx; i++) gel(z,i) = modii(gel(x,i), p);
     137                 :    8160574 :   z = ZX_renormalize(z, lx);
     138         [ +  + ]:    8160574 :   if (!lgpol(z)) { avma = (pari_sp)(z + lx); return pol_0(varn(x)); }
     139                 :    8160574 :   return z;
     140                 :            : }
     141                 :            : 
     142                 :            : static GEN
     143                 :       6584 : Fp_red_FpX(GEN x, GEN p, long v)
     144                 :            : {
     145                 :            :   GEN z;
     146         [ +  + ]:       6584 :   if (!signe(x)) return pol_0(v);
     147                 :        442 :   z = cgetg(3, t_POL);
     148                 :        442 :   gel(z,2) = Fp_red(x,p);
     149                 :        442 :   z[1] = evalvarn(v);
     150                 :       6584 :   return FpX_renormalize(z, 3);
     151                 :            : }
     152                 :            : 
     153                 :            : static GEN
     154                 :         17 : Fp_neg_FpX(GEN x, GEN p, long v)
     155                 :            : {
     156                 :            :   GEN z;
     157         [ +  + ]:         17 :   if (!signe(x)) return pol_0(v);
     158                 :          1 :   z = cgetg(3, t_POL);
     159                 :          1 :   gel(z,2) = Fp_neg(x,p);
     160                 :          1 :   z[1] = evalvarn(v);
     161                 :         17 :   return FpX_renormalize(z, 3);
     162                 :            : }
     163                 :            : 
     164                 :            : GEN
     165                 :     548976 : FpX_Fp_add(GEN y,GEN x,GEN p)
     166                 :            : {
     167                 :     548976 :   long i, lz = lg(y);
     168                 :            :   GEN z;
     169         [ +  + ]:     548976 :   if (lz == 2) return Fp_red_FpX(x,p,varn(y));
     170                 :     542392 :   z = cgetg(lz,t_POL); z[1] = y[1];
     171                 :     542392 :   gel(z,2) = Fp_add(gel(y,2),x, p);
     172         [ +  + ]:     542392 :   if (lz == 3) z = FpX_renormalize(z,lz);
     173                 :            :   else
     174         [ +  + ]:    1695785 :     for(i=3;i<lz;i++) gel(z,i) = icopy(gel(y,i));
     175                 :     548976 :   return z;
     176                 :            : }
     177                 :            : GEN
     178                 :          0 : FpX_Fp_add_shallow(GEN y,GEN x,GEN p)
     179                 :            : {
     180                 :          0 :   long i, lz = lg(y);
     181                 :            :   GEN z;
     182         [ #  # ]:          0 :   if (lz == 2) return scalar_ZX_shallow(x,varn(y));
     183                 :          0 :   z = cgetg(lz,t_POL); z[1] = y[1];
     184                 :          0 :   gel(z,2) = Fp_add(gel(y,2),x, p);
     185         [ #  # ]:          0 :   if (lz == 3) z = FpX_renormalize(z,lz);
     186                 :            :   else
     187         [ #  # ]:          0 :     for(i=3;i<lz;i++) gel(z,i) = gel(y,i);
     188                 :          0 :   return z;
     189                 :            : }
     190                 :            : GEN
     191                 :     298232 : FpX_Fp_sub(GEN y,GEN x,GEN p)
     192                 :            : {
     193                 :     298232 :   long i, lz = lg(y);
     194                 :            :   GEN z;
     195         [ +  + ]:     298232 :   if (lz == 2) return Fp_neg_FpX(x,p,varn(y));
     196                 :     298215 :   z = cgetg(lz,t_POL); z[1] = y[1];
     197                 :     298215 :   gel(z,2) = Fp_sub(gel(y,2),x, p);
     198         [ +  + ]:     298215 :   if (lz == 3) z = FpX_renormalize(z,lz);
     199                 :            :   else
     200         [ +  + ]:     814219 :     for(i=3;i<lz;i++) gel(z,i) = icopy(gel(y,i));
     201                 :     298232 :   return z;
     202                 :            : }
     203                 :            : GEN
     204                 :       1551 : FpX_Fp_sub_shallow(GEN y,GEN x,GEN p)
     205                 :            : {
     206                 :       1551 :   long i, lz = lg(y);
     207                 :            :   GEN z;
     208         [ -  + ]:       1551 :   if (lz == 2) return Fp_neg_FpX(x,p,varn(y));
     209                 :       1551 :   z = cgetg(lz,t_POL); z[1] = y[1];
     210                 :       1551 :   gel(z,2) = Fp_sub(gel(y,2),x, p);
     211         [ +  + ]:       1551 :   if (lz == 3) z = FpX_renormalize(z,lz);
     212                 :            :   else
     213         [ +  + ]:       9359 :     for(i=3;i<lz;i++) gel(z,i) = gel(y,i);
     214                 :       1551 :   return z;
     215                 :            : }
     216                 :            : 
     217                 :            : GEN
     218                 :      76756 : FpX_neg(GEN x,GEN p)
     219                 :            : {
     220                 :      76756 :   long i, lx = lg(x);
     221                 :      76756 :   GEN y = cgetg(lx,t_POL);
     222                 :      76756 :   y[1] = x[1];
     223         [ +  + ]:     445656 :   for(i=2; i<lx; i++) gel(y,i) = Fp_neg(gel(x,i), p);
     224                 :      76756 :   return ZX_renormalize(y, lx);
     225                 :            : }
     226                 :            : 
     227                 :            : static GEN
     228                 :    6752515 : FpX_subspec(GEN x,GEN y,GEN p, long nx, long ny)
     229                 :            : {
     230                 :            :   long i, lz;
     231                 :            :   GEN z;
     232         [ +  + ]:    6752515 :   if (nx >= ny)
     233                 :            :   {
     234                 :    4943096 :     lz = nx+2;
     235                 :    4943096 :     z = cgetg(lz,t_POL); z[1] = 0; z += 2;
     236         [ +  + ]:   25778253 :     for (i=0; i<ny; i++) gel(z,i) = Fp_sub(gel(x,i),gel(y,i), p);
     237         [ +  + ]:    5721089 :     for (   ; i<nx; i++) gel(z,i) = modii(gel(x,i), p);
     238                 :            :   }
     239                 :            :   else
     240                 :            :   {
     241                 :    1809419 :     lz = ny+2;
     242                 :    1809419 :     z = cgetg(lz,t_POL); z[1] = 0; z += 2;
     243         [ +  + ]:    4997170 :     for (i=0; i<nx; i++) gel(z,i) = Fp_sub(gel(x,i),gel(y,i), p);
     244         [ +  + ]:    4658751 :     for (   ; i<ny; i++) gel(z,i) = Fp_neg(gel(y,i), p);
     245                 :            :   }
     246                 :    6752511 :   z = FpX_renormalize(z-2, lz);
     247         [ +  + ]:    6752515 :   if (!lgpol(z)) { avma = (pari_sp)(z + lz); return pol_0(0); }
     248                 :    6752515 :   return z;
     249                 :            : }
     250                 :            : 
     251                 :            : GEN
     252                 :    6654289 : FpX_sub(GEN x,GEN y,GEN p)
     253                 :            : {
     254                 :    6654289 :   GEN z = FpX_subspec(x+2,y+2,p,lgpol(x),lgpol(y));
     255                 :    6654289 :   setvarn(z, varn(x));
     256                 :    6654289 :   return z;
     257                 :            : }
     258                 :            : 
     259                 :            : GEN
     260                 :       9215 : Fp_FpX_sub(GEN x, GEN y, GEN p)
     261                 :            : {
     262                 :       9215 :   long ly = lg(y), i;
     263                 :            :   GEN z;
     264         [ +  + ]:       9215 :   if (ly <= 3) {
     265                 :        220 :     z = cgetg(3, t_POL);
     266         [ +  + ]:        220 :     x = (ly == 3)? Fp_sub(x, gel(y,2), p): modii(x, p);
     267         [ +  + ]:        220 :     if (!signe(x)) { avma = (pari_sp)(z + 3); return pol_0(varn(y)); }
     268                 :        188 :     z[1] = evalsigne(1)|y[1]; gel(z,2) = x; return z;
     269                 :            :   }
     270                 :       8995 :   z = cgetg(ly,t_POL);
     271                 :       8995 :   gel(z,2) = Fp_sub(x, gel(y,2), p);
     272         [ +  + ]:      33462 :   for (i = 3; i < ly; i++) gel(z,i) = Fp_neg(gel(y,i), p);
     273                 :       8995 :   z = ZX_renormalize(z, ly);
     274         [ -  + ]:       8995 :   if (!lgpol(z)) { avma = (pari_sp)(z + ly); return pol_0(varn(x)); }
     275                 :       9215 :   z[1] = y[1]; return z;
     276                 :            : }
     277                 :            : 
     278                 :            : GEN
     279                 :   46755965 : FpX_mul(GEN x,GEN y,GEN p) { return FpX_red(ZX_mul(x, y), p); }
     280                 :            : 
     281                 :            : GEN
     282                 :    1661857 : FpX_mulspec(GEN a, GEN b, GEN p, long na, long nb)
     283                 :    1661857 : { return FpX_red(ZX_mulspec(a, b, na, nb), p); }
     284                 :            : 
     285                 :            : GEN
     286                 :    3403731 : FpX_sqr(GEN x,GEN p) { return FpX_red(ZX_sqr(x), p); }
     287                 :            : 
     288                 :            : GEN
     289                 :    1184223 : FpX_mulu(GEN y, ulong x,GEN p)
     290                 :            : {
     291                 :            :   GEN z;
     292                 :            :   long i, l;
     293                 :    1184223 :   x = umodui(x, p);
     294         [ +  + ]:    1184223 :   if (!x) return zeropol(varn(y));
     295                 :    1183922 :   z = cgetg_copy(y, &l); z[1] = y[1];
     296         [ +  + ]:    5283864 :   for(i=2; i<l; i++) gel(z,i) = Fp_mulu(gel(y,i), x, p);
     297                 :    1184223 :   return z;
     298                 :            : }
     299                 :            : 
     300                 :            : GEN
     301                 :    3253173 : FpX_Fp_mulspec(GEN y,GEN x,GEN p,long ly)
     302                 :            : {
     303                 :            :   GEN z;
     304                 :            :   long i;
     305         [ +  + ]:    3253173 :   if (!signe(x)) return pol_0(0);
     306                 :    2994673 :   z = cgetg(ly+2,t_POL); z[1] = evalsigne(1);
     307         [ +  + ]:   17932348 :   for(i=0; i<ly; i++) gel(z,i+2) = Fp_mul(gel(y,i), x, p);
     308                 :    3253173 :   return ZX_renormalize(z, ly+2);
     309                 :            : }
     310                 :            : 
     311                 :            : GEN
     312                 :    3247489 : FpX_Fp_mul(GEN y,GEN x,GEN p)
     313                 :            : {
     314                 :    3247489 :   GEN z = FpX_Fp_mulspec(y+2,x,p,lgpol(y));
     315                 :    3247489 :   setvarn(z, varn(y)); return z;
     316                 :            : }
     317                 :            : 
     318                 :            : GEN
     319                 :      52404 : FpX_Fp_mul_to_monic(GEN y,GEN x,GEN p)
     320                 :            : {
     321                 :            :   GEN z;
     322                 :            :   long i, l;
     323                 :      52404 :   z = cgetg_copy(y, &l); z[1] = y[1];
     324         [ +  + ]:     166746 :   for(i=2; i<l-1; i++) gel(z,i) = Fp_mul(gel(y,i), x, p);
     325                 :      52404 :   gel(z,l-1) = gen_1; return z;
     326                 :            : }
     327                 :            : 
     328                 :            : struct _FpXQ {
     329                 :            :   GEN T, p, aut;
     330                 :            : };
     331                 :            : 
     332                 :            : static GEN
     333                 :      55083 : _FpX_sqr(void *data, GEN x)
     334                 :            : {
     335                 :      55083 :   struct _FpXQ *D = (struct _FpXQ*)data;
     336                 :      55083 :   return FpX_sqr(x, D->p);
     337                 :            : }
     338                 :            : static GEN
     339                 :      68973 : _FpX_mul(void *data, GEN x, GEN y)
     340                 :            : {
     341                 :      68973 :   struct _FpXQ *D = (struct _FpXQ*)data;
     342                 :      68973 :   return FpX_mul(x,y, D->p);
     343                 :            : }
     344                 :            : 
     345                 :            : GEN
     346                 :     258146 : FpX_powu(GEN x, ulong n, GEN p)
     347                 :            : {
     348                 :            :   struct _FpXQ D;
     349         [ +  + ]:     258146 :   if (n==0) return pol_1(varn(x));
     350                 :      24514 :   D.p = p;
     351                 :     258146 :   return gen_powu(x, n, (void *)&D, _FpX_sqr, _FpX_mul);
     352                 :            : }
     353                 :            : 
     354                 :            : GEN
     355                 :       1124 : FpX_halve(GEN y, GEN p)
     356                 :            : {
     357                 :            :   GEN z;
     358                 :            :   long i, l;
     359                 :       1124 :   z = cgetg_copy(y, &l); z[1] = y[1];
     360         [ +  + ]:       3870 :   for(i=2; i<l; i++) gel(z,i) = Fp_halve(gel(y,i), p);
     361                 :       1124 :   return z;
     362                 :            : }
     363                 :            : 
     364                 :            : static GEN
     365                 :   62502192 : FpX_divrem_basecase(GEN x, GEN y, GEN p, GEN *pr)
     366                 :            : {
     367                 :            :   long vx, dx, dy, dy1, dz, i, j, sx, lr;
     368                 :            :   pari_sp av0, av;
     369                 :            :   GEN z,p1,rem,lead;
     370                 :            : 
     371         [ -  + ]:   62502192 :   if (!signe(y)) pari_err_INV("FpX_divrem",y);
     372                 :   62502192 :   vx = varn(x);
     373                 :   62502192 :   dy = degpol(y);
     374                 :   62502192 :   dx = degpol(x);
     375         [ +  + ]:   62502192 :   if (dx < dy)
     376                 :            :   {
     377         [ +  + ]:      54069 :     if (pr)
     378                 :            :     {
     379                 :      54054 :       av0 = avma; x = FpX_red(x, p);
     380 [ +  + ][ -  + ]:      54054 :       if (pr == ONLY_DIVIDES) { avma=av0; return signe(x)? NULL: pol_0(vx); }
     381         [ -  + ]:      54012 :       if (pr == ONLY_REM) return x;
     382                 :      54012 :       *pr = x;
     383                 :            :     }
     384                 :      54027 :     return pol_0(vx);
     385                 :            :   }
     386                 :   62448123 :   lead = leading_coeff(y);
     387         [ +  + ]:   62448123 :   if (!dy) /* y is constant */
     388                 :            :   {
     389 [ +  + ][ +  - ]:     290541 :     if (pr && pr != ONLY_DIVIDES)
     390                 :            :     {
     391         [ +  + ]:     278305 :       if (pr == ONLY_REM) return pol_0(vx);
     392                 :     246319 :       *pr = pol_0(vx);
     393                 :            :     }
     394                 :     258555 :     av0 = avma;
     395         [ +  + ]:     258555 :     if (equali1(lead)) return FpX_red(x, p);
     396                 :     256010 :     else return gerepileupto(av0, FpX_Fp_mul(x, Fp_inv(lead,p), p));
     397                 :            :   }
     398                 :   62157582 :   av0 = avma; dz = dx-dy;
     399         [ +  + ]:   62157582 :   if (lgefint(p) == 3)
     400                 :            :   { /* assume ab != 0 mod p */
     401                 :   39379386 :     ulong pp = to_Flx(&x, &y, p);
     402                 :   39379386 :     z = Flx_divrem(x, y, pp, pr);
     403                 :   39379386 :     avma = av0; /* HACK: assume pr last on stack, then z */
     404         [ +  + ]:   39379386 :     if (!z) return NULL;
     405                 :   39379351 :     z = leafcopy(z);
     406 [ +  + ][ +  + ]:   39379351 :     if (pr && pr != ONLY_DIVIDES && pr != ONLY_REM)
                 [ +  + ]
     407                 :            :     {
     408                 :    1817579 :       *pr = leafcopy(*pr);
     409                 :    1817579 :       *pr = Flx_to_ZX_inplace(*pr);
     410                 :            :     }
     411                 :   39379351 :     return Flx_to_ZX_inplace(z);
     412                 :            :   }
     413         [ +  + ]:   22778196 :   lead = equali1(lead)? NULL: gclone(Fp_inv(lead,p));
     414                 :   22778133 :   avma = av0;
     415                 :   22778133 :   z=cgetg(dz+3,t_POL); z[1] = x[1];
     416                 :   22778133 :   x += 2; y += 2; z += 2;
     417 [ +  + ][ +  + ]:   24802815 :   for (dy1=dy-1; dy1>=0 && !signe(gel(y, dy1)); dy1--);
     418                 :            : 
     419                 :   22778133 :   p1 = gel(x,dx); av = avma;
     420         [ +  + ]:   22778133 :   gel(z,dz) = lead? gerepileuptoint(av, Fp_mul(p1,lead, p)): icopy(p1);
     421         [ +  + ]:   52251725 :   for (i=dx-1; i>=dy; i--)
     422                 :            :   {
     423                 :   29473592 :     av=avma; p1=gel(x,i);
     424 [ +  + ][ +  + ]:  316828680 :     for (j=i-dy1; j<=i && j<=dz; j++)
     425                 :  287355088 :       p1 = subii(p1, mulii(gel(z,j),gel(y,i-j)));
     426         [ +  + ]:   29473592 :     if (lead) p1 = mulii(p1,lead);
     427                 :   29473592 :     gel(z,i-dy) = gerepileuptoint(av,modii(p1, p));
     428                 :            :   }
     429 [ +  + ][ +  + ]:   22778133 :   if (!pr) { if (lead) gunclone(lead); return z-2; }
     430                 :            : 
     431                 :   22760385 :   rem = (GEN)avma; av = (pari_sp)new_chunk(dx+3);
     432                 :   22760385 :   for (sx=0; ; i--)
     433                 :            :   {
     434                 :   23553368 :     p1 = gel(x,i);
     435 [ +  + ][ +  + ]:   75220497 :     for (j=maxss(0,i-dy1); j<=i && j<=dz; j++)
     436                 :   51667129 :       p1 = subii(p1, mulii(gel(z,j),gel(y,i-j)));
     437         [ +  + ]:   23553368 :     p1 = modii(p1,p); if (signe(p1)) { sx = 1; break; }
     438         [ +  + ]:     888874 :     if (!i) break;
     439                 :     792983 :     avma=av;
     440                 :     792983 :   }
     441         [ -  + ]:   22760385 :   if (pr == ONLY_DIVIDES)
     442                 :            :   {
     443         [ #  # ]:          0 :     if (lead) gunclone(lead);
     444         [ #  # ]:          0 :     if (sx) { avma=av0; return NULL; }
     445                 :          0 :     avma = (pari_sp)rem; return z-2;
     446                 :            :   }
     447                 :   22760385 :   lr=i+3; rem -= lr;
     448                 :   22760385 :   rem[0] = evaltyp(t_POL) | evallg(lr);
     449                 :   22760385 :   rem[1] = z[-1];
     450                 :   22760385 :   p1 = gerepileuptoint((pari_sp)rem, p1);
     451                 :   22760385 :   rem += 2; gel(rem,i) = p1;
     452         [ +  + ]:   83938073 :   for (i--; i>=0; i--)
     453                 :            :   {
     454                 :   61177688 :     av=avma; p1 = gel(x,i);
     455 [ +  + ][ +  + ]:  424307207 :     for (j=maxss(0,i-dy1); j<=i && j<=dz; j++)
     456                 :  363129519 :       p1 = subii(p1, mulii(gel(z,j),gel(y,i-j)));
     457                 :   61177688 :     gel(rem,i) = gerepileuptoint(av, modii(p1,p));
     458                 :            :   }
     459                 :   22760385 :   rem -= 2;
     460         [ +  + ]:   22760385 :   if (lead) gunclone(lead);
     461         [ +  + ]:   22760385 :   if (!sx) (void)FpX_renormalize(rem, lr);
     462         [ +  + ]:   22760385 :   if (pr == ONLY_REM) return gerepileupto(av0,rem);
     463                 :   62502129 :   *pr = rem; return z-2;
     464                 :            : }
     465                 :            : 
     466                 :            : GEN
     467                 :      20321 : FpX_div_by_X_x(GEN a, GEN x, GEN p, GEN *r)
     468                 :            : {
     469                 :      20321 :   long l = lg(a)-1, i;
     470                 :      20321 :   GEN z = cgetg(l, t_POL);
     471                 :      20321 :   z[1] = evalsigne(1) | evalvarn(0);
     472                 :      20321 :   gel(z, l-1) = gel(a,l);
     473         [ +  + ]:     628747 :   for (i=l-2; i>1; i--) /* z[i] = a[i+1] + x*z[i+1] */
     474                 :     608426 :     gel(z, i) = Fp_addmul(gel(a,i+1), x, gel(z,i+1), p);
     475         [ -  + ]:      20321 :   if (r) *r = Fp_addmul(gel(a,2), x, gel(z,2), p);
     476                 :      20321 :   return z;
     477                 :            : }
     478                 :            : 
     479                 :            : static GEN
     480                 :      69706 : _FpX_divrem(void * E, GEN x, GEN y, GEN *r)
     481                 :            : {
     482                 :      69706 :   struct _FpXQ *D = (struct _FpXQ*) E;
     483                 :      69706 :   return FpX_divrem(x, y, D->p, r);
     484                 :            : }
     485                 :            : static GEN
     486                 :      10241 : _FpX_add(void * E, GEN x, GEN y) {
     487                 :      10241 :   struct _FpXQ *D = (struct _FpXQ*) E;
     488                 :      10241 :   return FpX_add(x, y, D->p);
     489                 :            : }
     490                 :            : 
     491                 :            : static struct bb_ring FpX_ring = { _FpX_add,_FpX_mul,_FpX_sqr };
     492                 :            : 
     493                 :            : GEN
     494                 :       5642 : FpX_digits(GEN x, GEN T, GEN p)
     495                 :            : {
     496                 :       5642 :   pari_sp av = avma;
     497                 :            :   struct _FpXQ D;
     498                 :       5642 :   long d = degpol(T), n = (lgpol(x)+d-1)/d;
     499                 :            :   GEN z;
     500                 :       5642 :   D.p = p;
     501                 :       5642 :   z = gen_digits(x,T,n,(void *)&D, &FpX_ring, _FpX_divrem);
     502                 :       5642 :   return gerepileupto(av, z);
     503                 :            : }
     504                 :            : 
     505                 :            : GEN
     506                 :       2296 : FpX_fromdigits(GEN x, GEN T, GEN p)
     507                 :            : {
     508                 :       2296 :   pari_sp av = avma;
     509                 :            :   struct _FpXQ D;
     510                 :            :   GEN z;
     511                 :       2296 :   D.p = p;
     512                 :       2296 :   z = gen_fromdigits(x,T,(void *)&D, &FpX_ring);
     513                 :       2296 :   return gerepileupto(av, z);
     514                 :            : }
     515                 :            : 
     516                 :            : long
     517                 :      23296 : FpX_valrem(GEN x, GEN t, GEN p, GEN *py)
     518                 :            : {
     519                 :      23296 :   pari_sp av=avma;
     520                 :            :   long k;
     521                 :            :   GEN r, y;
     522                 :            : 
     523                 :      23296 :   for (k=0; ; k++)
     524                 :            :   {
     525                 :      67648 :     y = FpX_divrem(x, t, p, &r);
     526         [ +  + ]:      67648 :     if (signe(r)) break;
     527                 :      44352 :     x = y;
     528                 :      44352 :   }
     529                 :      23296 :   *py = gerepilecopy(av,x);
     530                 :      23296 :   return k;
     531                 :            : }
     532                 :            : 
     533                 :            : static GEN
     534                 :        187 : FpX_halfgcd_basecase(GEN a, GEN b, GEN p)
     535                 :            : {
     536                 :        187 :   pari_sp av=avma;
     537                 :            :   GEN u,u1,v,v1;
     538                 :        187 :   long vx = varn(a);
     539                 :        187 :   long n = lgpol(a)>>1;
     540                 :        187 :   u1 = v = pol_0(vx);
     541                 :        187 :   u = v1 = pol_1(vx);
     542         [ +  + ]:       3288 :   while (lgpol(b)>n)
     543                 :            :   {
     544                 :       3101 :     GEN r, q = FpX_divrem(a,b,p, &r);
     545                 :       3101 :     a = b; b = r; swap(u,u1); swap(v,v1);
     546                 :       3101 :     u1 = FpX_sub(u1, FpX_mul(u, q, p), p);
     547                 :       3101 :     v1 = FpX_sub(v1, FpX_mul(v, q ,p), p);
     548         [ -  + ]:       3101 :     if (gc_needed(av,2))
     549                 :            :     {
     550         [ #  # ]:          0 :       if (DEBUGMEM>1) pari_warn(warnmem,"FpX_halfgcd (d = %ld)",degpol(b));
     551                 :       3101 :       gerepileall(av,6, &a,&b,&u1,&v1,&u,&v);
     552                 :            :     }
     553                 :            :   }
     554                 :        187 :   return gerepilecopy(av, mkmat2(mkcol2(u,u1), mkcol2(v,v1)));
     555                 :            : }
     556                 :            : static GEN
     557                 :        340 : FpX_addmulmul(GEN u, GEN v, GEN x, GEN y, GEN p)
     558                 :            : {
     559                 :        340 :   return FpX_add(FpX_mul(u, x, p),FpX_mul(v, y, p), p);
     560                 :            : }
     561                 :            : 
     562                 :            : static GEN
     563                 :        166 : FpXM_FpX_mul2(GEN M, GEN x, GEN y, GEN p)
     564                 :            : {
     565                 :        166 :   GEN res = cgetg(3, t_COL);
     566                 :        166 :   gel(res, 1) = FpX_addmulmul(gcoeff(M,1,1), gcoeff(M,1,2), x, y, p);
     567                 :        166 :   gel(res, 2) = FpX_addmulmul(gcoeff(M,2,1), gcoeff(M,2,2), x, y, p);
     568                 :        166 :   return res;
     569                 :            : }
     570                 :            : 
     571                 :            : static GEN
     572                 :        166 : FpXM_mul2(GEN A, GEN B, GEN p)
     573                 :            : {
     574                 :        166 :   GEN A11=gcoeff(A,1,1),A12=gcoeff(A,1,2), B11=gcoeff(B,1,1),B12=gcoeff(B,1,2);
     575                 :        166 :   GEN A21=gcoeff(A,2,1),A22=gcoeff(A,2,2), B21=gcoeff(B,2,1),B22=gcoeff(B,2,2);
     576                 :        166 :   GEN M1 = FpX_mul(FpX_add(A11,A22, p), FpX_add(B11,B22, p), p);
     577                 :        166 :   GEN M2 = FpX_mul(FpX_add(A21,A22, p), B11, p);
     578                 :        166 :   GEN M3 = FpX_mul(A11, FpX_sub(B12,B22, p), p);
     579                 :        166 :   GEN M4 = FpX_mul(A22, FpX_sub(B21,B11, p), p);
     580                 :        166 :   GEN M5 = FpX_mul(FpX_add(A11,A12, p), B22, p);
     581                 :        166 :   GEN M6 = FpX_mul(FpX_sub(A21,A11, p), FpX_add(B11,B12, p), p);
     582                 :        166 :   GEN M7 = FpX_mul(FpX_sub(A12,A22, p), FpX_add(B21,B22, p), p);
     583                 :        166 :   GEN T1 = FpX_add(M1,M4, p), T2 = FpX_sub(M7,M5, p);
     584                 :        166 :   GEN T3 = FpX_sub(M1,M2, p), T4 = FpX_add(M3,M6, p);
     585                 :        166 :   retmkmat2(mkcol2(FpX_add(T1,T2, p), FpX_add(M2,M4, p)),
     586                 :            :             mkcol2(FpX_add(M3,M5, p), FpX_add(T3,T4, p)));
     587                 :            : }
     588                 :            : 
     589                 :            : /* Return [0,1;1,-q]*M */
     590                 :            : static GEN
     591                 :        162 : FpX_FpXM_qmul(GEN q, GEN M, GEN p)
     592                 :            : {
     593                 :        162 :   GEN u, v, res = cgetg(3, t_MAT);
     594                 :        162 :   u = FpX_sub(gcoeff(M,1,1), FpX_mul(gcoeff(M,2,1), q, p), p);
     595                 :        162 :   gel(res,1) = mkcol2(gcoeff(M,2,1), u);
     596                 :        162 :   v = FpX_sub(gcoeff(M,1,2), FpX_mul(gcoeff(M,2,2), q, p), p);
     597                 :        162 :   gel(res,2) = mkcol2(gcoeff(M,2,2), v);
     598                 :        162 :   return res;
     599                 :            : }
     600                 :            : 
     601                 :            : static GEN
     602                 :          4 : matid2_FpXM(long v)
     603                 :            : {
     604                 :          4 :   retmkmat2(mkcol2(pol_1(v),pol_0(v)),
     605                 :            :             mkcol2(pol_0(v),pol_1(v)));
     606                 :            : }
     607                 :            : 
     608                 :            : static GEN
     609                 :        162 : FpX_halfgcd_split(GEN x, GEN y, GEN p)
     610                 :            : {
     611                 :        162 :   pari_sp av=avma;
     612                 :            :   GEN R, S, V;
     613                 :            :   GEN y1, r, q;
     614                 :        162 :   long l = lgpol(x), n = l>>1, k;
     615         [ -  + ]:        162 :   if (lgpol(y)<=n) return matid2_FpXM(varn(x));
     616                 :        162 :   R = FpX_halfgcd(RgX_shift_shallow(x,-n),RgX_shift_shallow(y,-n),p);
     617                 :        162 :   V = FpXM_FpX_mul2(R,x,y,p); y1 = gel(V,2);
     618         [ -  + ]:        162 :   if (lgpol(y1)<=n) return gerepilecopy(av, R);
     619                 :        162 :   q = FpX_divrem(gel(V,1), y1, p, &r);
     620                 :        162 :   k = 2*n-degpol(y1);
     621                 :        162 :   S = FpX_halfgcd(RgX_shift_shallow(y1,-k), RgX_shift_shallow(r,-k),p);
     622                 :        162 :   return gerepileupto(av, FpXM_mul2(S,FpX_FpXM_qmul(q,R,p),p));
     623                 :            : }
     624                 :            : 
     625                 :            : /* Return M in GL_2(Fp[X]) such that:
     626                 :            : if [a',b']~=M*[a,b]~ then degpol(a')>= (lgpol(a)>>1) >degpol(b')
     627                 :            : */
     628                 :            : 
     629                 :            : static GEN
     630                 :        349 : FpX_halfgcd_i(GEN x, GEN y, GEN p)
     631                 :            : {
     632         [ +  + ]:        349 :   if (lg(x)<=FpX_HALFGCD_LIMIT) return FpX_halfgcd_basecase(x,y,p);
     633                 :        349 :   return FpX_halfgcd_split(x,y,p);
     634                 :            : }
     635                 :            : 
     636                 :            : GEN
     637                 :        455 : FpX_halfgcd(GEN x, GEN y, GEN p)
     638                 :            : {
     639                 :        455 :   pari_sp av = avma;
     640                 :            :   GEN M,q,r;
     641         [ +  + ]:        455 :   if (lgefint(p)==3)
     642                 :            :   {
     643                 :        106 :     ulong pp = to_Flx(&x, &y, p);
     644                 :        106 :     M = FlxM_to_ZXM(Flx_halfgcd(x, y, pp));
     645                 :            :   }
     646                 :            :   else
     647                 :            :   {
     648         [ -  + ]:        349 :     if (!signe(x))
     649                 :            :     {
     650                 :          0 :       long v = varn(x);
     651                 :          0 :       retmkmat2(mkcol2(pol_0(v),pol_1(v)),
     652                 :            :                 mkcol2(pol_1(v),pol_0(v)));
     653                 :            :     }
     654         [ +  + ]:        349 :     if (degpol(y)<degpol(x)) return FpX_halfgcd_i(x,y,p);
     655                 :         10 :     q = FpX_divrem(y,x,p,&r);
     656                 :         10 :     M = FpX_halfgcd_i(x,r,p);
     657                 :         10 :     gcoeff(M,1,1) = FpX_sub(gcoeff(M,1,1), FpX_mul(q, gcoeff(M,1,2), p), p);
     658                 :         10 :     gcoeff(M,2,1) = FpX_sub(gcoeff(M,2,1), FpX_mul(q, gcoeff(M,2,2), p), p);
     659                 :            :   }
     660                 :        455 :   return gerepilecopy(av, M);
     661                 :            : }
     662                 :            : 
     663                 :            : static GEN
     664                 :      52038 : FpX_gcd_basecase(GEN a, GEN b, GEN p)
     665                 :            : {
     666                 :      52038 :   pari_sp av = avma, av0=avma;
     667         [ +  + ]:     644768 :   while (signe(b))
     668                 :            :   {
     669                 :            :     GEN c;
     670         [ -  + ]:     592793 :     if (gc_needed(av0,2))
     671                 :            :     {
     672         [ #  # ]:          0 :       if (DEBUGMEM>1) pari_warn(warnmem,"FpX_gcd (d = %ld)",degpol(b));
     673                 :          0 :       gerepileall(av0,2, &a,&b);
     674                 :            :     }
     675                 :     592793 :     av = avma; c = FpX_rem(a,b,p); a=b; b=c;
     676                 :            :   }
     677                 :      51975 :   avma = av; return a;
     678                 :            : }
     679                 :            : 
     680                 :            : GEN
     681                 :     126988 : FpX_gcd(GEN x, GEN y, GEN p)
     682                 :            : {
     683                 :     126988 :   pari_sp av = avma;
     684         [ +  + ]:     126988 :   if (lgefint(p)==3)
     685                 :            :   {
     686                 :            :     ulong pp;
     687                 :      74769 :     (void)new_chunk((lg(x) + lg(y)) << 2); /* scratch space */
     688                 :      74769 :     pp = to_Flx(&x, &y, p);
     689                 :      74769 :     x = Flx_gcd(x, y, pp);
     690                 :      74769 :     avma = av; return Flx_to_ZX(x);
     691                 :            :   }
     692                 :      52219 :   x = FpX_red(x, p);
     693                 :      52219 :   y = FpX_red(y, p);
     694         [ +  + ]:      52219 :   if (!signe(x)) return gerepileupto(av, y);
     695         [ -  + ]:      52038 :   while (lg(y)>FpX_GCD_LIMIT)
     696                 :            :   {
     697                 :            :     GEN c;
     698         [ #  # ]:          0 :     if (lgpol(y)<=(lgpol(x)>>1))
     699                 :            :     {
     700                 :          0 :       GEN r = FpX_rem(x, y, p);
     701                 :          0 :       x = y; y = r;
     702                 :            :     }
     703                 :          0 :     c = FpXM_FpX_mul2(FpX_halfgcd(x,y, p), x, y, p);
     704                 :          0 :     x = gel(c,1); y = gel(c,2);
     705                 :          0 :     gerepileall(av,2,&x,&y);
     706                 :            :   }
     707                 :     126988 :   return gerepileupto(av, FpX_gcd_basecase(x,y,p));
     708                 :            : }
     709                 :            : 
     710                 :            : /*Return 1 if gcd can be computed
     711                 :            :  * else return a factor of p*/
     712                 :            : 
     713                 :            : GEN
     714                 :          0 : FpX_gcd_check(GEN x, GEN y, GEN p)
     715                 :            : {
     716                 :            :   GEN a,b,c;
     717                 :          0 :   pari_sp av=avma;
     718                 :            : 
     719                 :          0 :   a = FpX_red(x, p);
     720                 :          0 :   b = FpX_red(y, p);
     721         [ #  # ]:          0 :   while (signe(b))
     722                 :            :   {
     723                 :          0 :     GEN lead = leading_coeff(b);
     724                 :          0 :     GEN g = gcdii(lead,p);
     725         [ #  # ]:          0 :     if (!equali1(g)) return gerepileuptoint(av,g);
     726                 :          0 :     c = FpX_rem(a,b,p); a=b; b=c;
     727                 :            :   }
     728                 :          0 :   avma = av; return gen_1;
     729                 :            : }
     730                 :            : 
     731                 :            : static GEN
     732                 :     246319 : FpX_extgcd_basecase(GEN a, GEN b, GEN p, GEN *ptu, GEN *ptv)
     733                 :            : {
     734                 :     246319 :   pari_sp av=avma;
     735                 :            :   GEN u,v,d,d1,v1;
     736                 :     246319 :   long vx = varn(a);
     737                 :     246319 :   d = a; d1 = b;
     738                 :     246319 :   v = pol_0(vx); v1 = pol_1(vx);
     739         [ +  + ]:     834123 :   while (signe(d1))
     740                 :            :   {
     741                 :     587804 :     GEN r, q = FpX_divrem(d,d1,p, &r);
     742                 :     587804 :     v = FpX_sub(v,FpX_mul(q,v1,p),p);
     743                 :     587804 :     u=v; v=v1; v1=u;
     744                 :     587804 :     u=r; d=d1; d1=u;
     745         [ -  + ]:     587804 :     if (gc_needed(av,2))
     746                 :            :     {
     747         [ #  # ]:          0 :       if (DEBUGMEM>1) pari_warn(warnmem,"FpX_extgcd (d = %ld)",degpol(d));
     748                 :     587804 :       gerepileall(av,5, &d,&d1,&u,&v,&v1);
     749                 :            :     }
     750                 :            :   }
     751         [ +  + ]:     246319 :   if (ptu) *ptu = FpX_div(FpX_sub(d,FpX_mul(b,v,p),p),a,p);
     752                 :     246319 :   *ptv = v; return d;
     753                 :            : }
     754                 :            : 
     755                 :            : static GEN
     756                 :          4 : FpX_extgcd_halfgcd(GEN x, GEN y, GEN p, GEN *ptu, GEN *ptv)
     757                 :            : {
     758                 :          4 :   pari_sp av=avma;
     759                 :          4 :   GEN u,v,R = matid2_FpXM(varn(x));
     760         [ +  + ]:          8 :   while (lg(y)>FpX_EXTGCD_LIMIT)
     761                 :            :   {
     762                 :            :     GEN M, c;
     763         [ -  + ]:          4 :     if (lgpol(y)<=(lgpol(x)>>1))
     764                 :            :     {
     765                 :          0 :       GEN r, q = FpX_divrem(x, y, p, &r);
     766                 :          0 :       x = y; y = r;
     767                 :          0 :       R = FpX_FpXM_qmul(q, R, p);
     768                 :            :     }
     769                 :          4 :     M = FpX_halfgcd(x,y, p);
     770                 :          4 :     c = FpXM_FpX_mul2(M, x,y, p);
     771                 :          4 :     R = FpXM_mul2(M, R, p);
     772                 :          4 :     x = gel(c,1); y = gel(c,2);
     773                 :          4 :     gerepileall(av,3,&x,&y,&R);
     774                 :            :   }
     775                 :          4 :   y = FpX_extgcd_basecase(x,y,p,&u,&v);
     776         [ +  - ]:          4 :   if (ptu) *ptu = FpX_addmulmul(u,v,gcoeff(R,1,1),gcoeff(R,2,1),p);
     777                 :          4 :   *ptv = FpX_addmulmul(u,v,gcoeff(R,1,2),gcoeff(R,2,2),p);
     778                 :          4 :   return y;
     779                 :            : }
     780                 :            : 
     781                 :            : /* x and y in Z[X], return lift(gcd(x mod p, y mod p)). Set u and v st
     782                 :            :  * ux + vy = gcd (mod p) */
     783                 :            : GEN
     784                 :     321598 : FpX_extgcd(GEN x, GEN y, GEN p, GEN *ptu, GEN *ptv)
     785                 :            : {
     786                 :            :   GEN d;
     787                 :     321598 :   pari_sp ltop=avma;
     788         [ +  + ]:     321598 :   if (lgefint(p)==3)
     789                 :            :   {
     790                 :      75279 :     ulong pp = to_Flx(&x, &y, p);
     791                 :      75279 :     d = Flx_extgcd(x,y, pp, ptu,ptv);
     792                 :      75279 :     d = Flx_to_ZX(d);
     793         [ +  + ]:      75279 :     if (ptu) *ptu=Flx_to_ZX(*ptu);
     794                 :      75279 :     *ptv=Flx_to_ZX(*ptv);
     795                 :            :   }
     796                 :            :   else
     797                 :            :   {
     798                 :     246319 :     x = FpX_red(x, p);
     799                 :     246319 :     y = FpX_red(y, p);
     800         [ +  + ]:     246319 :     if (lg(y)>FpX_EXTGCD_LIMIT)
     801                 :          4 :       d = FpX_extgcd_halfgcd(x, y, p, ptu, ptv);
     802                 :            :     else
     803                 :     246315 :       d = FpX_extgcd_basecase(x, y, p, ptu, ptv);
     804                 :            :   }
     805         [ +  + ]:     321598 :   gerepileall(ltop,ptu?3:2,&d,ptv,ptu);
     806                 :     321598 :   return d;
     807                 :            : }
     808                 :            : 
     809                 :            : GEN
     810                 :      13076 : FpX_rescale(GEN P, GEN h, GEN p)
     811                 :            : {
     812                 :      13076 :   long i, l = lg(P);
     813                 :      13076 :   GEN Q = cgetg(l,t_POL), hi = h;
     814                 :      13076 :   Q[l-1] = P[l-1];
     815         [ +  - ]:      60522 :   for (i=l-2; i>=2; i--)
     816                 :            :   {
     817                 :      60522 :     gel(Q,i) = Fp_mul(gel(P,i), hi, p);
     818         [ +  + ]:      60522 :     if (i == 2) break;
     819                 :      47446 :     hi = Fp_mul(hi,h, p);
     820                 :            :   }
     821                 :      13076 :   Q[1] = P[1]; return Q;
     822                 :            : }
     823                 :            : 
     824                 :            : GEN
     825                 :     634609 : FpX_deriv(GEN x, GEN p) { return FpX_red(ZX_deriv(x), p); }
     826                 :            : 
     827                 :            : int
     828                 :       2478 : FpX_is_squarefree(GEN f, GEN p)
     829                 :            : {
     830                 :       2478 :   pari_sp av = avma;
     831                 :       2478 :   GEN z = FpX_gcd(f,FpX_deriv(f,p),p);
     832                 :       2478 :   avma = av;
     833                 :       2478 :   return degpol(z)==0;
     834                 :            : }
     835                 :            : 
     836                 :            : GEN
     837                 :      47359 : random_FpX(long d1, long v, GEN p)
     838                 :            : {
     839                 :      47359 :   long i, d = d1+2;
     840                 :      47359 :   GEN y = cgetg(d,t_POL); y[1] = evalsigne(1) | evalvarn(v);
     841         [ +  + ]:     199175 :   for (i=2; i<d; i++) gel(y,i) = randomi(p);
     842                 :      47359 :   return FpX_renormalize(y,d);
     843                 :            : }
     844                 :            : 
     845                 :            : GEN
     846                 :        566 : FpX_dotproduct(GEN x, GEN y, GEN p)
     847                 :            : {
     848                 :        566 :   long i, l = minss(lg(x), lg(y));
     849                 :            :   pari_sp av;
     850                 :            :   GEN c;
     851         [ -  + ]:        566 :   if (l == 2) return gen_0;
     852                 :        566 :   av = avma; c = mulii(gel(x,2),gel(y,2));
     853         [ +  + ]:       9459 :   for (i=3; i<l; i++) c = addii(c, mulii(gel(x,i),gel(y,i)));
     854                 :        566 :   return gerepileuptoint(av, modii(c,p));
     855                 :            : }
     856                 :            : 
     857                 :            : /* Evaluation in Fp
     858                 :            :  * x a ZX and y an Fp, return x(y) mod p
     859                 :            :  *
     860                 :            :  * If p is very large (several longs) and x has small coefficients(<<p),
     861                 :            :  * then Brent & Kung algorithm is faster. */
     862                 :            : GEN
     863                 :     525038 : FpX_eval(GEN x,GEN y,GEN p)
     864                 :            : {
     865                 :            :   pari_sp av;
     866                 :            :   GEN p1,r,res;
     867                 :     525038 :   long j, i=lg(x)-1;
     868         [ +  + ]:     525038 :   if (i<=2)
     869         [ +  + ]:       6537 :     return (i==2)? modii(gel(x,2),p): gen_0;
     870                 :     518501 :   res=cgeti(lgefint(p));
     871                 :     518501 :   av=avma; p1=gel(x,i);
     872                 :            :   /* specific attention to sparse polynomials (see poleval)*/
     873                 :            :   /*You've guessed it! It's a copy-paste(tm)*/
     874         [ +  + ]:    2053609 :   for (i--; i>=2; i=j-1)
     875                 :            :   {
     876         [ +  + ]:    2068952 :     for (j=i; !signe(gel(x,j)); j--)
     877         [ +  + ]:     533844 :       if (j==2)
     878                 :            :       {
     879         [ +  + ]:      58936 :         if (i!=j) y = Fp_powu(y,i-j+1,p);
     880                 :      58936 :         p1=mulii(p1,y);
     881                 :      58936 :         goto fppoleval;/*sorry break(2) no implemented*/
     882                 :            :       }
     883         [ +  + ]:    1535108 :     r = (i==j)? y: Fp_powu(y,i-j+1,p);
     884                 :    1535108 :     p1 = Fp_addmul(gel(x,j), p1, r, p);
     885         [ +  + ]:    1535108 :     if ((i & 7) == 0) { affii(p1, res); p1 = res; avma = av; }
     886                 :            :   }
     887                 :            :  fppoleval:
     888                 :     518501 :   modiiz(p1,p,res);
     889                 :     525038 :   avma = av; return res;
     890                 :            : }
     891                 :            : 
     892                 :            : /* Tz=Tx*Ty where Tx and Ty coprime
     893                 :            :  * return lift(chinese(Mod(x*Mod(1,p),Tx*Mod(1,p)),Mod(y*Mod(1,p),Ty*Mod(1,p))))
     894                 :            :  * if Tz is NULL it is computed
     895                 :            :  * As we do not return it, and the caller will frequently need it,
     896                 :            :  * it must compute it and pass it.
     897                 :            :  */
     898                 :            : GEN
     899                 :        665 : FpX_chinese_coprime(GEN x,GEN y,GEN Tx,GEN Ty,GEN Tz,GEN p)
     900                 :            : {
     901                 :        665 :   pari_sp av = avma;
     902                 :            :   GEN ax,p1;
     903                 :        665 :   ax = FpX_mul(FpXQ_inv(Tx,Ty,p), Tx,p);
     904                 :        665 :   p1 = FpX_mul(ax, FpX_sub(y,x,p),p);
     905                 :        665 :   p1 = FpX_add(x,p1,p);
     906         [ -  + ]:        665 :   if (!Tz) Tz=FpX_mul(Tx,Ty,p);
     907                 :        665 :   p1 = FpX_rem(p1,Tz,p);
     908                 :        665 :   return gerepileupto(av,p1);
     909                 :            : }
     910                 :            : 
     911                 :            : /* Res(A,B) = Res(B,R) * lc(B)^(a-r) * (-1)^(ab), with R=A%B, a=deg(A) ...*/
     912                 :            : GEN
     913                 :       6098 : FpX_resultant(GEN a, GEN b, GEN p)
     914                 :            : {
     915                 :            :   long da,db,dc;
     916                 :            :   pari_sp av;
     917                 :       6098 :   GEN c,lb, res = gen_1;
     918                 :            : 
     919 [ +  - ][ -  + ]:       6098 :   if (!signe(a) || !signe(b)) return gen_0;
     920                 :       6098 :   da = degpol(a);
     921                 :       6098 :   db = degpol(b);
     922         [ -  + ]:       6098 :   if (db > da)
     923                 :            :   {
     924                 :          0 :     swapspec(a,b, da,db);
     925         [ #  # ]:          0 :     if (both_odd(da,db)) res = subii(p, res);
     926                 :            :   }
     927         [ -  + ]:       6098 :   if (!da) return gen_1; /* = res * a[2] ^ db, since 0 <= db <= da = 0 */
     928                 :       6098 :   av = avma;
     929         [ +  + ]:      28876 :   while (db)
     930                 :            :   {
     931                 :      22785 :     lb = gel(b,db+2);
     932                 :      22785 :     c = FpX_rem(a,b, p);
     933                 :      22785 :     a = b; b = c; dc = degpol(c);
     934         [ +  + ]:      22785 :     if (dc < 0) { avma = av; return NULL; }
     935                 :            : 
     936         [ +  + ]:      22778 :     if (both_odd(da,db)) res = subii(p, res);
     937         [ +  + ]:      22778 :     if (!equali1(lb)) res = Fp_mul(res, Fp_powu(lb, da - dc, p), p);
     938         [ -  + ]:      22778 :     if (gc_needed(av,2))
     939                 :            :     {
     940         [ #  # ]:          0 :       if (DEBUGMEM>1) pari_warn(warnmem,"FpX_resultant (da = %ld)",da);
     941                 :          0 :       gerepileall(av,3, &a,&b,&res);
     942                 :            :     }
     943                 :      22778 :     da = db; /* = degpol(a) */
     944                 :      22778 :     db = dc; /* = degpol(b) */
     945                 :            :   }
     946                 :       6091 :   res = Fp_mul(res, Fp_powu(gel(b,2), da, p), p);
     947                 :       6098 :   return gerepileuptoint(av, res);
     948                 :            : }
     949                 :            : 
     950                 :            : GEN
     951                 :         14 : FpX_disc(GEN x, GEN p)
     952                 :            : {
     953                 :         14 :   pari_sp av = avma;
     954                 :         14 :   GEN L, D = FpX_resultant(x, FpX_deriv(x,p), p);
     955 [ +  + ][ -  + ]:         14 :   if (!D || !signe(D)) return gen_0;
     956         [ -  + ]:          7 :   L = leading_coeff(x); if (!equali1(L)) D = Fp_div(D,L,p);
     957         [ +  - ]:          7 :   if (degpol(x) & 2) D = Fp_neg(D,p);
     958                 :         14 :   return gerepileuptoint(av, D);
     959                 :            : }
     960                 :            : 
     961                 :            : GEN
     962                 :      19553 : FpXV_prod(GEN V, GEN p)
     963                 :            : {
     964                 :            :   struct _FpXQ D;
     965                 :      19553 :   D.p = p;
     966                 :      19553 :   return gen_product(V, (void *)&D, &_FpX_mul);
     967                 :            : }
     968                 :            : 
     969                 :            : GEN
     970                 :       5124 : FpV_roots_to_pol(GEN V, GEN p, long v)
     971                 :            : {
     972                 :       5124 :   pari_sp ltop=avma;
     973                 :            :   long i;
     974                 :       5124 :   GEN g=cgetg(lg(V),t_VEC);
     975         [ +  + ]:      39711 :   for(i=1;i<lg(V);i++)
     976                 :      34587 :     gel(g,i) = deg1pol_shallow(gen_1,modii(negi(gel(V,i)),p),v);
     977                 :       5124 :   return gerepileupto(ltop,FpXV_prod(g,p));
     978                 :            : }
     979                 :            : 
     980                 :            : /* invert all elements of x mod p using Montgomery's multi-inverse trick.
     981                 :            :  * Not stack-clean. */
     982                 :            : GEN
     983                 :       4762 : FpV_inv(GEN x, GEN p)
     984                 :            : {
     985                 :       4762 :   long i, lx = lg(x);
     986                 :       4762 :   GEN u, y = cgetg(lx, t_VEC);
     987                 :            : 
     988                 :       4762 :   gel(y,1) = gel(x,1);
     989         [ +  + ]:     329093 :   for (i=2; i<lx; i++) gel(y,i) = Fp_mul(gel(y,i-1), gel(x,i), p);
     990                 :            : 
     991                 :       4762 :   u = Fp_inv(gel(y,--i), p);
     992         [ +  + ]:     329093 :   for ( ; i > 1; i--)
     993                 :            :   {
     994                 :     324331 :     gel(y,i) = Fp_mul(u, gel(y,i-1), p);
     995                 :     324331 :     u = Fp_mul(u, gel(x,i), p); /* u = 1 / (x[1] ... x[i-1]) */
     996                 :            :   }
     997                 :       4762 :   gel(y,1) = u; return y;
     998                 :            : }
     999                 :            : GEN
    1000                 :          0 : FqV_inv(GEN x, GEN T, GEN p)
    1001                 :            : {
    1002                 :          0 :   long i, lx = lg(x);
    1003                 :          0 :   GEN u, y = cgetg(lx, t_VEC);
    1004                 :            : 
    1005                 :          0 :   gel(y,1) = gel(x,1);
    1006         [ #  # ]:          0 :   for (i=2; i<lx; i++) gel(y,i) = Fq_mul(gel(y,i-1), gel(x,i), T,p);
    1007                 :            : 
    1008                 :          0 :   u = Fq_inv(gel(y,--i), T,p);
    1009         [ #  # ]:          0 :   for ( ; i > 1; i--)
    1010                 :            :   {
    1011                 :          0 :     gel(y,i) = Fq_mul(u, gel(y,i-1), T,p);
    1012                 :          0 :     u = Fq_mul(u, gel(x,i), T,p); /* u = 1 / (x[1] ... x[i-1]) */
    1013                 :            :   }
    1014                 :          0 :   gel(y,1) = u; return y;
    1015                 :            : }
    1016                 :            : 
    1017                 :            : /***********************************************************************/
    1018                 :            : /**                                                                   **/
    1019                 :            : /**                      Barrett reduction                            **/
    1020                 :            : /**                                                                   **/
    1021                 :            : /***********************************************************************/
    1022                 :            : 
    1023                 :            : static GEN
    1024                 :       1421 : FpX_invBarrett_basecase(GEN T, GEN p)
    1025                 :            : {
    1026                 :       1421 :   long i, l=lg(T)-1, lr = l-1, k;
    1027                 :       1421 :   GEN r=cgetg(lr, t_POL); r[1]=T[1];
    1028                 :       1421 :   gel(r,2) = gen_1;
    1029         [ +  + ]:      82733 :   for (i=3; i<lr; i++)
    1030                 :            :   {
    1031                 :      81312 :     pari_sp av = avma;
    1032                 :      81312 :     GEN u = gel(T,l-i+2);
    1033         [ +  + ]:    2636787 :     for (k=3; k<i; k++)
    1034                 :    2555475 :       u = addii(u, mulii(gel(T,l-i+k), gel(r,k)));
    1035                 :      81312 :     gel(r,i) = gerepileupto(av, modii(negi(u), p));
    1036                 :            :   }
    1037                 :       1421 :   return FpX_renormalize(r,lr);
    1038                 :            : }
    1039                 :            : 
    1040                 :            : /* Return new lgpol */
    1041                 :            : static long
    1042                 :     207153 : ZX_lgrenormalizespec(GEN x, long lx)
    1043                 :            : {
    1044                 :            :   long i;
    1045         [ +  - ]:     254070 :   for (i = lx-1; i>=0; i--)
    1046         [ +  + ]:     254070 :     if (signe(gel(x,i))) break;
    1047                 :     207153 :   return i+1;
    1048                 :            : }
    1049                 :            : 
    1050                 :            : INLINE GEN
    1051                 :     197065 : FpX_recipspec(GEN x, long l, long n)
    1052                 :            : {
    1053                 :     197065 :   return RgX_recipspec_shallow(x, l, n);
    1054                 :            : }
    1055                 :            : 
    1056                 :            : static GEN
    1057                 :        526 : FpX_invBarrett_Newton(GEN T, GEN p)
    1058                 :            : {
    1059                 :        526 :   pari_sp av = avma;
    1060                 :        526 :   long nold, lx, lz, lq, l = degpol(T), i, lQ;
    1061                 :        526 :   GEN q, y, z, x = cgetg(l+2, t_POL) + 2;
    1062                 :        526 :   ulong mask = quadratic_prec_mask(l-2); /* assume l > 2 */
    1063         [ +  + ]:      72032 :   for (i=0;i<l;i++) gel(x,i) = gen_0;
    1064                 :        526 :   q = FpX_recipspec(T+2,l+1,l+1); lQ = lgpol(q); q+=2;
    1065                 :            :   /* We work on _spec_ FpX's, all the l[xzq] below are lgpol's */
    1066                 :            : 
    1067                 :            :   /* initialize */
    1068                 :        526 :   gel(x,0) = Fp_inv(gel(q,0), p);
    1069         [ +  - ]:        526 :   if (lQ>1) gel(q,1) = Fp_red(gel(q,1), p);
    1070 [ +  - ][ +  + ]:        526 :   if (lQ>1 && signe(gel(q,1)))
    1071                 :        491 :   {
    1072                 :        475 :     GEN u = gel(q, 1);
    1073         [ +  + ]:        475 :     if (!equali1(gel(x,0))) u = Fp_mul(u, Fp_sqr(gel(x,0), p), p);
    1074                 :        475 :     gel(x,1) = Fp_neg(u, p); lx = 2;
    1075                 :            :   }
    1076                 :            :   else
    1077                 :         51 :     lx = 1;
    1078                 :        542 :   nold = 1;
    1079         [ +  + ]:       4282 :   for (; mask > 1; )
    1080                 :            :   { /* set x -= x(x*q - 1) + O(t^(nnew + 1)), knowing x*q = 1 + O(t^(nold+1)) */
    1081                 :       3756 :     long i, lnew, nnew = nold << 1;
    1082                 :            : 
    1083         [ +  + ]:       3756 :     if (mask & 1) nnew--;
    1084                 :       3756 :     mask >>= 1;
    1085                 :            : 
    1086                 :       3756 :     lnew = nnew + 1;
    1087                 :       3756 :     lq = ZX_lgrenormalizespec(q, minss(lQ,lnew));
    1088                 :       3756 :     z = FpX_mulspec(x, q, p, lx, lq); /* FIXME: high product */
    1089         [ +  + ]:       3756 :     lz = lgpol(z); if (lz > lnew) lz = lnew;
    1090                 :       3756 :     z += 2;
    1091                 :            :     /* subtract 1 [=>first nold words are 0]: renormalize so that z(0) != 0 */
    1092 [ +  + ][ +  + ]:      11043 :     for (i = nold; i < lz; i++) if (signe(gel(z,i))) break;
    1093                 :       3756 :     nold = nnew;
    1094         [ +  + ]:       3756 :     if (i >= lz) continue; /* z-1 = 0(t^(nnew + 1)) */
    1095                 :            : 
    1096                 :            :     /* z + i represents (x*q - 1) / t^i */
    1097                 :       3501 :     lz = ZX_lgrenormalizespec (z+i, lz-i);
    1098                 :       3501 :     z = FpX_mulspec(x, z+i, p, lx, lz); /* FIXME: low product */
    1099                 :       3500 :     lz = lgpol(z); z += 2;
    1100         [ +  + ]:       3500 :     if (lz > lnew-i) lz = ZX_lgrenormalizespec(z, lnew-i);
    1101                 :            : 
    1102                 :       3499 :     lx = lz+ i;
    1103                 :       3499 :     y  = x + i; /* x -= z * t^i, in place */
    1104         [ +  + ]:      69187 :     for (i = 0; i < lz; i++) gel(y,i) = Fp_neg(gel(z,i), p);
    1105                 :            :   }
    1106                 :        526 :   x -= 2; setlg(x, lx + 2); x[1] = T[1];
    1107                 :        526 :   return gerepilecopy(av, x);
    1108                 :            : }
    1109                 :            : 
    1110                 :            : /* 1/polrecip(T)+O(x^(deg(T)-1)) */
    1111                 :            : GEN
    1112                 :       1951 : FpX_invBarrett(GEN T, GEN p)
    1113                 :            : {
    1114                 :       1951 :   pari_sp ltop = avma;
    1115                 :       1951 :   long l = lg(T);
    1116                 :            :   GEN r;
    1117         [ +  + ]:       1951 :   if (l<5) return pol_0(varn(T));
    1118         [ +  + ]:       1947 :   if (l<=FpX_INVBARRETT_LIMIT)
    1119                 :            :   {
    1120                 :       1421 :     GEN c = gel(T,l-1), ci=gen_1;
    1121         [ -  + ]:       1421 :     if (!equali1(c))
    1122                 :            :     {
    1123                 :          0 :       ci = Fp_inv(c, p);
    1124                 :          0 :       T = FpX_Fp_mul(T, ci, p);
    1125                 :          0 :       r = FpX_invBarrett_basecase(T, p);
    1126                 :          0 :       r = FpX_Fp_mul(r, ci, p);
    1127                 :            :     } else
    1128                 :       1421 :       r = FpX_invBarrett_basecase(T, p);
    1129                 :            :   }
    1130                 :            :   else
    1131                 :        526 :     r = FpX_invBarrett_Newton(T, p);
    1132                 :       1951 :   return gerepileupto(ltop, r);
    1133                 :            : }
    1134                 :            : 
    1135                 :            : GEN
    1136                 :     655185 : FpX_get_red(GEN T, GEN p)
    1137                 :            : {
    1138 [ +  + ][ +  + ]:     655185 :   if (typ(T)==t_POL && lg(T)>FpX_BARRETT_LIMIT)
    1139                 :       1658 :     retmkvec2(FpX_invBarrett(T,p),T);
    1140                 :     655185 :   return T;
    1141                 :            : }
    1142                 :            : 
    1143                 :            : /* Compute x mod T where 2 <= degpol(T) <= l+1 <= 2*(degpol(T)-1)
    1144                 :            :  * and mg is the Barrett inverse of T. */
    1145                 :            : static GEN
    1146                 :      98225 : FpX_divrem_Barrettspec(GEN x, long l, GEN mg, GEN T, GEN p, GEN *pr)
    1147                 :            : {
    1148                 :            :   GEN q, r;
    1149                 :      98225 :   long lt = degpol(T); /*We discard the leading term*/
    1150                 :            :   long ld, lm, lT, lmg;
    1151                 :      98225 :   ld = l-lt;
    1152                 :      98225 :   lm = minss(ld, lgpol(mg));
    1153                 :      98225 :   lT  = ZX_lgrenormalizespec(T+2,lt);
    1154                 :      98225 :   lmg = ZX_lgrenormalizespec(mg+2,lm);
    1155                 :      98225 :   q = FpX_recipspec(x+lt,ld,ld);              /* q = rec(x)     lq<=ld*/
    1156                 :      98225 :   q = FpX_mulspec(q+2,mg+2,p,lgpol(q),lmg);    /* q = rec(x) * mg lq<=ld+lm*/
    1157                 :      98224 :   q = FpX_recipspec(q+2,minss(ld,lgpol(q)),ld);/* q = rec (rec(x) * mg) lq<=ld*/
    1158         [ -  + ]:      98225 :   if (!pr) return q;
    1159                 :      98225 :   r = FpX_mulspec(q+2,T+2,p,lgpol(q),lT);      /* r = q*pol        lr<=ld+lt*/
    1160                 :      98225 :   r = FpX_subspec(x,r+2,p,lt,minss(lt,lgpol(r)));/* r = x - r   lr<=lt */
    1161         [ +  + ]:      98225 :   if (pr == ONLY_REM) return r;
    1162                 :      98225 :   *pr = r; return q;
    1163                 :            : }
    1164                 :            : 
    1165                 :            : static GEN
    1166                 :      97801 : FpX_divrem_Barrett_noGC(GEN x, GEN mg, GEN T, GEN p, GEN *pr)
    1167                 :            : {
    1168                 :      97801 :   GEN q = NULL, r = FpX_red(x, p);
    1169                 :      97801 :   long l = lgpol(r), lt = degpol(T), lm = 2*lt-1;
    1170                 :            :   long i;
    1171         [ -  + ]:      97801 :   if (l <= lt)
    1172                 :            :   {
    1173         [ #  # ]:          0 :     if (pr == ONLY_REM) return r;
    1174 [ #  # ][ #  # ]:          0 :     if (pr == ONLY_DIVIDES) return signe(x)? NULL: pol_0(varn(x));
    1175         [ #  # ]:          0 :     if (pr) *pr = r;
    1176                 :          0 :     return pol_0(varn(T));
    1177                 :            :   }
    1178         [ +  + ]:      97801 :   if (lt <= 1)
    1179                 :          4 :     return FpX_divrem_basecase(r,T,p,pr);
    1180 [ +  + ][ +  + ]:      97797 :   if (pr != ONLY_REM && l>lm)
    1181                 :            :   {
    1182                 :        128 :     q = cgetg(l-lt+2, t_POL);
    1183         [ +  + ]:      21765 :     for (i=0;i<l-lt;i++) gel(q+2,i) = gen_0;
    1184                 :            :   }
    1185         [ +  + ]:      98225 :   while (l>lm)
    1186                 :            :   {
    1187                 :        428 :     GEN zr, zq = FpX_divrem_Barrettspec(r+2+l-lm,lm,mg,T,p,&zr);
    1188                 :        428 :     long lz = lgpol(zr);
    1189         [ +  + ]:        428 :     if (pr != ONLY_REM)
    1190                 :            :     {
    1191                 :        268 :       long lq = lgpol(zq);
    1192         [ +  + ]:      20764 :       for(i=0; i<lq; i++) gel(q+2+l-lm,i) = gel(zq,2+i);
    1193                 :            :     }
    1194         [ +  + ]:      31023 :     for(i=0; i<lz; i++) gel(r+2+l-lm,i) = gel(zr,2+i);
    1195                 :        428 :     l = l-lm+lz;
    1196                 :            :   }
    1197         [ +  + ]:      97797 :   if (pr != ONLY_REM)
    1198                 :            :   {
    1199         [ +  - ]:        162 :     if (l > lt)
    1200                 :            :     {
    1201                 :        162 :       GEN zq = FpX_divrem_Barrettspec(r+2,l,mg,T,p,&r);
    1202         [ +  + ]:        162 :       if (!q) q = zq;
    1203                 :            :       else
    1204                 :            :       {
    1205                 :        128 :         long lq = lgpol(zq);
    1206         [ +  + ]:       1255 :         for(i=0; i<lq; i++) gel(q+2,i) = gel(zq,2+i);
    1207                 :            :       }
    1208                 :            :     }
    1209                 :            :     else
    1210                 :          0 :       r = FpX_renormalize(r, l+2);
    1211                 :            :   }
    1212                 :            :   else
    1213                 :            :   {
    1214         [ +  - ]:      97635 :     if (l > lt)
    1215                 :      97635 :       r = FpX_divrem_Barrettspec(r+2, l, mg, T, p, ONLY_REM);
    1216                 :            :     else
    1217                 :          0 :       r = FpX_renormalize(r, l+2);
    1218                 :      97635 :     r[1] = x[1]; return FpX_renormalize(r, lg(r));
    1219                 :            :   }
    1220         [ +  - ]:        162 :   if (pr) { r[1] = x[1]; r = FpX_renormalize(r, lg(r)); }
    1221                 :        162 :   q[1] = x[1]; q = FpX_renormalize(q, lg(q));
    1222 [ -  + ][ #  # ]:        162 :   if (pr == ONLY_DIVIDES) return signe(r)? NULL: q;
    1223         [ +  - ]:        162 :   if (pr) *pr = r;
    1224                 :      97801 :   return q;
    1225                 :            : }
    1226                 :            : 
    1227                 :            : GEN
    1228                 :    3268349 : FpX_divrem(GEN x, GEN T, GEN p, GEN *pr)
    1229                 :            : {
    1230                 :    3268349 :   GEN B, y = get_FpX_red(T, &B);
    1231                 :    3268349 :   long dy = degpol(y), dx = degpol(x), d = dx-dy;
    1232         [ -  + ]:    3268349 :   if (pr==ONLY_REM) return FpX_rem(x, y, p);
    1233 [ +  - ][ +  + ]:    3268349 :   if (!B && d+3 < FpX_DIVREM_BARRETT_LIMIT)
    1234                 :    3267480 :     return FpX_divrem_basecase(x,y,p,pr);
    1235         [ +  + ]:        869 :   else if (lgefint(p)==3)
    1236                 :            :   {
    1237                 :        707 :     pari_sp av = avma;
    1238                 :        707 :     ulong pp = to_Flxq(&x, &T, p);
    1239                 :        707 :     GEN z = Flx_divrem(x, T, pp, pr);
    1240         [ -  + ]:        707 :     if (!z) return NULL;
    1241 [ +  - ][ -  + ]:        707 :     if (!pr || pr == ONLY_DIVIDES)
    1242                 :          0 :       return Flx_to_ZX_inplace(gerepileuptoleaf(av, z));
    1243                 :        707 :     z = Flx_to_ZX(z);
    1244                 :        707 :     *pr = Flx_to_ZX(*pr);
    1245                 :        707 :     gerepileall(av, 2, &z, pr);
    1246                 :        707 :     return z;
    1247                 :            :   } else
    1248                 :            :   {
    1249                 :        162 :     pari_sp av=avma;
    1250         [ +  - ]:        162 :     GEN mg = B? B: FpX_invBarrett(y, p);
    1251                 :        162 :     GEN q1 = FpX_divrem_Barrett_noGC(x,mg,y,p,pr);
    1252         [ -  + ]:        162 :     if (!q1) {avma=av; return NULL;}
    1253 [ +  - ][ -  + ]:        162 :     if (!pr || pr==ONLY_DIVIDES) return gerepilecopy(av, q1);
    1254                 :        162 :     gerepileall(av,2,&q1,pr);
    1255                 :    3268349 :     return q1;
    1256                 :            :   }
    1257                 :            : }
    1258                 :            : 
    1259                 :            : GEN
    1260                 :   63285565 : FpX_rem(GEN x, GEN T, GEN p)
    1261                 :            : {
    1262                 :   63285565 :   GEN B, y = get_FpX_red(T, &B);
    1263                 :   63285565 :   long dy = degpol(y), dx = degpol(x), d = dx-dy;
    1264         [ +  + ]:   63285566 :   if (d < 0) return FpX_red(x,p);
    1265 [ +  + ][ +  + ]:   59342832 :   if (!B && d+3 < FpX_REM_BARRETT_LIMIT)
    1266                 :   59234708 :     return FpX_divrem_basecase(x,y,p,ONLY_REM);
    1267         [ +  + ]:     108124 :   else if (lgefint(p)==3)
    1268                 :            :   {
    1269                 :      10485 :     pari_sp av = avma;
    1270                 :      10485 :     ulong pp = to_Flxq(&x, &T, p);
    1271                 :      10486 :     return Flx_to_ZX_inplace(gerepileuptoleaf(av, Flx_rem(x, T, pp)));
    1272                 :            :   } else
    1273                 :            :   {
    1274                 :      97639 :     pari_sp av = avma;
    1275         [ +  + ]:      97639 :     GEN mg = B? B: FpX_invBarrett(y, p);
    1276                 :   63285499 :     return gerepileupto(av, FpX_divrem_Barrett_noGC(x, mg, y, p, ONLY_REM));
    1277                 :            :   }
    1278                 :            : }
    1279                 :            : 
    1280                 :            : static GEN
    1281                 :       9879 : deg2pol_shallow(GEN x2, GEN x1, GEN x0, long v)
    1282                 :            : {
    1283                 :       9879 :   GEN x = cgetg(5,t_POL);
    1284                 :       9879 :   x[1] = evalsigne(1) | evalvarn(v);
    1285                 :       9879 :   gel(x,2) = x0;
    1286                 :       9879 :   gel(x,3) = x1;
    1287                 :       9879 :   gel(x,4) = x2;
    1288                 :       9879 :   return normalizepol_lg(x,5);
    1289                 :            : }
    1290                 :            : 
    1291                 :            : static GEN
    1292                 :       2339 : FpV_producttree(GEN xa, GEN p, long vs)
    1293                 :            : {
    1294                 :       2339 :   long n = lg(xa)-1;
    1295         [ +  + ]:       2339 :   long m = n==1 ? 1: expu(n-1)+1;
    1296                 :       2339 :   GEN T = cgetg(m+1, t_VEC), t;
    1297                 :            :   long i, j, k;
    1298                 :       2339 :   t = cgetg(((n+1)>>1)+1, t_VEC);
    1299         [ +  + ]:      12218 :   for (j=1, k=1; k<n; j++, k+=2)
    1300                 :       9879 :     gel(t, j) = deg2pol_shallow(gen_1,
    1301                 :      19758 :                 Fp_neg(Fp_add(gel(xa,k), gel(xa,k+1), p), p),
    1302                 :      19758 :                 Fp_mul(gel(xa,k), gel(xa,k+1), p), vs);
    1303         [ +  + ]:       2339 :   if (k==n) gel(t, j) = deg1pol(gen_1, Fp_neg(gel(xa,k), p), vs);
    1304                 :       2339 :   gel(T,1) = t;
    1305         [ +  + ]:       5315 :   for (i=2; i<=m; i++)
    1306                 :            :   {
    1307                 :       2976 :     GEN u = gel(T, i-1);
    1308                 :       2976 :     long n = lg(u)-1;
    1309                 :       2976 :     t = cgetg(((n+1)>>1)+1, t_VEC);
    1310         [ +  + ]:      10803 :     for (j=1, k=1; k<n; j++, k+=2)
    1311                 :       7827 :       gel(t, j) = FpX_mul(gel(u, k), gel(u, k+1), p);
    1312         [ +  + ]:       2976 :     if (k==n) gel(t, j) = gel(u, k);
    1313                 :       2976 :     gel(T, i) = t;
    1314                 :            :   }
    1315                 :       2339 :   return T;
    1316                 :            : }
    1317                 :            : 
    1318                 :            : static GEN
    1319                 :       2339 : FpX_FpV_multieval_tree(GEN P, GEN xa, GEN T, GEN p)
    1320                 :            : {
    1321                 :       2339 :   pari_sp av = avma;
    1322                 :            :   long i,j,k;
    1323                 :       2339 :   long m = lg(T)-1, n = lg(xa)-1;
    1324                 :            :   GEN t;
    1325                 :       2339 :   GEN Tp = cgetg(m+1, t_VEC);
    1326                 :       2339 :   gel(Tp, m) = mkvec(P);
    1327         [ +  + ]:       5315 :   for (i=m-1; i>=1; i--)
    1328                 :            :   {
    1329                 :       2976 :     GEN u = gel(T, i);
    1330                 :       2976 :     GEN v = gel(Tp, i+1);
    1331                 :       2976 :     long n = lg(u)-1;
    1332                 :       2976 :     t = cgetg(n+1, t_VEC);
    1333         [ +  + ]:      10803 :     for (j=1, k=1; k<n; j++, k+=2)
    1334                 :            :     {
    1335                 :       7827 :       gel(t, k)   = FpX_rem(gel(v, j), gel(u, k), p);
    1336                 :       7827 :       gel(t, k+1) = FpX_rem(gel(v, j), gel(u, k+1), p);
    1337                 :            :     }
    1338         [ +  + ]:       2976 :     if (k==n) gel(t, k) = gel(v, j);
    1339                 :       2976 :     gel(Tp, i) = t;
    1340                 :            :   }
    1341                 :            :   {
    1342                 :       2339 :     GEN R = cgetg(n+1, t_VEC);
    1343                 :       2339 :     GEN u = gel(T, i+1);
    1344                 :       2339 :     GEN v = gel(Tp, i+1);
    1345                 :       2339 :     long l = lg(u)-1;
    1346         [ +  + ]:      12505 :     for (j=1, k=1; j<=l; j++)
    1347                 :            :     {
    1348                 :      10166 :       long c, d = degpol(gel(u,j));
    1349         [ +  + ]:      30211 :       for (c=1; c<=d; c++, k++)
    1350                 :      20045 :         gel(R,k) = FpX_eval(gel(v, j), gel(xa,k), p);
    1351                 :            :     }
    1352                 :       2339 :     return gerepileupto(av, R);
    1353                 :            :   }
    1354                 :            : }
    1355                 :            : 
    1356                 :            : static GEN
    1357                 :          1 : FpVV_polint_tree(GEN T, GEN R, GEN xa, GEN ya, GEN p, long vs)
    1358                 :            : {
    1359                 :          1 :   pari_sp av = avma;
    1360                 :          1 :   long m = lg(T)-1, n = lg(ya)-1;
    1361                 :            :   long i,j,k;
    1362                 :          1 :   GEN Tp = cgetg(m+1, t_VEC);
    1363                 :          1 :   GEN t = cgetg(lg(gel(T,1)), t_VEC);
    1364         [ +  + ]:          3 :   for (j=1, k=1; k<n; j++, k+=2)
    1365                 :            :   {
    1366                 :          2 :     GEN a = Fp_mul(gel(ya,k), gel(R,k), p), b = Fp_mul(gel(ya,k+1), gel(R,k+1), p);
    1367                 :          2 :     gel(t, j) = deg1pol(Fp_add(a, b, p),
    1368                 :          2 :                 Fp_neg(Fp_add(Fp_mul(gel(xa,k), b, p ),
    1369                 :          2 :                               Fp_mul(gel(xa,k+1), a, p), p), p), vs);
    1370                 :            :   }
    1371         [ -  + ]:          1 :   if (k==n) gel(t, j) = scalarpol(Fp_mul(gel(ya,k), gel(R,k), p), vs);
    1372                 :          1 :   gel(Tp, 1) = t;
    1373         [ +  + ]:          2 :   for (i=2; i<=m; i++)
    1374                 :            :   {
    1375                 :          1 :     GEN u = gel(T, i-1);
    1376                 :          1 :     GEN t = cgetg(lg(gel(T,i)), t_VEC);
    1377                 :          1 :     GEN v = gel(Tp, i-1);
    1378                 :          1 :     long l = lg(v)-1;
    1379         [ +  + ]:          2 :     for (j=1, k=1; k<l; j++, k+=2)
    1380                 :          1 :       gel(t, j) = FpX_add(ZX_mul(gel(u, k), gel(v, k+1)),
    1381                 :          2 :                           ZX_mul(gel(u, k+1), gel(v, k)), p);
    1382         [ -  + ]:          1 :     if (k==l) gel(t, j) = gel(v, k);
    1383                 :          1 :     gel(Tp, i) = t;
    1384                 :            :   }
    1385                 :          1 :   return gerepilecopy(av, gmael(Tp,m,1));
    1386                 :            : }
    1387                 :            : 
    1388                 :            : GEN
    1389                 :          0 : FpX_FpV_multieval(GEN P, GEN xa, GEN p)
    1390                 :            : {
    1391                 :          0 :   pari_sp av = avma;
    1392                 :          0 :   GEN T = FpV_producttree(xa, p, P[1]);
    1393                 :          0 :   return gerepileupto(av, FpX_FpV_multieval_tree(P, xa, T, p));
    1394                 :            : }
    1395                 :            : 
    1396                 :            : GEN
    1397                 :          1 : FpV_polint(GEN xa, GEN ya, GEN p, long vs)
    1398                 :            : {
    1399                 :          1 :   pari_sp av = avma;
    1400                 :          1 :   GEN T = FpV_producttree(xa, p, vs);
    1401                 :          1 :   long m = lg(T)-1;
    1402                 :          1 :   GEN P = FpX_deriv(gmael(T, m, 1), p);
    1403                 :          1 :   GEN R = FpV_inv(FpX_FpV_multieval_tree(P, xa, T, p), p);
    1404                 :          1 :   return gerepileupto(av, FpVV_polint_tree(T, R, xa, ya, p, vs));
    1405                 :            : }
    1406                 :            : 
    1407                 :            : GEN
    1408                 :          0 : FpV_FpM_polint(GEN xa, GEN ya, GEN p, long vs)
    1409                 :            : {
    1410                 :          0 :   pari_sp av = avma;
    1411                 :          0 :   GEN T = FpV_producttree(xa, p, vs);
    1412                 :          0 :   long m = lg(T)-1, l = lg(ya)-1;
    1413                 :            :   long i;
    1414                 :          0 :   GEN P = FpX_deriv(gmael(T, m, 1), p);
    1415                 :          0 :   GEN R = FpV_inv(FpX_FpV_multieval_tree(P, xa, T, p), p);
    1416                 :          0 :   GEN M = cgetg(l+1, t_VEC);
    1417         [ #  # ]:          0 :   for (i=1; i<=l; i++)
    1418                 :          0 :     gel(M,i) = FpVV_polint_tree(T, R, xa, gel(ya,i), p, vs);
    1419                 :          0 :   return gerepileupto(av, M);
    1420                 :            : }
    1421                 :            : 
    1422                 :            : GEN
    1423                 :       2338 : FpV_invVandermonde(GEN L, GEN den, GEN p)
    1424                 :            : {
    1425                 :       2338 :   pari_sp av = avma;
    1426                 :       2338 :   long i, n = lg(L);
    1427                 :            :   GEN M, R;
    1428                 :       2338 :   GEN tree = FpV_producttree(L, p, 0);
    1429                 :       2338 :   long m = lg(tree)-1;
    1430                 :       2338 :   GEN T = gmael(tree, m, 1);
    1431                 :       2338 :   R = FpV_inv(FpX_FpV_multieval_tree(FpX_deriv(T, p), L, tree, p), p);
    1432         [ +  + ]:       2338 :   if (den) R = FpC_Fp_mul(R, den, p);
    1433                 :       2338 :   M = cgetg(n, t_MAT);
    1434         [ +  + ]:      22379 :   for (i = 1; i < n; i++)
    1435                 :            :   {
    1436                 :      20041 :     GEN P = FpX_Fp_mul(FpX_div_by_X_x(T, gel(L,i), p, NULL), gel(R,i), p);
    1437                 :      20041 :     gel(M,i) = RgX_to_RgC(P, n-1);
    1438                 :            :   }
    1439                 :       2338 :   return gerepilecopy(av, M);
    1440                 :            : }
    1441                 :            : 
    1442                 :            : /***********************************************************************/
    1443                 :            : /**                                                                   **/
    1444                 :            : /**                              FpXQ                                 **/
    1445                 :            : /**                                                                   **/
    1446                 :            : /***********************************************************************/
    1447                 :            : 
    1448                 :            : /* FpXQ are elements of Fp[X]/(T), represented by FpX*/
    1449                 :            : 
    1450                 :            : GEN
    1451                 :    3745935 : FpXQ_red(GEN x, GEN T, GEN p)
    1452                 :            : {
    1453                 :    3745935 :   GEN z = FpX_red(x,p);
    1454                 :    3745935 :   return FpX_rem(z, T,p);
    1455                 :            : }
    1456                 :            : 
    1457                 :            : GEN
    1458                 :   40576594 : FpXQ_mul(GEN x,GEN y,GEN T,GEN p)
    1459                 :            : {
    1460                 :   40576594 :   GEN z = FpX_mul(x,y,p);
    1461                 :   40576593 :   return FpX_rem(z, T, p);
    1462                 :            : }
    1463                 :            : 
    1464                 :            : GEN
    1465                 :    3314411 : FpXQ_sqr(GEN x, GEN T, GEN p)
    1466                 :            : {
    1467                 :    3314411 :   GEN z = FpX_sqr(x,p);
    1468                 :    3314411 :   return FpX_rem(z, T, p);
    1469                 :            : }
    1470                 :            : 
    1471                 :            : /* Inverse of x in Z/pZ[X]/(pol) or NULL if inverse doesn't exist
    1472                 :            :  * return lift(1 / (x mod (p,pol))) */
    1473                 :            : GEN
    1474                 :     287842 : FpXQ_invsafe(GEN x, GEN y, GEN p)
    1475                 :            : {
    1476                 :     287842 :   GEN V, z = FpX_extgcd(get_FpX_mod(y), x, p, NULL, &V);
    1477         [ -  + ]:     287842 :   if (degpol(z)) return NULL;
    1478                 :     287842 :   z = Fp_invsafe(gel(z,2), p);
    1479         [ -  + ]:     287842 :   if (!z) return NULL;
    1480                 :     287842 :   return FpX_Fp_mul(V, z, p);
    1481                 :            : }
    1482                 :            : 
    1483                 :            : GEN
    1484                 :     287828 : FpXQ_inv(GEN x,GEN T,GEN p)
    1485                 :            : {
    1486                 :     287828 :   pari_sp av = avma;
    1487                 :     287828 :   GEN U = FpXQ_invsafe(x, T, p);
    1488         [ -  + ]:     287828 :   if (!U) pari_err_INV("FpXQ_inv",x);
    1489                 :     287828 :   return gerepileupto(av, U);
    1490                 :            : }
    1491                 :            : 
    1492                 :            : GEN
    1493                 :     228182 : FpXQ_div(GEN x,GEN y,GEN T,GEN p)
    1494                 :            : {
    1495                 :     228182 :   pari_sp av = avma;
    1496                 :     228182 :   return gerepileupto(av, FpXQ_mul(x,FpXQ_inv(y,T,p),T,p));
    1497                 :            : }
    1498                 :            : 
    1499                 :            : static GEN
    1500                 :    1024507 : _FpXQ_add(void *data, GEN x, GEN y)
    1501                 :            : {
    1502                 :            :   (void) data;
    1503                 :    1024507 :   return ZX_add(x, y);
    1504                 :            : }
    1505                 :            : static GEN
    1506                 :      57554 : _FpXQ_sub(void *data, GEN x, GEN y)
    1507                 :            : {
    1508                 :            :   (void) data;
    1509                 :      57554 :   return ZX_sub(x, y);
    1510                 :            : }
    1511                 :            : static GEN
    1512                 :    1151696 : _FpXQ_cmul(void *data, GEN P, long a, GEN x)
    1513                 :            : {
    1514                 :            :   (void) data;
    1515                 :    1151696 :   return ZX_Z_mul(x, gel(P,a+2));
    1516                 :            : }
    1517                 :            : static GEN
    1518                 :    2845049 : _FpXQ_sqr(void *data, GEN x)
    1519                 :            : {
    1520                 :    2845049 :   struct _FpXQ *D = (struct _FpXQ*)data;
    1521                 :    2845049 :   return FpXQ_sqr(x, D->T, D->p);
    1522                 :            : }
    1523                 :            : static GEN
    1524                 :    1335847 : _FpXQ_mul(void *data, GEN x, GEN y)
    1525                 :            : {
    1526                 :    1335847 :   struct _FpXQ *D = (struct _FpXQ*)data;
    1527                 :    1335847 :   return FpXQ_mul(x,y, D->T, D->p);
    1528                 :            : }
    1529                 :            : static GEN
    1530                 :       3537 : _FpXQ_zero(void *data)
    1531                 :            : {
    1532                 :       3537 :   struct _FpXQ *D = (struct _FpXQ*)data;
    1533                 :       3537 :   return pol_0(get_FpX_var(D->T));
    1534                 :            : }
    1535                 :            : static GEN
    1536                 :     303521 : _FpXQ_one(void *data)
    1537                 :            : {
    1538                 :     303521 :   struct _FpXQ *D = (struct _FpXQ*)data;
    1539                 :     303521 :   return pol_1(get_FpX_var(D->T));
    1540                 :            : }
    1541                 :            : static GEN
    1542                 :     345923 : _FpXQ_red(void *data, GEN x)
    1543                 :            : {
    1544                 :     345923 :   struct _FpXQ *D = (struct _FpXQ*)data;
    1545                 :     345923 :   return FpX_red(x,D->p);
    1546                 :            : }
    1547                 :            : 
    1548                 :            : static struct bb_algebra FpXQ_algebra = { _FpXQ_red, _FpXQ_add, _FpXQ_sub,
    1549                 :            :        _FpXQ_mul, _FpXQ_sqr, _FpXQ_one, _FpXQ_zero };
    1550                 :            : 
    1551                 :            : const struct bb_algebra *
    1552                 :      13559 : get_FpXQ_algebra(void **E, GEN T, GEN p)
    1553                 :            : {
    1554                 :      13559 :   GEN z = new_chunk(sizeof(struct _FpXQ));
    1555                 :      13559 :   struct _FpXQ *e = (struct _FpXQ *) z;
    1556                 :      13559 :   e->T = FpX_get_red(T, p);
    1557                 :      13559 :   e->p  = p; *E = (void*)e;
    1558                 :      13559 :   return &FpXQ_algebra;
    1559                 :            : }
    1560                 :            : 
    1561                 :            : static struct bb_algebra FpX_algebra = { _FpXQ_red, _FpXQ_add, _FpXQ_sub,
    1562                 :            :        _FpX_mul, _FpX_sqr, _FpXQ_one, _FpXQ_zero };
    1563                 :            : 
    1564                 :            : const struct bb_algebra *
    1565                 :          0 : get_FpX_algebra(void **E, GEN p, long v)
    1566                 :            : {
    1567                 :          0 :   GEN z = new_chunk(sizeof(struct _FpXQ));
    1568                 :          0 :   struct _FpXQ *e = (struct _FpXQ *) z;
    1569                 :          0 :   e->T = pol_x(v);
    1570                 :          0 :   e->p  = p; *E = (void*)e;
    1571                 :          0 :   return &FpX_algebra;
    1572                 :            : }
    1573                 :            : 
    1574                 :            : /* x,pol in Z[X], p in Z, n in Z, compute lift(x^n mod (p, pol)) */
    1575                 :            : GEN
    1576                 :     666689 : FpXQ_pow(GEN x, GEN n, GEN T, GEN p)
    1577                 :            : {
    1578                 :            :   struct _FpXQ D;
    1579                 :            :   pari_sp av;
    1580                 :     666689 :   long s = signe(n);
    1581                 :            :   GEN y;
    1582         [ +  + ]:     666689 :   if (!s) return pol_1(varn(x));
    1583         [ +  + ]:     664982 :   if (is_pm1(n)) /* +/- 1 */
    1584         [ +  + ]:       8754 :     return (s < 0)? FpXQ_inv(x,T,p): FpXQ_red(x,T,p);
    1585                 :     656228 :   av = avma;
    1586         [ +  + ]:     656228 :   if (!is_bigint(p))
    1587                 :            :   {
    1588                 :     258412 :     ulong pp = to_Flxq(&x, &T, p);
    1589                 :     258412 :     y = Flxq_pow(x, n, T, pp);
    1590                 :     258405 :     return Flx_to_ZX_inplace(gerepileuptoleaf(av, y));
    1591                 :            :   }
    1592         [ +  + ]:     397816 :   if (s < 0) x = FpXQ_inv(x,T,p);
    1593                 :     397816 :   D.p = p; D.T = FpX_get_red(T,p);
    1594                 :     397816 :   y = gen_pow(x, n, (void*)&D, &_FpXQ_sqr, &_FpXQ_mul);
    1595                 :     666682 :   return gerepileupto(av, y);
    1596                 :            : }
    1597                 :            : 
    1598                 :            : GEN /*Assume n is very small*/
    1599                 :      61845 : FpXQ_powu(GEN x, ulong n, GEN T, GEN p)
    1600                 :            : {
    1601                 :            :   struct _FpXQ D;
    1602                 :            :   pari_sp av;
    1603                 :            :   GEN y;
    1604         [ -  + ]:      61845 :   if (!n) return pol_1(varn(x));
    1605         [ +  + ]:      61845 :   if (n==1) return FpXQ_red(x,T,p);
    1606                 :      32256 :   av = avma;
    1607         [ +  + ]:      32256 :   if (!is_bigint(p))
    1608                 :            :   {
    1609                 :      32012 :     ulong pp = to_Flxq(&x, &T, p);
    1610                 :      32012 :     y = Flxq_powu(x, n, T, pp);
    1611                 :      32012 :     return Flx_to_ZX_inplace(gerepileuptoleaf(av, y));
    1612                 :            :   }
    1613                 :        244 :   D.T = FpX_get_red(T, p); D.p = p;
    1614                 :        244 :   y = gen_powu(x, n, (void*)&D, &_FpXQ_sqr, &_FpXQ_mul);
    1615                 :      61845 :   return gerepileupto(av, y);
    1616                 :            : }
    1617                 :            : 
    1618                 :            : /* generates the list of powers of x of degree 0,1,2,...,l*/
    1619                 :            : GEN
    1620                 :     184031 : FpXQ_powers(GEN x, long l, GEN T, GEN p)
    1621                 :            : {
    1622                 :            :   struct _FpXQ D;
    1623                 :            :   int use_sqr;
    1624 [ +  + ][ +  + ]:     184031 :   if (l>2 && lgefint(p) == 3) {
    1625                 :     151979 :     pari_sp av = avma;
    1626                 :     151979 :     ulong pp = to_Flxq(&x, &T, p);
    1627                 :     151979 :     GEN z = FlxV_to_ZXV(Flxq_powers(x, l, T, pp));
    1628                 :     151979 :     return gerepileupto(av, z);
    1629                 :            :   }
    1630                 :      32052 :   use_sqr = 2*degpol(x)>=get_FpX_degree(T);
    1631                 :      32052 :   D.T = FpX_get_red(T,p); D.p = p;
    1632                 :     184031 :   return gen_powers(x, l, use_sqr, (void*)&D, &_FpXQ_sqr, &_FpXQ_mul,&_FpXQ_one);
    1633                 :            : }
    1634                 :            : 
    1635                 :            : GEN
    1636                 :       3878 : FpXQ_matrix_pow(GEN y, long n, long m, GEN P, GEN l)
    1637                 :            : {
    1638                 :       3878 :   return RgXV_to_RgM(FpXQ_powers(y,m-1,P,l),n);
    1639                 :            : }
    1640                 :            : 
    1641                 :            : GEN
    1642                 :      77485 : FpX_Frobenius(GEN T, GEN p)
    1643                 :            : {
    1644                 :      77485 :   return FpXQ_pow(pol_x(get_FpX_var(T)), p, T, p);
    1645                 :            : }
    1646                 :            : 
    1647                 :            : GEN
    1648                 :       2583 : FpX_matFrobenius(GEN T, GEN p)
    1649                 :            : {
    1650                 :       2583 :   long n = get_FpX_degree(T);
    1651                 :       2583 :   return FpXQ_matrix_pow(FpX_Frobenius(T, p), n, n, T, p);
    1652                 :            : }
    1653                 :            : 
    1654                 :            : GEN
    1655                 :     124387 : FpX_FpXQV_eval(GEN Q, GEN x, GEN T, GEN p)
    1656                 :            : {
    1657                 :            :   struct _FpXQ D;
    1658                 :     124387 :   D.T = FpX_get_red(T,p); D.p = p;
    1659                 :     124387 :   return gen_bkeval_powers(Q,degpol(Q),x,(void*)&D,&FpXQ_algebra,_FpXQ_cmul);
    1660                 :            : }
    1661                 :            : 
    1662                 :            : GEN
    1663                 :     150586 : FpX_FpXQ_eval(GEN Q, GEN x, GEN T, GEN p)
    1664                 :            : {
    1665                 :            :   struct _FpXQ D;
    1666                 :            :   int use_sqr;
    1667         [ +  + ]:     150586 :   if (lgefint(p) == 3)
    1668                 :            :   {
    1669                 :     147376 :     pari_sp av = avma;
    1670                 :     147376 :     ulong pp = to_Flxq(&x, &T, p);
    1671                 :     147376 :     GEN z = Flx_Flxq_eval(ZX_to_Flx(Q, pp), x, T, pp);
    1672                 :     147376 :     return Flx_to_ZX_inplace(gerepileuptoleaf(av, z));
    1673                 :            :   }
    1674                 :       3210 :   use_sqr = 2*degpol(x) >= get_FpX_degree(T);
    1675                 :       3210 :   D.T = FpX_get_red(T,p); D.p = p;
    1676                 :     150586 :   return gen_bkeval(Q,degpol(Q),x,use_sqr,(void*)&D,&FpXQ_algebra,_FpXQ_cmul);
    1677                 :            : }
    1678                 :            : 
    1679                 :            : GEN
    1680                 :        854 : FpXC_FpXQV_eval(GEN P, GEN x, GEN T, GEN p)
    1681                 :            : {
    1682                 :        854 :   long i, l = lg(P);
    1683                 :        854 :   GEN res = cgetg(l, t_COL);
    1684         [ +  + ]:       3682 :   for (i=1; i<l; i++)
    1685                 :       2828 :     gel(res,i) = FpX_FpXQV_eval(gel(P,i), x, T, p);
    1686                 :        854 :   return res;
    1687                 :            : }
    1688                 :            : 
    1689                 :            : GEN
    1690                 :        308 : FpXM_FpXQV_eval(GEN Q, GEN x, GEN T, GEN p)
    1691                 :            : {
    1692                 :        308 :   long i, l = lg(Q);
    1693                 :        308 :   GEN y = cgetg(l, t_MAT);
    1694         [ +  + ]:       1162 :   for (i=1; i<l; i++)
    1695                 :        854 :     gel(y,i) = FpXC_FpXQV_eval(gel(Q,i), x, T, p);
    1696                 :        308 :   return y;
    1697                 :            : }
    1698                 :            : 
    1699                 :            : GEN
    1700                 :        595 : FpXQ_autpowers(GEN aut, long f, GEN T, GEN p)
    1701                 :            : {
    1702                 :        595 :   pari_sp av = avma;
    1703                 :        595 :   long n = get_FpX_degree(T);
    1704                 :        595 :   long i, nautpow = brent_kung_optpow(n-1,f-2,1);
    1705                 :        595 :   long v = get_FpX_var(T);
    1706                 :            :   GEN autpow, V;
    1707                 :        595 :   T = FpX_get_red(T, p);
    1708                 :        595 :   autpow = FpXQ_powers(aut, nautpow,T,p);
    1709                 :        595 :   V = cgetg(f + 2, t_VEC);
    1710         [ -  + ]:        595 :   gel(V,1) = pol_x(v); if (f==0) return gerepileupto(av, V);
    1711                 :        595 :   gel(V,2) = gcopy(aut);
    1712         [ +  + ]:       3101 :   for (i = 3; i <= f+1; i++)
    1713                 :       2506 :     gel(V,i) = FpX_FpXQV_eval(gel(V,i-1),autpow,T,p);
    1714                 :        595 :   return gerepileupto(av, V);
    1715                 :            : }
    1716                 :            : 
    1717                 :            : static GEN
    1718                 :        556 : FpXQ_autpow_sqr(void *E, GEN x)
    1719                 :            : {
    1720                 :        556 :   struct _FpXQ *D = (struct _FpXQ*)E;
    1721                 :        556 :   return FpX_FpXQ_eval(x, x, D->T, D->p);
    1722                 :            : }
    1723                 :            : 
    1724                 :            : static GEN
    1725                 :          7 : FpXQ_autpow_mul(void *E, GEN x, GEN y)
    1726                 :            : {
    1727                 :          7 :   struct _FpXQ *D = (struct _FpXQ*)E;
    1728                 :          7 :   return FpX_FpXQ_eval(x, y, D->T, D->p);
    1729                 :            : }
    1730                 :            : 
    1731                 :            : GEN
    1732                 :        528 : FpXQ_autpow(GEN x, ulong n, GEN T, GEN p)
    1733                 :            : {
    1734                 :            :   struct _FpXQ D;
    1735                 :        528 :   D.T = FpX_get_red(T, p); D.p = p;
    1736         [ -  + ]:        528 :   if (n==0) return pol_x(varn(x));
    1737         [ -  + ]:        528 :   if (n==1) return ZX_copy(x);
    1738                 :        528 :   return gen_powu(x,n,(void*)&D,FpXQ_autpow_sqr,FpXQ_autpow_mul);
    1739                 :            : }
    1740                 :            : 
    1741                 :            : static GEN
    1742                 :          7 : FpXQ_auttrace_mul(void *E, GEN x, GEN y)
    1743                 :            : {
    1744                 :          7 :   struct _FpXQ *D = (struct _FpXQ*)E;
    1745                 :          7 :   GEN T = D->T, p = D->p;
    1746                 :          7 :   GEN phi1 = gel(x,1), a1 = gel(x,2);
    1747                 :          7 :   GEN phi2 = gel(y,1), a2 = gel(y,2);
    1748                 :          7 :   ulong d = brent_kung_optpow(maxss(degpol(phi2),degpol(a2)),2,1);
    1749                 :          7 :   GEN V1 = FpXQ_powers(phi1, d, T, p);
    1750                 :          7 :   GEN phi3 = FpX_FpXQV_eval(phi2, V1, T, p);
    1751                 :          7 :   GEN aphi = FpX_FpXQV_eval(a2, V1, T, p);
    1752                 :          7 :   GEN a3 = FpX_add(a1, aphi, p);
    1753                 :          7 :   return mkvec2(phi3, a3);
    1754                 :            : }
    1755                 :            : 
    1756                 :            : static GEN
    1757                 :          7 : FpXQ_auttrace_sqr(void *E, GEN x)
    1758                 :          7 : { return FpXQ_auttrace_mul(E, x, x); }
    1759                 :            : 
    1760                 :            : GEN
    1761                 :         14 : FpXQ_auttrace(GEN x, ulong n, GEN T, GEN p)
    1762                 :            : {
    1763                 :            :   struct _FpXQ D;
    1764                 :         14 :   D.T = FpX_get_red(T, p); D.p = p;
    1765                 :         14 :   return gen_powu(x,n,(void*)&D,FpXQ_auttrace_sqr,FpXQ_auttrace_mul);
    1766                 :            : }
    1767                 :            : 
    1768                 :            : static GEN
    1769                 :       1894 : FpXQ_autsum_mul(void *E, GEN x, GEN y)
    1770                 :            : {
    1771                 :       1894 :   struct _FpXQ *D = (struct _FpXQ*)E;
    1772                 :       1894 :   GEN T = D->T, p = D->p;
    1773                 :       1894 :   GEN phi1 = gel(x,1), a1 = gel(x,2);
    1774                 :       1894 :   GEN phi2 = gel(y,1), a2 = gel(y,2);
    1775                 :       1894 :   ulong d = brent_kung_optpow(maxss(degpol(phi2),degpol(a2)),2,1);
    1776                 :       1894 :   GEN V1 = FpXQ_powers(phi1, d, T, p);
    1777                 :       1894 :   GEN phi3 = FpX_FpXQV_eval(phi2, V1, T, p);
    1778                 :       1894 :   GEN aphi = FpX_FpXQV_eval(a2, V1, T, p);
    1779                 :       1894 :   GEN a3 = FpXQ_mul(a1, aphi, T, p);
    1780                 :       1894 :   return mkvec2(phi3, a3);
    1781                 :            : }
    1782                 :            : static GEN
    1783                 :        984 : FpXQ_autsum_sqr(void *E, GEN x)
    1784                 :        984 : { return FpXQ_autsum_mul(E, x, x); }
    1785                 :            : 
    1786                 :            : GEN
    1787                 :        970 : FpXQ_autsum(GEN x, ulong n, GEN T, GEN p)
    1788                 :            : {
    1789                 :            :   struct _FpXQ D;
    1790                 :        970 :   D.T = FpX_get_red(T, p); D.p = p;
    1791                 :        970 :   return gen_powu(x,n,(void*)&D,FpXQ_autsum_sqr,FpXQ_autsum_mul);
    1792                 :            : }
    1793                 :            : 
    1794                 :            : static GEN
    1795                 :        308 : FpXQM_autsum_mul(void *E, GEN x, GEN y)
    1796                 :            : {
    1797                 :        308 :   struct _FpXQ *D = (struct _FpXQ*)E;
    1798                 :        308 :   GEN T = D->T, p = D->p;
    1799                 :        308 :   GEN phi1 = gel(x,1), a1 = gel(x,2);
    1800                 :        308 :   GEN phi2 = gel(y,1), a2 = gel(y,2);
    1801                 :        308 :   long g = lg(a2)-1, dT = get_FpX_degree(T);
    1802                 :        308 :   ulong d = brent_kung_optpow(dT-1, g*g+1, 1);
    1803                 :        308 :   GEN V1 = FpXQ_powers(phi1, d, T, p);
    1804                 :        308 :   GEN phi3 = FpX_FpXQV_eval(phi2, V1, T, p);
    1805                 :        308 :   GEN aphi = FpXM_FpXQV_eval(a2, V1, T, p);
    1806                 :        308 :   GEN a3 = FqM_mul(a1, aphi, T, p);
    1807                 :        308 :   return mkvec2(phi3, a3);
    1808                 :            : }
    1809                 :            : static GEN
    1810                 :        210 : FpXQM_autsum_sqr(void *E, GEN x)
    1811                 :        210 : { return FpXQM_autsum_mul(E, x, x); }
    1812                 :            : 
    1813                 :            : GEN
    1814                 :        140 : FpXQM_autsum(GEN x, ulong n, GEN T, GEN p)
    1815                 :            : {
    1816                 :            :   struct _FpXQ D;
    1817                 :        140 :   D.T = FpX_get_red(T, p); D.p = p;
    1818                 :        140 :   return gen_powu(x, n, (void*)&D, FpXQM_autsum_sqr, FpXQM_autsum_mul);
    1819                 :            : }
    1820                 :            : 
    1821                 :            : static long
    1822                 :       5547 : bounded_order(GEN p, GEN b, long k)
    1823                 :            : {
    1824                 :            :   long i;
    1825                 :       5547 :   GEN a=modii(p,b);
    1826         [ +  + ]:      11052 :   for(i=1;i<k;i++)
    1827                 :            :   {
    1828         [ +  + ]:       6905 :     if (equali1(a))
    1829                 :       1400 :       return i;
    1830                 :       5505 :     a = Fp_mul(a,p,b);
    1831                 :            :   }
    1832                 :       5547 :   return 0;
    1833                 :            : }
    1834                 :            : 
    1835                 :            : /*
    1836                 :            :   n = (p^d-a)\b
    1837                 :            :   b = bb*p^vb
    1838                 :            :   p^k = 1 [bb]
    1839                 :            :   d = m*k+r+vb
    1840                 :            :   u = (p^k-1)/bb;
    1841                 :            :   v = (p^(r+vb)-a)/b;
    1842                 :            :   w = (p^(m*k)-1)/(p^k-1)
    1843                 :            :   n = p^r*w*u+v
    1844                 :            :   w*u = p^vb*(p^(m*k)-1)/b
    1845                 :            :   n = p^(r+vb)*(p^(m*k)-1)/b+(p^(r+vb)-a)/b
    1846                 :            : */
    1847                 :            : 
    1848                 :            : static GEN
    1849                 :     386622 : FpXQ_pow_Frobenius(GEN x, GEN n, GEN aut, GEN T, GEN p)
    1850                 :            : {
    1851                 :     386622 :   pari_sp av=avma;
    1852                 :     386622 :   long d = get_FpX_degree(T);
    1853                 :     386622 :   GEN an = absi(n), z, q;
    1854 [ +  + ][ -  + ]:     386622 :   if (cmpii(an,p)<0 || cmpis(an,d)<=0)
    1855                 :     381075 :     return FpXQ_pow(x, n, T, p);
    1856                 :       5547 :   q = powiu(p, d);
    1857         [ -  + ]:       5547 :   if (dvdii(q, n))
    1858                 :            :   {
    1859                 :          0 :     long vn = logint(an,p,NULL)-1;
    1860         [ #  # ]:          0 :     GEN autvn = vn==1 ? aut: FpXQ_autpow(aut,vn,T,p);
    1861                 :          0 :     z = FpX_FpXQ_eval(x,autvn,T,p);
    1862                 :            :   } else
    1863                 :            :   {
    1864                 :       5547 :     GEN b = diviiround(q, an), a = subii(q, mulii(an,b));
    1865                 :            :     GEN bb, u, v, autk;
    1866                 :       5547 :     long vb = Z_pvalrem(b,p,&bb);
    1867         [ +  - ]:       5547 :     long m, r, k = is_pm1(bb) ? 1 : bounded_order(p,bb,d);
    1868 [ +  + ][ -  + ]:       5547 :     if (!k || d-vb<k) return FpXQ_pow(x,n, T, p);
    1869                 :       1400 :     m = (d-vb)/k; r = (d-vb)%k;
    1870                 :       1400 :     u = diviiexact(subis(powiu(p,k),1),bb);
    1871                 :       1400 :     v = diviiexact(subii(powiu(p,r+vb),a),b);
    1872         [ +  + ]:       1400 :     autk = k==1 ? aut: FpXQ_autpow(aut,k,T,p);
    1873         [ +  + ]:       1400 :     if (r)
    1874                 :            :     {
    1875         [ +  + ]:        437 :       GEN autr = r==1 ? aut: FpXQ_autpow(aut,r,T,p);
    1876                 :        437 :       z = FpX_FpXQ_eval(x,autr,T,p);
    1877                 :        963 :     } else z = x;
    1878         [ +  + ]:       1400 :     if (m > 1) z = gel(FpXQ_autsum(mkvec2(autk, z), m, T, p), 2);
    1879         [ +  + ]:       1400 :     if (!is_pm1(u)) z = FpXQ_pow(z, u, T, p);
    1880         [ +  + ]:       1400 :     if (signe(v)) z = FpXQ_mul(z, FpXQ_pow(x, v, T, p), T, p);
    1881                 :            :   }
    1882         [ +  + ]:     386622 :   return gerepileupto(av,signe(n)>0 ? z : FpXQ_inv(z,T,p));
    1883                 :            : }
    1884                 :            : 
    1885                 :            : /* assume T irreducible mod p */
    1886                 :            : int
    1887                 :       3482 : FpXQ_issquare(GEN x, GEN T, GEN p)
    1888                 :            : {
    1889                 :            :   pari_sp av;
    1890                 :            :   long res;
    1891 [ +  - ][ -  + ]:       3482 :   if (lg(x) == 2 || equalui(2, p)) return 1;
    1892         [ +  + ]:       3482 :   if (lg(x) == 3) return Fq_issquare(gel(x,2), T, p);
    1893                 :            :   /* Ng = g^((q-1)/(p-1)) */
    1894                 :       3433 :   av = avma; res = kronecker(FpXQ_norm(x,T,p), p) == 1;
    1895                 :       3482 :   avma = av; return res;
    1896                 :            : }
    1897                 :            : int
    1898                 :      46872 : Fp_issquare(GEN x, GEN p)
    1899                 :            : {
    1900         [ -  + ]:      46872 :   if (equalui(2, p)) return 1;
    1901                 :      46872 :   return kronecker(x, p) == 1;
    1902                 :            : }
    1903                 :            : /* assume T irreducible mod p */
    1904                 :            : int
    1905                 :      46662 : Fq_issquare(GEN x, GEN T, GEN p)
    1906                 :            : {
    1907         [ +  + ]:      46662 :   if (typ(x) != t_INT) return FpXQ_issquare(x, T, p);
    1908 [ +  + ][ +  + ]:      46662 :   return (T && ! odd(get_FpX_degree(T))) || Fp_issquare(x, p);
                 [ +  + ]
    1909                 :            : }
    1910                 :            : 
    1911                 :            : long
    1912                 :        112 : Fq_ispower(GEN x, GEN K, GEN T, GEN p)
    1913                 :            : {
    1914                 :        112 :   pari_sp av = avma;
    1915                 :            :   long d;
    1916                 :            :   GEN Q;
    1917         [ -  + ]:        112 :   if (!T) return Fp_ispower(x,K,p);
    1918                 :        112 :   d = get_FpX_degree(T);
    1919         [ +  + ]:        112 :   if (!umodui(d, K)) return 1;
    1920                 :         63 :   Q = subiu(powiu(p,d), 1);
    1921                 :         63 :   Q = diviiexact(Q, gcdii(Q, K));
    1922                 :         63 :   d = gequal1(Fq_pow(x, Q, T,p));
    1923                 :        112 :   avma = av; return d;
    1924                 :            : }
    1925                 :            : 
    1926                 :            : /* discrete log in FpXQ for a in Fp^*, g in FpXQ^* of order ord */
    1927                 :            : GEN
    1928                 :      38347 : Fp_FpXQ_log(GEN a, GEN g, GEN o, GEN T, GEN p)
    1929                 :            : {
    1930                 :      38347 :   pari_sp av = avma;
    1931                 :            :   GEN q,n_q,ord,ordp, op;
    1932                 :            : 
    1933         [ +  + ]:      38347 :   if (equali1(a)) return gen_0;
    1934                 :            :   /* p > 2 */
    1935                 :            : 
    1936                 :       3547 :   ordp = subis(p, 1); /* even */
    1937                 :       3547 :   ord  = dlog_get_ord(o);
    1938 [ -  + ][ #  # ]:       3519 :   if (!ord) ord = T? subis(powiu(p, get_FpX_degree(T)), 1): ordp;
    1939         [ +  + ]:       3519 :   if (equalii(a, ordp)) /* -1 */
    1940                 :       2032 :     return gerepileuptoint(av, shifti(ord,-1));
    1941                 :       1487 :   ordp = gcdii(ordp,ord);
    1942         [ -  + ]:       1487 :   op = typ(o)==t_MAT ? famat_Z_gcd(o,ordp) : ordp;
    1943                 :            : 
    1944                 :       1487 :   q = NULL;
    1945         [ +  - ]:       1487 :   if (T)
    1946                 :            :   { /* we want < g > = Fp^* */
    1947         [ +  + ]:       1487 :     if (!equalii(ord,ordp)) {
    1948                 :       1477 :       q = diviiexact(ord,ordp);
    1949                 :       1477 :       g = FpXQ_pow(g,q,T,p);
    1950                 :            :     }
    1951                 :       1487 :     g = constant_coeff(g);
    1952                 :            :   }
    1953                 :       1487 :   n_q = Fp_log(a,g,op,p);
    1954         [ -  + ]:       1487 :   if (lg(n_q)==1) return gerepileuptoleaf(av, n_q);
    1955         [ +  + ]:       1487 :   if (q) n_q = mulii(q, n_q);
    1956                 :      38319 :   return gerepileuptoint(av, n_q);
    1957                 :            : }
    1958                 :            : 
    1959                 :            : static GEN
    1960                 :     385962 : _FpXQ_pow(void *data, GEN x, GEN n)
    1961                 :            : {
    1962                 :     385962 :   struct _FpXQ *D = (struct _FpXQ*)data;
    1963                 :     385962 :   return FpXQ_pow_Frobenius(x,n, D->aut, D->T, D->p);
    1964                 :            : }
    1965                 :            : 
    1966                 :            : static GEN
    1967                 :       3534 : _FpXQ_rand(void *data)
    1968                 :            : {
    1969                 :       3534 :   pari_sp av=avma;
    1970                 :       3534 :   struct _FpXQ *D = (struct _FpXQ*)data;
    1971                 :            :   GEN z;
    1972                 :            :   do
    1973                 :            :   {
    1974                 :       3534 :     avma=av;
    1975                 :       3534 :     z=random_FpX(get_FpX_degree(D->T),get_FpX_var(D->T),D->p);
    1976         [ -  + ]:       3534 :   } while (!signe(z));
    1977                 :       3534 :   return z;
    1978                 :            : }
    1979                 :            : 
    1980                 :            : static GEN
    1981                 :       1396 : _FpXQ_easylog(void *E, GEN a, GEN g, GEN ord)
    1982                 :            : {
    1983                 :       1396 :   struct _FpXQ *s=(struct _FpXQ*) E;
    1984         [ +  + ]:       1396 :   if (degpol(a)) return NULL;
    1985                 :       1396 :   return Fp_FpXQ_log(constant_coeff(a),g,ord,s->T,s->p);
    1986                 :            : }
    1987                 :            : 
    1988                 :            : static const struct bb_group FpXQ_star={_FpXQ_mul,_FpXQ_pow,_FpXQ_rand,hash_GEN,ZX_equal,ZX_equal1,_FpXQ_easylog};
    1989                 :            : 
    1990                 :            : const struct bb_group *
    1991                 :       1783 : get_FpXQ_star(void **E, GEN T, GEN p)
    1992                 :            : {
    1993                 :       1783 :   struct _FpXQ *e = (struct _FpXQ *) stack_malloc(sizeof(struct _FpXQ));
    1994                 :       1783 :   e->T = T; e->p  = p; e->aut =  FpX_Frobenius(T, p);
    1995                 :       1783 :   *E = (void*)e; return &FpXQ_star;
    1996                 :            : }
    1997                 :            : 
    1998                 :            : GEN
    1999                 :         29 : FpXQ_order(GEN a, GEN ord, GEN T, GEN p)
    2000                 :            : {
    2001         [ -  + ]:         29 :   if (lgefint(p)==3)
    2002                 :            :   {
    2003                 :          0 :     pari_sp av=avma;
    2004                 :          0 :     ulong pp = to_Flxq(&a, &T, p);
    2005                 :          0 :     GEN z = Flxq_order(a, ord, T, pp);
    2006                 :          0 :     return gerepileuptoint(av,z);
    2007                 :            :   }
    2008                 :            :   else
    2009                 :            :   {
    2010                 :            :     void *E;
    2011                 :         29 :     const struct bb_group *S = get_FpXQ_star(&E,T,p);
    2012                 :         29 :     return gen_order(a,ord,E,S);
    2013                 :            :   }
    2014                 :            : }
    2015                 :            : 
    2016                 :            : GEN
    2017                 :      84598 : FpXQ_log(GEN a, GEN g, GEN ord, GEN T, GEN p)
    2018                 :            : {
    2019                 :      84598 :   pari_sp av=avma;
    2020         [ +  + ]:      84598 :   if (lgefint(p)==3)
    2021                 :            :   {
    2022         [ +  + ]:      84554 :     if (uel(p,2) == 2)
    2023                 :            :     {
    2024                 :      53277 :       GEN z = F2xq_log(ZX_to_F2x(a), ZX_to_F2x(g), ord,
    2025                 :            :                                      ZX_to_F2x(get_FpX_mod(T)));
    2026                 :      53277 :       return gerepileuptoleaf(av, z);
    2027                 :            :     }
    2028                 :            :     else
    2029                 :            :     {
    2030                 :      31277 :       ulong pp = to_Flxq(&a, &T, p);
    2031                 :      31277 :       GEN z = Flxq_log(a, ZX_to_Flx(g, pp), ord, T, pp);
    2032                 :      31277 :       return gerepileuptoleaf(av, z);
    2033                 :            :     }
    2034                 :            :   }
    2035                 :            :   else
    2036                 :            :   {
    2037                 :            :     void *E;
    2038                 :         44 :     const struct bb_group *S = get_FpXQ_star(&E,T,p);
    2039                 :         44 :     GEN z = gen_PH_log(a,g,ord,E,S);
    2040                 :      84570 :     return gerepileuptoleaf(av, z);
    2041                 :            :   }
    2042                 :            : }
    2043                 :            : 
    2044                 :            : GEN
    2045                 :       1876 : Fq_log(GEN a, GEN g, GEN ord, GEN T, GEN p)
    2046                 :            : {
    2047         [ +  + ]:       1876 :   if (!T) return Fp_log(a,g,ord,p);
    2048         [ -  + ]:        770 :   if (typ(g) == t_INT)
    2049                 :            :   {
    2050         [ #  # ]:          0 :     if (typ(a) == t_POL)
    2051                 :            :     {
    2052         [ #  # ]:          0 :       if (degpol(a)) return cgetg(1,t_VEC);
    2053                 :          0 :       a = gel(a,2);
    2054                 :            :     }
    2055                 :          0 :     return Fp_log(a,g,ord,p);
    2056                 :            :   }
    2057         [ -  + ]:       1876 :   return typ(a) == t_INT? Fp_FpXQ_log(a,g,ord,T,p): FpXQ_log(a,g,ord,T,p);
    2058                 :            : }
    2059                 :            : 
    2060                 :            : GEN
    2061                 :       8226 : FpXQ_sqrtn(GEN a, GEN n, GEN T, GEN p, GEN *zeta)
    2062                 :            : {
    2063                 :       8226 :   pari_sp av = avma;
    2064                 :            :   GEN z;
    2065         [ +  + ]:       8226 :   if (!signe(a))
    2066                 :            :   {
    2067                 :         70 :     long v=varn(a);
    2068         [ +  + ]:         70 :     if (signe(n) < 0) pari_err_INV("FpXQ_sqrtn",a);
    2069         [ -  + ]:         63 :     if (zeta) *zeta=pol_1(v);
    2070                 :         63 :     return pol_0(v);
    2071                 :            :   }
    2072         [ +  + ]:       8156 :   if (lgefint(p)==3)
    2073                 :            :   {
    2074         [ +  + ]:       6446 :     if (uel(p,2) == 2)
    2075                 :            :     {
    2076                 :        763 :       z = F2xq_sqrtn(ZX_to_F2x(a), n, ZX_to_F2x(get_Flx_mod(T)), zeta);
    2077         [ -  + ]:        763 :       if (!z) return NULL;
    2078                 :        763 :       z = F2x_to_ZX(z);
    2079         [ +  + ]:        763 :       if (!zeta) return gerepileuptoleaf(av, z);
    2080                 :          7 :       *zeta=F2x_to_ZX(*zeta);
    2081                 :            :     } else
    2082                 :            :     {
    2083                 :       5683 :       ulong pp = to_Flxq(&a, &T, p);
    2084                 :       5683 :       z = Flxq_sqrtn(a, n, T, pp, zeta);
    2085         [ +  + ]:       5683 :       if (!z) return NULL;
    2086         [ +  + ]:       3401 :       if (!zeta) return Flx_to_ZX_inplace(gerepileuptoleaf(av, z));
    2087                 :         28 :       z = Flx_to_ZX(z);
    2088                 :         28 :       *zeta=Flx_to_ZX(*zeta);
    2089                 :            :     }
    2090                 :            :   }
    2091                 :            :   else
    2092                 :            :   {
    2093                 :            :     void *E;
    2094                 :       1710 :     const struct bb_group *S = get_FpXQ_star(&E,T,p);
    2095                 :       1710 :     GEN o = addis(powiu(p,get_FpX_degree(T)),-1);
    2096                 :       1710 :     z = gen_Shanks_sqrtn(a,n,o,zeta,E,S);
    2097         [ +  + ]:       1710 :     if (!z) return NULL;
    2098         [ +  + ]:       1710 :     if (!zeta) return gerepileupto(av, z);
    2099                 :            :   }
    2100                 :         36 :   gerepileall(av, 2, &z,zeta);
    2101                 :       8219 :   return z;
    2102                 :            : }
    2103                 :            : 
    2104                 :            : GEN
    2105                 :       7172 : FpXQ_sqrt(GEN a, GEN T, GEN p)
    2106                 :            : {
    2107                 :       7172 :   return FpXQ_sqrtn(a, gen_2, T, p, NULL);
    2108                 :            : }
    2109                 :            : 
    2110                 :            : GEN
    2111                 :       3434 : FpXQ_norm(GEN x, GEN TB, GEN p)
    2112                 :            : {
    2113                 :       3434 :   pari_sp av = avma;
    2114                 :       3434 :   GEN T = get_FpX_mod(TB);
    2115                 :       3434 :   GEN y = FpX_resultant(T, x, p);
    2116                 :       3434 :   GEN L = leading_coeff(T);
    2117 [ -  + ][ #  # ]:       3434 :   if (gequal1(L) || signe(x)==0) return y;
    2118                 :       3434 :   return gerepileupto(av, Fp_div(y, Fp_pows(L, degpol(x), p), p));
    2119                 :            : }
    2120                 :            : 
    2121                 :            : GEN
    2122                 :      20759 : FpXQ_trace(GEN x, GEN TB, GEN p)
    2123                 :            : {
    2124                 :      20759 :   pari_sp av = avma;
    2125                 :      20759 :   GEN T = get_FpX_mod(TB);
    2126                 :      20759 :   GEN dT = FpX_deriv(T,p);
    2127                 :      20759 :   long n = degpol(dT);
    2128                 :      20759 :   GEN z = FpXQ_mul(x, dT, TB, p);
    2129         [ +  + ]:      20759 :   if (degpol(z)<n) { avma = av; return gen_0; }
    2130                 :      20759 :   return gerepileuptoint(av, Fp_div(gel(z,2+n), gel(T,3+n),p));
    2131                 :            : }
    2132                 :            : 
    2133                 :            : GEN
    2134                 :          1 : FpXQ_charpoly(GEN x, GEN T, GEN p)
    2135                 :            : {
    2136                 :          1 :   pari_sp ltop=avma;
    2137                 :          1 :   long vT, v = fetch_var();
    2138                 :            :   GEN R;
    2139                 :          1 :   T = leafcopy(get_FpX_mod(T));
    2140                 :          1 :   vT = varn(T); setvarn(T, v);
    2141                 :          1 :   x = leafcopy(x); setvarn(x, v);
    2142                 :          1 :   R = FpX_FpXY_resultant(T, deg1pol_shallow(gen_1,FpX_neg(x,p),vT),p);
    2143                 :          1 :   (void)delete_var(); return gerepileupto(ltop,R);
    2144                 :            : }
    2145                 :            : 
    2146                 :            : /* Computing minimal polynomial :                         */
    2147                 :            : /* cf Shoup 'Efficient Computation of Minimal Polynomials */
    2148                 :            : /*          in Algebraic Extensions of Finite Fields'     */
    2149                 :            : 
    2150                 :            : static GEN
    2151                 :        108 : FpXn_mul(GEN a, GEN b, long n, GEN p)
    2152                 :            : {
    2153                 :        108 :   return FpX_red(RgXn_red_shallow(ZX_mul(a, b), n), p);
    2154                 :            : }
    2155                 :            : 
    2156                 :            : /* Let v a linear form, return the linear form z->v(tau*z)
    2157                 :            :    that is, v*(M_tau) */
    2158                 :            : 
    2159                 :            : static GEN
    2160                 :         30 : FpXQ_transmul_init(GEN tau, GEN T, GEN p)
    2161                 :            : {
    2162                 :            :   GEN bht;
    2163                 :         30 :   GEN h, Tp = get_FpX_red(T, &h);
    2164                 :         30 :   long n = degpol(Tp), vT = varn(Tp);
    2165                 :         30 :   GEN ft = FpX_recipspec(Tp+2, n+1, n+1);
    2166                 :         30 :   GEN bt = FpX_recipspec(tau+2, lgpol(tau), n);
    2167                 :         30 :   setvarn(ft, vT); setvarn(bt, vT);
    2168         [ -  + ]:         30 :   if (h)
    2169                 :          0 :     bht = FpXn_mul(bt, h, n-1, p);
    2170                 :            :   else
    2171                 :            :   {
    2172                 :         30 :     GEN bh = FpX_div(RgX_shift_shallow(tau, n-1), T, p);
    2173                 :         30 :     bht = FpX_recipspec(bh+2, lgpol(bh), n-1);
    2174                 :         30 :     setvarn(bht, vT);
    2175                 :            :   }
    2176                 :         30 :   return mkvec3(bt, bht, ft);
    2177                 :            : }
    2178                 :            : 
    2179                 :            : static GEN
    2180                 :        123 : FpXQ_transmul(GEN tau, GEN a, long n, GEN p)
    2181                 :            : {
    2182                 :        123 :   pari_sp ltop = avma;
    2183                 :            :   GEN t1, t2, t3, vec;
    2184                 :        123 :   GEN bt = gel(tau, 1), bht = gel(tau, 2), ft = gel(tau, 3);
    2185         [ -  + ]:        123 :   if (signe(a)==0) return pol_0(varn(a));
    2186                 :        123 :   t2 = RgX_shift_shallow(FpX_mul(bt, a, p),1-n);
    2187         [ +  + ]:        123 :   if (signe(bht)==0) return gerepilecopy(ltop, t2);
    2188                 :        108 :   t1 = RgX_shift_shallow(FpX_mul(ft, a, p),-n);
    2189                 :        108 :   t3 = FpXn_mul(t1, bht, n-1, p);
    2190                 :        108 :   vec = FpX_sub(t2, RgX_shift_shallow(t3, 1), p);
    2191                 :        123 :   return gerepileupto(ltop, vec);
    2192                 :            : }
    2193                 :            : 
    2194                 :            : GEN
    2195                 :       3095 : FpXQ_minpoly(GEN x, GEN T, GEN p)
    2196                 :            : {
    2197                 :       3095 :   pari_sp ltop = avma;
    2198                 :            :   long vT, n;
    2199                 :            :   GEN v_x, g, tau;
    2200         [ +  + ]:       3095 :   if (lgefint(p)==3)
    2201                 :            :   {
    2202                 :       3080 :     ulong pp = to_Flxq(&x, &T, p);
    2203                 :       3080 :     GEN g = Flxq_minpoly(x, T, pp);
    2204                 :       3080 :     return gerepileupto(ltop, Flx_to_ZX(g));
    2205                 :            :   }
    2206                 :         15 :   vT = get_FpX_var(T);
    2207                 :         15 :   n = get_FpX_degree(T);
    2208                 :         15 :   g = pol_1(vT);
    2209                 :         15 :   tau = pol_1(vT);
    2210                 :         15 :   T = FpX_get_red(T, p);
    2211                 :         15 :   x = FpXQ_red(x, T, p);
    2212                 :         15 :   v_x = FpXQ_powers(x, usqrt(2*n), T, p);
    2213         [ +  + ]:         30 :   while(signe(tau) != 0)
    2214                 :            :   {
    2215                 :            :     long i, j, m, k1;
    2216                 :            :     GEN M, v, tr;
    2217                 :            :     GEN g_prime, c;
    2218         [ -  + ]:         15 :     if (degpol(g) == n) { tau = pol_1(vT); g = pol_1(vT); }
    2219                 :         15 :     v = random_FpX(n, vT, p);
    2220                 :         15 :     tr = FpXQ_transmul_init(tau, T, p);
    2221                 :         15 :     v = FpXQ_transmul(tr, v, n, p);
    2222                 :         15 :     m = 2*(n-degpol(g));
    2223                 :         15 :     k1 = usqrt(m);
    2224                 :         15 :     tr = FpXQ_transmul_init(gel(v_x,k1+1), T, p);
    2225                 :         15 :     c = cgetg(m+2,t_POL);
    2226                 :         15 :     c[1] = evalsigne(1)|evalvarn(vT);
    2227         [ +  + ]:        123 :     for (i=0; i<m; i+=k1)
    2228                 :            :     {
    2229                 :        108 :       long mj = minss(m-i, k1);
    2230         [ +  + ]:        674 :       for (j=0; j<mj; j++)
    2231                 :        566 :         gel(c,m+1-(i+j)) = FpX_dotproduct(v, gel(v_x,j+1), p);
    2232                 :        108 :       v = FpXQ_transmul(tr, v, n, p);
    2233                 :            :     }
    2234                 :         15 :     c = FpX_renormalize(c, m+2);
    2235                 :            :     /* now c contains <v,x^i> , i = 0..m-1  */
    2236                 :         15 :     M = FpX_halfgcd(monomial(gen_1, m, vT), c, p);
    2237                 :         15 :     g_prime = gmael(M, 2, 2);
    2238         [ -  + ]:         15 :     if (degpol(g_prime) < 1) continue;
    2239                 :         15 :     g = FpX_mul(g, g_prime, p);
    2240                 :         15 :     tau = FpXQ_mul(tau, FpX_FpXQV_eval(g_prime, v_x, T, p), T, p);
    2241                 :            :   }
    2242                 :         15 :   g = FpX_normalize(g,p);
    2243                 :       3095 :   return gerepilecopy(ltop,g);
    2244                 :            : }
    2245                 :            : 
    2246                 :            : GEN
    2247                 :          8 : FpXQ_conjvec(GEN x, GEN T, GEN p)
    2248                 :            : {
    2249                 :          8 :   pari_sp av=avma;
    2250                 :            :   long i;
    2251                 :          8 :   long n = get_FpX_degree(T), v = varn(x);
    2252                 :          8 :   GEN M = FpX_matFrobenius(T, p);
    2253                 :          8 :   GEN z = cgetg(n+1,t_COL);
    2254                 :          8 :   gel(z,1) = RgX_to_RgC(x,n);
    2255         [ +  + ]:         17 :   for (i=2; i<=n; i++) gel(z,i) = FpM_FpC_mul(M,gel(z,i-1),p);
    2256                 :          8 :   gel(z,1) = x;
    2257         [ +  + ]:         17 :   for (i=2; i<=n; i++) gel(z,i) = RgV_to_RgX(gel(z,i),v);
    2258                 :          8 :   return gerepilecopy(av,z);
    2259                 :            : }
    2260                 :            : 
    2261                 :            : /* p prime, p_1 = p-1, q = p^deg T, Lp = cofactors of some prime divisors
    2262                 :            :  * l_p of p-1, Lq = cofactors of some prime divisors l_q of q-1, return a
    2263                 :            :  * g in Fq such that
    2264                 :            :  * - Ng generates all l_p-Sylows of Fp^*
    2265                 :            :  * - g generates all l_q-Sylows of Fq^* */
    2266                 :            : static GEN
    2267                 :       1451 : gener_FpXQ_i(GEN T, GEN p, GEN p_1, GEN Lp, GEN Lq)
    2268                 :            : {
    2269                 :            :   pari_sp av;
    2270                 :       1451 :   long vT = varn(T), f = degpol(T), l = lg(Lq);
    2271                 :       1451 :   GEN F = FpX_Frobenius(T, p);
    2272                 :       1451 :   int p_is_2 = is_pm1(p_1);
    2273                 :       1451 :   for (av = avma;; avma = av)
    2274                 :            :   {
    2275                 :       3178 :     GEN t, g = random_FpX(f, vT, p);
    2276                 :            :     long i;
    2277         [ +  + ]:       3178 :     if (degpol(g) < 1) continue;
    2278         [ +  + ]:       3045 :     if (p_is_2)
    2279                 :        399 :       t = g;
    2280                 :            :     else
    2281                 :            :     {
    2282                 :       2646 :       t = FpX_resultant(T, g, p); /* Ng = g^((q-1)/(p-1)), assuming T monic */
    2283         [ +  + ]:       2646 :       if (kronecker(t, p) == 1) continue;
    2284 [ +  + ][ +  + ]:       1256 :       if (lg(Lp) > 1 && !is_gener_Fp(t, p, p_1, Lp)) continue;
    2285                 :       1242 :       t = FpXQ_pow(g, shifti(p_1,-1), T, p);
    2286                 :            :     }
    2287         [ +  + ]:       2111 :     for (i = 1; i < l; i++)
    2288                 :            :     {
    2289                 :        660 :       GEN a = FpXQ_pow_Frobenius(t, gel(Lq,i), F, T, p);
    2290 [ +  + ][ +  - ]:        660 :       if (!degpol(a) && equalii(gel(a,2), p_1)) break;
    2291                 :            :     }
    2292         [ +  + ]:       1641 :     if (i == l) return g;
    2293                 :       1727 :   }
    2294                 :            : }
    2295                 :            : 
    2296                 :            : GEN
    2297                 :       6673 : gener_FpXQ(GEN T, GEN p, GEN *po)
    2298                 :            : {
    2299                 :       6673 :   long i, j, f = get_FpX_degree(T);
    2300                 :            :   GEN g, Lp, Lq, p_1, q_1, N, o;
    2301                 :       6673 :   pari_sp av = avma;
    2302                 :            : 
    2303                 :       6673 :   p_1 = subiu(p,1);
    2304         [ +  + ]:       6673 :   if (f == 1) {
    2305                 :            :     GEN Lp, fa;
    2306                 :          7 :     o = p_1;
    2307                 :          7 :     fa = Z_factor(o);
    2308                 :          7 :     Lp = gel(fa,1);
    2309                 :          7 :     Lp = vecslice(Lp, 2, lg(Lp)-1); /* remove 2 for efficiency */
    2310                 :            : 
    2311                 :          7 :     g = cgetg(3, t_POL);
    2312                 :          7 :     g[1] = evalsigne(1) | evalvarn(get_FpX_var(T));
    2313                 :          7 :     gel(g,2) = pgener_Fp_local(p, Lp);
    2314         [ +  - ]:          7 :     if (po) *po = mkvec2(o, fa);
    2315                 :          7 :     return g;
    2316                 :            :   }
    2317         [ +  + ]:       6666 :   if (lgefint(p) == 3)
    2318                 :            :   {
    2319                 :       6643 :     ulong pp = to_Flxq(NULL, &T, p);
    2320                 :       6643 :     g = gener_Flxq(T, pp, po);
    2321         [ +  - ]:       6643 :     if (!po) return Flx_to_ZX_inplace(gerepileuptoleaf(av, g));
    2322                 :          0 :     g = Flx_to_ZX(g);
    2323                 :          0 :     gel(*po,2) = Flx_to_ZX(gel(*po,2));
    2324                 :          0 :     gerepileall(av, 2, &g, po);
    2325                 :          0 :     return g;
    2326                 :            :   }
    2327                 :            :   /* p now odd */
    2328                 :         23 :   q_1 = subiu(powiu(p,f), 1);
    2329                 :         23 :   N = diviiexact(q_1, p_1);
    2330                 :         23 :   Lp = odd_prime_divisors(p_1);
    2331         [ +  + ]:         70 :   for (i=lg(Lp)-1; i; i--) gel(Lp,i) = diviiexact(p_1, gel(Lp,i));
    2332                 :         23 :   o = factor_pn_1(p,f);
    2333                 :         23 :   Lq = leafcopy( gel(o, 1) );
    2334         [ +  + ]:        199 :   for (i = j = 1; i < lg(Lq); i++)
    2335                 :            :   {
    2336         [ +  + ]:        176 :     if (remii(p_1, gel(Lq,i)) == gen_0) continue;
    2337                 :        106 :     gel(Lq,j++) = diviiexact(N, gel(Lq,i));
    2338                 :            :   }
    2339                 :         23 :   setlg(Lq, j);
    2340                 :         23 :   g = gener_FpXQ_i(get_FpX_mod(T), p, p_1, Lp, Lq);
    2341         [ +  + ]:         23 :   if (!po) g = gerepilecopy(av, g);
    2342                 :            :   else {
    2343                 :          7 :     *po = mkvec2(q_1, o);
    2344                 :          7 :     gerepileall(av, 2, &g, po);
    2345                 :            :   }
    2346                 :       6673 :   return g;
    2347                 :            : }
    2348                 :            : 
    2349                 :            : #if 0 /* generic version: slower */
    2350                 :            : GEN
    2351                 :            : gener_FpXQ2(GEN T, GEN p, GEN *po)
    2352                 :            : {
    2353                 :            :   pari_sp av = avma;
    2354                 :            :   void *E;
    2355                 :            :   long f = get_FpX_degree(T);
    2356                 :            :   GEN g, o = factor_pn_1(p,f);
    2357                 :            :   const struct bb_group *S = get_FpXQ_star(&E,T,p);
    2358                 :            :   g = gen_gener(o,E,S);
    2359                 :            :   if (!po) g = gerepilecopy(av, g);
    2360                 :            :   else {
    2361                 :            :     *po = mkvec2(powiu(p,f), o);
    2362                 :            :     gerepileall(av, 2, &g, po);
    2363                 :            :   }
    2364                 :            :   return g;
    2365                 :            : }
    2366                 :            : #endif
    2367                 :            : 
    2368                 :            : GEN
    2369                 :       1428 : gener_FpXQ_local(GEN T, GEN p, GEN L)
    2370                 :            : {
    2371                 :       1428 :   GEN Lp, Lq, p_1 = subiu(p,1), q_1, N, Q;
    2372                 :       1428 :   long f, i, ip, iq, l = lg(L);
    2373                 :       1428 :   T = get_FpX_mod(T);
    2374                 :       1428 :   f = degpol(T);
    2375                 :       1428 :   q_1 = subiu(powiu(p,f), 1);
    2376                 :       1428 :   N = diviiexact(q_1, p_1);
    2377                 :            : 
    2378         [ +  + ]:       1428 :   Q = is_pm1(p_1)? gen_1: shifti(p_1,-1);
    2379                 :       1428 :   Lp = cgetg(l, t_VEC); ip = 1;
    2380                 :       1428 :   Lq = cgetg(l, t_VEC); iq = 1;
    2381         [ +  + ]:       2086 :   for (i=1; i < l; i++)
    2382                 :            :   {
    2383                 :        658 :     GEN a, b, ell = gel(L,i);
    2384         [ +  + ]:        658 :     if (equaliu(ell,2)) continue;
    2385                 :        378 :     a = dvmdii(Q, ell, &b);
    2386         [ +  + ]:        378 :     if (b == gen_0)
    2387                 :         21 :       gel(Lp,ip++) = a;
    2388                 :            :     else
    2389                 :        378 :       gel(Lq,iq++) = diviiexact(N,ell);
    2390                 :            :   }
    2391                 :       1428 :   setlg(Lp, ip);
    2392                 :       1428 :   setlg(Lq, iq);
    2393                 :       1428 :   return gener_FpXQ_i(T, p, p_1, Lp, Lq);
    2394                 :            : }

Generated by: LCOV version 1.9