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; either version 2 of the License, or (at your option) any later
8 : version. It is distributed in the hope that it will be useful, but WITHOUT
9 : ANY WARRANTY WHATSOEVER.
10 :
11 : Check the License for details. You should have received a copy of it, along
12 : with the package; see the file 'COPYING'. If not, write to the Free Software
13 : Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. */
14 :
15 : #include "pari.h"
16 : #include "paripriv.h"
17 :
18 : #define DEBUGLEVEL DEBUGLEVEL_fflog
19 :
20 : /* Not so fast arithmetic with polynomials over F_2 */
21 :
22 : /***********************************************************************/
23 : /** **/
24 : /** F2x **/
25 : /** **/
26 : /***********************************************************************/
27 : /* F2x objects are defined as follows:
28 : An F2x is a t_VECSMALL:
29 : x[0] = codeword
30 : x[1] = evalvarn(variable number) (signe is not stored).
31 : x[2] = a_0...a_31 x[3] = a_32..a_63, etc. on 32bit
32 : x[2] = a_0...a_63 x[3] = a_64..a_127, etc. on 64bit
33 :
34 : where the a_i are bits.
35 :
36 : signe(x) is not valid. Use lgpol(x)!=0 instead.
37 : Note: pol0_F2x=pol0_Flx and pol1_F2x=pol1_Flx
38 : */
39 :
40 : INLINE long
41 204 : F2x_degreespec(GEN x, long l)
42 : {
43 204 : return (l==0)?-1:l*BITS_IN_LONG-bfffo(x[l-1])-1;
44 : }
45 :
46 : INLINE long
47 268798758 : F2x_degree_lg(GEN x, long l)
48 : {
49 268798758 : return (l==2)?-1:bit_accuracy(l)-bfffo(x[l-1])-1;
50 : }
51 :
52 : long
53 79482403 : F2x_degree(GEN x)
54 : {
55 79482403 : return F2x_degree_lg(x, lg(x));
56 : }
57 :
58 : GEN
59 63 : monomial_F2x(long d, long vs)
60 : {
61 63 : long l=nbits2lg(d+1);
62 63 : GEN z = zero_zv(l-1);
63 63 : z[1] = vs;
64 63 : F2x_set(z,d);
65 63 : return z;
66 : }
67 :
68 : GEN
69 1249493 : F2x_to_ZX(GEN x)
70 : {
71 1249493 : long l = 3+F2x_degree(x), lx = lg(x);
72 1249513 : GEN z = cgetg(l,t_POL);
73 : long i, j ,k;
74 2497400 : for (i=2, k=2; i<lx; i++)
75 4293361 : for (j=0; j<BITS_IN_LONG && k<l; j++,k++)
76 3045481 : gel(z,k) = (x[i]&(1UL<<j))?gen_1:gen_0;
77 1249520 : z[1]=evalsigne(l>=3)|x[1];
78 1249520 : return z;
79 : }
80 :
81 : GEN
82 132674 : F2x_to_Flx(GEN x)
83 : {
84 132674 : long l = 3+F2x_degree(x), lx = lg(x);
85 132676 : GEN z = cgetg(l,t_VECSMALL);
86 : long i, j, k;
87 132682 : z[1] = x[1];
88 299843 : for (i=2, k=2; i<lx; i++)
89 4770029 : for (j=0; j<BITS_IN_LONG && k<l; j++,k++)
90 4602868 : z[k] = (x[i]>>j)&1UL;
91 132682 : return z;
92 : }
93 :
94 : GEN
95 378 : F2x_to_F2xX(GEN z, long sv)
96 : {
97 378 : long i, d = F2x_degree(z);
98 378 : GEN x = cgetg(d+3,t_POL);
99 6769 : for (i=0; i<=d; i++)
100 6391 : gel(x,i+2) = F2x_coeff(z,i) ? pol1_F2x(sv): pol0_F2x(sv);
101 378 : x[1] = evalsigne(d+1!=0)| z[1]; return x;
102 : }
103 :
104 : GEN
105 210441 : Z_to_F2x(GEN x, long sv)
106 : {
107 210441 : return mpodd(x) ? pol1_F2x(sv): pol0_F2x(sv);
108 : }
109 :
110 : GEN
111 3090341 : ZX_to_F2x(GEN x)
112 : {
113 3090341 : long lx = lg(x), l = nbits2lg(lx-2);
114 3090346 : GEN z = cgetg(l,t_VECSMALL);
115 : long i, j, k;
116 3090376 : z[1] = ((ulong)x[1])&VARNBITS;
117 10929070 : for (i=2, k=1,j=BITS_IN_LONG; i<lx; i++,j++)
118 : {
119 7838687 : if (j==BITS_IN_LONG)
120 : {
121 3071896 : j=0; z[++k]=0;
122 : }
123 7838687 : if (mpodd(gel(x,i)))
124 5655017 : z[k] |= 1UL<<j;
125 : }
126 3090383 : return F2x_renormalize(z,l);
127 : }
128 :
129 : GEN
130 151552 : Flx_to_F2x(GEN x)
131 : {
132 151552 : long lx = lg(x), l = nbits2lg(lx-2);
133 151552 : GEN z = cgetg(l,t_VECSMALL);
134 : long i, j, k;
135 151552 : z[1] = x[1];
136 4844402 : for (i=2, k=1, j=BITS_IN_LONG; i<lx; i++,j++)
137 : {
138 4692850 : if (j==BITS_IN_LONG)
139 : {
140 178813 : j=0; z[++k] = 0;
141 : }
142 4692850 : if (x[i]&1UL)
143 2399155 : z[k] |= 1UL<<j;
144 : }
145 151552 : return F2x_renormalize(z,l);
146 : }
147 :
148 : GEN
149 1562687 : F2x_to_F2v(GEN x, long N)
150 : {
151 1562687 : long i, l = lg(x);
152 1562687 : long n = nbits2lg(N);
153 1562669 : GEN z = cgetg(n,t_VECSMALL);
154 1562683 : z[1] = N;
155 3356817 : for (i=2; i<l ; i++) z[i]=x[i];
156 1653906 : for ( ; i<n; i++) z[i]=0;
157 1562683 : return z;
158 : }
159 :
160 : GEN
161 1400 : RgX_to_F2x(GEN x)
162 : {
163 1400 : long l=nbits2lg(lgpol(x));
164 1400 : GEN z=cgetg(l,t_VECSMALL);
165 : long i,j,k;
166 1400 : z[1]=((ulong)x[1])&VARNBITS;
167 4277 : for(i=2, k=1,j=BITS_IN_LONG;i<lg(x);i++,j++)
168 : {
169 2877 : if (j==BITS_IN_LONG)
170 : {
171 1386 : j=0; k++; z[k]=0;
172 : }
173 2877 : if (Rg_to_F2(gel(x,i)))
174 1407 : z[k]|=1UL<<j;
175 : }
176 1400 : return F2x_renormalize(z,l);
177 : }
178 :
179 : /* If x is a POLMOD, assume modulus is a multiple of T. */
180 : GEN
181 1165455 : Rg_to_F2xq(GEN x, GEN T)
182 : {
183 1165455 : long ta, tx = typ(x), v = get_F2x_var(T);
184 : GEN a, b;
185 1165455 : if (is_const_t(tx))
186 : {
187 1164286 : if (tx == t_FFELT) return FF_to_F2xq(x);
188 246459 : return Rg_to_F2(x)? pol1_F2x(v): pol0_F2x(v);
189 : }
190 1169 : switch(tx)
191 : {
192 0 : case t_POLMOD:
193 0 : b = gel(x,1);
194 0 : a = gel(x,2); ta = typ(a);
195 0 : if (is_const_t(ta)) return Rg_to_F2(a)? pol1_F2x(v): pol0_F2x(v);
196 0 : b = RgX_to_F2x(b); if (b[1] != v) break;
197 0 : a = RgX_to_F2x(a); if (F2x_equal(b,T)) return a;
198 0 : if (lgpol(F2x_rem(b,T))==0) return F2x_rem(a, T);
199 0 : break;
200 1169 : case t_POL:
201 1169 : x = RgX_to_F2x(x);
202 1169 : if (x[1] != v) break;
203 1169 : return F2x_rem(x, T);
204 0 : case t_RFRAC:
205 0 : a = Rg_to_F2xq(gel(x,1), T);
206 0 : b = Rg_to_F2xq(gel(x,2), T);
207 0 : return F2xq_div(a,b, T);
208 : }
209 0 : pari_err_TYPE("Rg_to_F2xq",x);
210 : return NULL; /* LCOV_EXCL_LINE */
211 : }
212 :
213 : ulong
214 12816 : F2x_eval(GEN P, ulong x)
215 : {
216 12816 : if (lgpol(P)==0) return 0;
217 9495 : if (odd(x))
218 : {
219 2693 : long i, lP = lg(P);
220 2693 : ulong c = 0;
221 5386 : for (i=2; i<lP; i++)
222 2693 : c ^= P[i];
223 : #ifdef LONG_IS_64BIT
224 2298 : c ^= c >> 32;
225 : #endif
226 2693 : c ^= c >> 16;
227 2693 : c ^= c >> 8;
228 2693 : c ^= c >> 4;
229 2693 : c ^= c >> 2;
230 2693 : c ^= c >> 1;
231 2693 : return c & 1;
232 : }
233 6802 : else return F2x_coeff(P,0);
234 : }
235 :
236 : GEN
237 32851349 : F2x_add(GEN x, GEN y)
238 : {
239 : long i,lz;
240 : GEN z;
241 32851349 : long lx=lg(x);
242 32851349 : long ly=lg(y);
243 32851349 : if (ly>lx) swapspec(x,y, lx,ly);
244 32851349 : lz = lx; z = cgetg(lz, t_VECSMALL); z[1]=x[1];
245 69622425 : for (i=2; i<ly; i++) z[i] = x[i]^y[i];
246 40531493 : for ( ; i<lx; i++) z[i] = x[i];
247 32872409 : return F2x_renormalize(z, lz);
248 : }
249 :
250 : static GEN
251 69407 : F2x_addspec(GEN x, GEN y, long lx, long ly)
252 : {
253 : long i,lz;
254 : GEN z;
255 :
256 69407 : if (ly>lx) swapspec(x,y, lx,ly);
257 69407 : lz = lx+2; z = cgetg(lz, t_VECSMALL) + 2;
258 204557 : for (i=0; i<ly-3; i+=4)
259 : {
260 135150 : z[i] = x[i]^y[i];
261 135150 : z[i+1] = x[i+1]^y[i+1];
262 135150 : z[i+2] = x[i+2]^y[i+2];
263 135150 : z[i+3] = x[i+3]^y[i+3];
264 : }
265 101590 : for (; i<ly; i++)
266 32183 : z[i] = x[i]^y[i];
267 613121 : for ( ; i<lx; i++) z[i] = x[i];
268 69407 : z -= 2; z[1] = 0; return F2x_renormalize(z, lz);
269 : }
270 :
271 : GEN
272 190322 : F2x_1_add(GEN y)
273 : {
274 : GEN z;
275 : long lz, i;
276 190322 : if (!lgpol(y))
277 90362 : return pol1_F2x(y[1]);
278 99960 : lz=lg(y);
279 99960 : z=cgetg(lz,t_VECSMALL);
280 99960 : z[1] = y[1];
281 99960 : z[2] = y[2]^1UL;
282 99960 : for(i=3;i<lz;i++)
283 0 : z[i] = y[i];
284 99960 : if (lz==3) z = F2x_renormalize(z,lz);
285 99960 : return z;
286 : }
287 :
288 : INLINE void
289 171921413 : F2x_addshiftipspec(GEN x, GEN y, long ny, ulong db)
290 : {
291 : long i;
292 171921413 : if (db)
293 : {
294 146464319 : ulong dc=BITS_IN_LONG-db;
295 146464319 : ulong r=0, yi;
296 236029282 : for(i=0; i<ny-3; i+=4)
297 : {
298 89564963 : yi = uel(y,i); x[i] ^= (yi<<db)|r; r = yi>>dc;
299 89564963 : yi = uel(y,i+1); x[i+1] ^= (yi<<db)|r; r = yi>>dc;
300 89564963 : yi = uel(y,i+2); x[i+2] ^= (yi<<db)|r; r = yi>>dc;
301 89564963 : yi = uel(y,i+3); x[i+3] ^= (yi<<db)|r; r = yi>>dc;
302 : }
303 282696900 : for( ; i<ny; i++)
304 : {
305 136232581 : ulong yi = uel(y,i); x[i] ^= (yi<<db)|r; r = yi>>dc;
306 : }
307 146464319 : if (r) x[i] ^= r;
308 : }
309 : else
310 : {
311 28986217 : for(i=0; i<ny-3; i+=4)
312 : {
313 3529123 : x[i] ^= y[i];
314 3529123 : x[i+1] ^= y[i+1];
315 3529123 : x[i+2] ^= y[i+2];
316 3529123 : x[i+3] ^= y[i+3];
317 : }
318 54619319 : for( ; i<ny; i++)
319 29162225 : x[i] ^= y[i];
320 : }
321 171921413 : }
322 :
323 : INLINE void
324 139070131 : F2x_addshiftip(GEN x, GEN y, ulong d)
325 : {
326 139070131 : ulong db, dl=dvmduBIL(d, &db);
327 138459847 : F2x_addshiftipspec(x+2+dl, y+2, lgpol(y), db);
328 138704368 : }
329 :
330 : static GEN
331 20700395 : F2x_mul1(ulong x, ulong y)
332 : {
333 20700395 : ulong x1=(x&HIGHMASK)>>BITS_IN_HALFULONG;
334 20700395 : ulong x2=x&LOWMASK;
335 20700395 : ulong y1=(y&HIGHMASK)>>BITS_IN_HALFULONG;
336 20700395 : ulong y2=y&LOWMASK;
337 : ulong r1,r2,rr;
338 : GEN z;
339 : ulong i;
340 20700395 : rr=r1=r2=0UL;
341 20700395 : if (x2)
342 638722709 : for(i=0;i<BITS_IN_HALFULONG;i++)
343 618061439 : if (x2&(1UL<<i))
344 : {
345 53839046 : r2^=y2<<i;
346 53839046 : rr^=y1<<i;
347 : }
348 20700395 : if (x1)
349 3469618 : for(i=0;i<BITS_IN_HALFULONG;i++)
350 3348714 : if (x1&(1UL<<i))
351 : {
352 913711 : r1^=y1<<i;
353 913711 : rr^=y2<<i;
354 : }
355 20700395 : r2^=(rr&LOWMASK)<<BITS_IN_HALFULONG;
356 20700395 : r1^=(rr&HIGHMASK)>>BITS_IN_HALFULONG;
357 20700395 : z=cgetg((r1?4:3),t_VECSMALL);
358 20700554 : z[2]=r2;
359 20700554 : if (r1) z[3]=r1;
360 20700554 : return z;
361 : }
362 :
363 : static GEN
364 5118242 : F2x_mulspec_basecase(GEN x, GEN y, long nx, long ny)
365 : {
366 : long l, i, j;
367 : GEN z;
368 5118242 : l = nx + ny;
369 5118242 : z = zero_Flv(l+1);
370 5827407 : for(i=0; i < ny-1; i++)
371 : {
372 709668 : GEN zi = z+2+i;
373 709668 : ulong yi = uel(y,i);
374 709668 : if (yi)
375 38934365 : for(j=0; j < BITS_IN_LONG; j++)
376 38225991 : if (yi&(1UL<<j)) F2x_addshiftipspec(zi,x,nx,j);
377 : }
378 : {
379 5117739 : GEN zi = z+2+i;
380 5117739 : ulong yi = uel(y,i);
381 5117739 : long c = BITS_IN_LONG-bfffo(yi);
382 33227922 : for(j=0; j < c; j++)
383 28111831 : if (yi&(1UL<<j)) F2x_addshiftipspec(zi,x,nx,j);
384 : }
385 5116091 : return F2x_renormalize(z, l+2);
386 : }
387 :
388 : static GEN
389 44696 : F2x_addshift(GEN x, GEN y, long d)
390 : {
391 44696 : GEN xd,yd,zd = (GEN)avma;
392 44696 : long a,lz,ny = lgpol(y), nx = lgpol(x);
393 44696 : long vs = x[1];
394 44696 : if (nx == 0) return y;
395 44696 : x += 2; y += 2; a = ny-d;
396 44696 : if (a <= 0)
397 : {
398 3141 : lz = (a>nx)? ny+2: nx+d+2;
399 3141 : (void)new_chunk(lz); xd = x+nx; yd = y+ny;
400 36706 : while (xd > x) *--zd = *--xd;
401 3141 : x = zd + a;
402 4410 : while (zd > x) *--zd = 0;
403 : }
404 : else
405 : {
406 41555 : xd = new_chunk(d); yd = y+d;
407 41555 : x = F2x_addspec(x,yd,nx,a);
408 41555 : lz = (a>nx)? ny+2: lg(x)+d;
409 873775 : x += 2; while (xd > x) *--zd = *--xd;
410 : }
411 508580 : while (yd > y) *--zd = *--yd;
412 44696 : *--zd = vs;
413 44696 : *--zd = evaltyp(t_VECSMALL) | evallg(lz); return zd;
414 : }
415 :
416 : /* shift polynomial + gerepile */
417 : /* Do not set evalvarn. Cf Flx_shiftip */
418 : static GEN
419 25849395 : F2x_shiftip(pari_sp av, GEN x, long v)
420 : {
421 25849395 : long i, lx = lg(x), ly;
422 : GEN y;
423 25849395 : if (!v || lx==2) return gerepileuptoleaf(av, x);
424 29529 : ly = lx + v;
425 29529 : (void)new_chunk(ly); /* check that result fits */
426 29529 : x += lx; y = (GEN)av;
427 135338 : for (i = 2; i<lx; i++) *--y = *--x;
428 164469 : for (i = 0; i< v; i++) *--y = 0;
429 29529 : y -= 2; y[0] = evaltyp(t_VECSMALL) | evallg(ly);
430 29531 : return gc_const((pari_sp)y, y);
431 : }
432 :
433 : static GEN
434 204 : F2x_to_int(GEN a, long na, long da, long bs)
435 : {
436 204 : const long BIL = BITS_IN_LONG;
437 : GEN z, zs;
438 : long i,j,k,m;
439 204 : long lz = nbits2lg(1+da*bs);
440 204 : z = cgeti(lz); z[1] = evalsigne(1)|evallgefint(lz);
441 204 : zs = int_LSW(z); *zs = 0;
442 13668 : for (i=0, k=2, m=0; i<na; i++)
443 866019 : for (j=0; j<BIL; j++, m+=bs)
444 : {
445 852759 : if (m >= BIL)
446 : {
447 173163 : k++; if (k>=lz) break;
448 172959 : zs = int_nextW(zs);
449 172959 : *zs = 0;
450 172959 : m -= BIL;
451 : }
452 852555 : *zs |= ((a[i]>>j)&1UL)<<m;
453 : }
454 204 : return int_normalize(z,0);
455 : }
456 :
457 : static GEN
458 102 : int_to_F2x(GEN x, long d, long bs)
459 : {
460 102 : const long BIL = BITS_IN_LONG;
461 102 : long lx = lgefint(x), lz = nbits2lg(d+1);
462 : long i,j,k,m;
463 102 : GEN xs = int_LSW(x);
464 102 : GEN z = cgetg(lz, t_VECSMALL);
465 102 : z[1] = 0;
466 13464 : for (k=2, i=2, m=0; k < lx; i++)
467 : {
468 13362 : z[i] = 0;
469 865572 : for (j=0; j<BIL; j++, m+=bs)
470 : {
471 852312 : if (m >= BIL)
472 : {
473 173094 : if (++k==lx) break;
474 172992 : xs = int_nextW(xs);
475 172992 : m -= BIL;
476 : }
477 852210 : if ((*xs>>m)&1UL)
478 384582 : z[i]|=1UL<<j;
479 : }
480 : }
481 102 : return F2x_renormalize(z,lz);
482 : }
483 :
484 : static GEN
485 102 : F2x_mulspec_mulii(GEN a, GEN b, long na, long nb)
486 : {
487 102 : long da = F2x_degreespec(a,na), db = F2x_degreespec(b,nb);
488 102 : long bs = expu(1 + maxss(da, db))+1;
489 102 : GEN A = F2x_to_int(a,na,da,bs);
490 102 : GEN B = F2x_to_int(b,nb,db,bs);
491 102 : GEN z = mulii(A,B);
492 102 : return int_to_F2x(z,da+db,bs);
493 : }
494 :
495 : /* fast product (Karatsuba) of polynomials a,b. These are not real GENs, a+2,
496 : * b+2 were sent instead. na, nb = number of terms of a, b.
497 : * Only c, c0, c1, c2 are genuine GEN.
498 : */
499 : static GEN
500 30268651 : F2x_mulspec(GEN a, GEN b, long na, long nb)
501 : {
502 : GEN a0,c,c0;
503 30268651 : long n0, n0a, i, v = 0;
504 : pari_sp av;
505 30376403 : while (na && !a[0]) { a++; na-=1; v++; }
506 30296256 : while (nb && !b[0]) { b++; nb-=1; v++; }
507 30268651 : if (na < nb) swapspec(a,b, na,nb);
508 30268651 : if (!nb) return pol0_F2x(0);
509 :
510 25849267 : av = avma;
511 25849267 : if (na == 1)
512 20700417 : return F2x_shiftip(av, F2x_mul1(*a,*b), v);
513 5148850 : if (na < F2x_MUL_KARATSUBA_LIMIT)
514 5118235 : return F2x_shiftip(av, F2x_mulspec_basecase(a, b, na, nb), v);
515 30615 : if (nb >= F2x_MUL_MULII_LIMIT)
516 102 : return F2x_shiftip(av, F2x_mulspec_mulii(a, b, na, nb), v);
517 30513 : i=(na>>1); n0=na-i; na=i;
518 30513 : a0=a+n0; n0a=n0;
519 30597 : while (n0a && !a[n0a-1]) n0a--;
520 :
521 30513 : if (nb > n0)
522 : {
523 : GEN b0,c1,c2;
524 : long n0b;
525 :
526 13926 : nb -= n0; b0 = b+n0; n0b = n0;
527 13947 : while (n0b && !b[n0b-1]) n0b--;
528 13926 : c = F2x_mulspec(a,b,n0a,n0b);
529 13926 : c0 = F2x_mulspec(a0,b0,na,nb);
530 :
531 13926 : c2 = F2x_addspec(a0,a,na,n0a);
532 13926 : c1 = F2x_addspec(b0,b,nb,n0b);
533 :
534 13926 : c1 = F2x_mul(c1,c2);
535 13926 : c2 = F2x_add(c0,c);
536 :
537 13926 : c2 = F2x_add(c1,c2);
538 13926 : c0 = F2x_addshift(c0,c2,n0);
539 : }
540 : else
541 : {
542 16587 : c = F2x_mulspec(a,b,n0a,nb);
543 16844 : c0 = F2x_mulspec(a0,b,na,nb);
544 : }
545 30770 : c0 = F2x_addshift(c0,c,n0);
546 30770 : return F2x_shiftip(av,c0, v);
547 : }
548 :
549 : GEN
550 30206898 : F2x_mul(GEN x, GEN y)
551 : {
552 30206898 : GEN z = F2x_mulspec(x+2,y+2, lgpol(x),lgpol(y));
553 30207421 : z[1] = x[1]; return z;
554 : }
555 :
556 : GEN
557 8947314 : F2x_sqr(GEN x)
558 : {
559 8947314 : const ulong sq[]={0,1,4,5,16,17,20,21,64,65,68,69,80,81,84,85};
560 : long i,ii,j,jj;
561 8947314 : long lx=lg(x), lz=2+((lx-2)<<1);
562 : GEN z;
563 8947314 : z = cgetg(lz, t_VECSMALL); z[1]=x[1];
564 18087338 : for (j=2,jj=2;j<lx;j++,jj++)
565 : {
566 9111368 : ulong x1=((ulong)x[j]&HIGHMASK)>>BITS_IN_HALFULONG;
567 9111368 : ulong x2=(ulong)x[j]&LOWMASK;
568 9111368 : z[jj]=0;
569 9111368 : if (x2)
570 76147800 : for(i=0,ii=0;i<BITS_IN_HALFULONG;i+=4,ii+=8)
571 67098512 : z[jj]|=sq[(x2>>i)&15UL]<<ii;
572 9111368 : z[++jj]=0;
573 9111368 : if (x1)
574 6323585 : for(i=0,ii=0;i<BITS_IN_HALFULONG;i+=4,ii+=8)
575 5501554 : z[jj]|=sq[(x1>>i)&15UL]<<ii;
576 : }
577 8975970 : return F2x_renormalize(z, lz);
578 : }
579 :
580 : static GEN
581 154394 : F2x_pow2n(GEN x, long n)
582 : {
583 : long i;
584 463140 : for(i=1;i<=n;i++)
585 308688 : x = F2x_sqr(x);
586 154452 : return x;
587 : }
588 :
589 : int
590 36941 : F2x_issquare(GEN x)
591 : {
592 36941 : const ulong mask = (ULONG_MAX/3UL)*2;
593 36941 : ulong i, lx = lg(x);
594 73882 : for (i=2; i<lx; i++)
595 36941 : if ((x[i]&mask)) return 0;
596 36941 : return 1;
597 : }
598 :
599 : /* Assume x is a perfect square */
600 : GEN
601 239115 : F2x_sqrt(GEN x)
602 : {
603 239115 : const ulong sq[]={0,1,4,5,2,3,6,7,8,9,12,13,10,11,14,15};
604 : long i,ii,j,jj;
605 239115 : long lx=lg(x), lz=2+((lx-1)>>1);
606 : GEN z;
607 239115 : z = cgetg(lz, t_VECSMALL); z[1]=x[1];
608 478286 : for (j=2,jj=2;jj<lz;j++,jj++)
609 : {
610 239163 : ulong x2=x[j++];
611 239163 : z[jj]=0;
612 239163 : if (x2)
613 2017115 : for(i=0,ii=0;ii<BITS_IN_HALFULONG;i+=8,ii+=4)
614 : {
615 1777970 : ulong rl = (x2>>i)&15UL, rh = (x2>>(i+4))&15UL;
616 1777970 : z[jj]|=sq[rl|(rh<<1)]<<ii;
617 : }
618 239163 : if (j<lx)
619 : {
620 346 : x2 = x[j];
621 346 : if (x2)
622 2207 : for(i=0,ii=0;ii<BITS_IN_HALFULONG;i+=8,ii+=4)
623 : {
624 1876 : ulong rl = (x2>>i)&15UL, rh = (x2>>(i+4))&15UL;
625 1876 : z[jj]|=(sq[rl|(rh<<1)]<<ii)<<BITS_IN_HALFULONG;
626 : }
627 : }
628 : }
629 239123 : return F2x_renormalize(z, lz);
630 : }
631 :
632 : static GEN
633 1065 : F2x_shiftneg(GEN y, ulong d)
634 : {
635 1065 : long db, dl=dvmdsBIL(d, &db);
636 1065 : long i, ly = lg(y), lx = ly-dl;
637 : GEN x;
638 1065 : if (lx <= 2) return zero_F2x(y[1]);
639 1049 : x = cgetg(lx, t_VECSMALL);
640 1049 : x[1] = y[1];
641 1049 : if (db)
642 : {
643 1049 : ulong dc=BITS_IN_LONG-db;
644 1049 : ulong r=0;
645 2098 : for(i=lx-1; i>=2; i--)
646 : {
647 1049 : x[i] = (((ulong)y[i+dl])>>db)|r;
648 1049 : r = ((ulong)y[i+dl])<<dc;
649 : }
650 : }
651 : else
652 0 : for(i=2; i<lx; i++)
653 0 : x[i] = y[i+dl];
654 1049 : return F2x_renormalize(x,lx);
655 : }
656 :
657 : static GEN
658 258568 : F2x_shiftpos(GEN y, ulong d)
659 : {
660 258568 : long db, dl=dvmdsBIL(d, &db);
661 258309 : long i, ly = lg(y), lx = ly+dl+(!!db);
662 258309 : GEN x = cgetg(lx, t_VECSMALL);
663 258492 : x[1] = y[1]; for(i=0; i<dl; i++) x[i+2] = 0;
664 258430 : if (db)
665 : {
666 258384 : ulong dc=BITS_IN_LONG-db;
667 258384 : ulong r=0;
668 520263 : for(i=2; i<ly; i++)
669 : {
670 261879 : x[i+dl] = (((ulong)y[i])<<db)|r;
671 261879 : r = ((ulong)y[i])>>dc;
672 : }
673 258384 : x[i+dl] = r;
674 : }
675 : else
676 60 : for(i=2; i<ly; i++)
677 14 : x[i+dl] = y[i];
678 258430 : return F2x_renormalize(x,lx);
679 : }
680 :
681 : GEN
682 259566 : F2x_shift(GEN y, long d)
683 : {
684 259566 : return d<0 ? F2x_shiftneg(y,-d): F2x_shiftpos(y,d);
685 : }
686 :
687 : #define F2x_recip2(pk,m) u = ((u&m)<<pk)|((u&(~m))>>pk);
688 : #define F2x_recipu(pk) F2x_recip2(pk,((~0UL)/((1UL<<pk)+1)))
689 :
690 : static ulong
691 42 : F2x_recip1(ulong u)
692 : {
693 42 : u = (u<<BITS_IN_HALFULONG)|(u>>BITS_IN_HALFULONG);
694 : #ifdef LONG_IS_64BIT
695 36 : F2x_recipu(16);
696 : #endif
697 42 : F2x_recipu(8);
698 42 : F2x_recipu(4);
699 42 : F2x_recipu(2);
700 42 : F2x_recipu(1);
701 42 : return u;
702 : }
703 :
704 : static GEN
705 0 : F2x_recip_raw(GEN x)
706 : {
707 : long i, l;
708 0 : GEN y = cgetg_copy(x,&l);
709 0 : y[1] = x[1];
710 0 : for (i=0; i<l-2; i++)
711 0 : uel(y,l-1-i) = F2x_recip1(uel(x,2+i));
712 0 : return y;
713 : }
714 :
715 : GEN
716 0 : F2x_recip(GEN x)
717 : {
718 0 : long lb = remsBIL(F2x_degree(x)+1);
719 0 : GEN y = F2x_recip_raw(x);
720 0 : if (lb) y = F2x_shiftneg(y,BITS_IN_LONG-lb);
721 0 : return y;
722 : }
723 :
724 : GEN
725 83 : F2xn_red(GEN f, long n)
726 : {
727 : GEN g;
728 : long i, dl, db, l;
729 83 : if (F2x_degree(f) < n) return zv_copy(f);
730 0 : dl = dvmdsBIL(n, &db); l = 2 + dl + (db>0);
731 0 : g = cgetg(l, t_VECSMALL);
732 0 : g[1] = f[1];
733 0 : for (i=2; i<l; i++)
734 0 : uel(g,i) = uel(f,i);
735 0 : if (db) uel(g,l-1) = uel(f,l-1)&((1UL<<db)-1);
736 0 : return F2x_renormalize(g, l);
737 : }
738 :
739 : static GEN
740 46 : F2xn_mul(GEN a, GEN b, long n) { return F2xn_red(F2x_mul(a, b), n); }
741 :
742 : static ulong
743 42 : F2xn_inv_basecase1(ulong x)
744 : {
745 : ulong u, v, w;
746 : long i;
747 42 : u = x>>1;
748 42 : v = (u&1UL)|2UL;
749 42 : w = u&v; w ^= w >> 1; v = (w&1UL)|(v<<1);
750 42 : w = u&v; w ^= w >> 2; w ^= w >> 1; v = (w&1UL)|(v<<1);
751 42 : w = u&v; w ^= w >> 2; w ^= w >> 1; v = (w&1UL)|(v<<1);
752 210 : for (i=1;i<=4;i++)
753 168 : { w = u&v; w ^= w >> 4; w ^= w >> 2; w ^= w >> 1; v = (w&1UL)|(v<<1); }
754 378 : for (i=1;i<=8;i++)
755 336 : { w = u&v; w ^= w >> 8; w ^= w >> 4; w ^= w >> 2; w ^= w >> 1;
756 336 : v = (w&1UL)|(v<<1); }
757 714 : for (i=1;i<=16;i++)
758 672 : { w = u&v; w ^= w >> 16; w ^= w >> 8; w ^= w >> 4; w ^= w >> 2; w ^= w >> 1;
759 672 : v = (w&1UL)|(v<<1); }
760 : #ifdef LONG_IS_64BIT
761 1188 : for (i=1; i<=32; i++)
762 1152 : { w = u&v; w ^= w >> 32; w ^= w >> 16; w ^= w >> 8; w ^= w >> 4; w ^= w >> 2;
763 1152 : w ^= w >> 1; v = (w&1UL)|(v<<1); }
764 : #endif
765 42 : return (F2x_recip1(v)<<1) | 1UL;
766 : }
767 :
768 : static GEN
769 42 : F2xn_inv1(GEN v, long e)
770 : {
771 42 : ulong mask = e==BITS_IN_LONG ? -1UL: ((1UL<<e)-1);
772 42 : return mkvecsmall2(v[1],F2xn_inv_basecase1(uel(v,2))&mask);
773 : }
774 :
775 : static GEN
776 28 : F2xn_div1(GEN g, GEN f, long e)
777 : {
778 28 : GEN fi = F2xn_inv1(f, e);
779 28 : return g ? F2xn_mul(g, fi, e): fi;
780 : }
781 :
782 : GEN
783 42 : F2xn_div(GEN g, GEN f, long e)
784 : {
785 42 : pari_sp av = avma, av2;
786 : ulong mask;
787 : GEN W;
788 42 : long n=1;
789 42 : if (lg(f)<=2) pari_err_INV("Flxn_inv",f);
790 42 : if (e <= BITS_IN_LONG) return F2xn_div1(g, f, e);
791 14 : W = F2xn_inv1(f, BITS_IN_LONG);
792 14 : mask = quadratic_prec_mask(divsBIL(e+BITS_IN_LONG-1));
793 14 : n = BITS_IN_LONG;
794 14 : av2 = avma;
795 30 : for (;mask>1;)
796 : {
797 : GEN u, fr;
798 16 : long n2 = n;
799 16 : n<<=1; if (mask & 1) n--;
800 16 : mask >>= 1;
801 16 : fr = F2xn_red(f, n);
802 16 : if (mask>1 || !g)
803 : {
804 9 : u = F2x_shift(F2xn_mul(W, fr, n), -n2);
805 9 : W = F2x_add(W, F2x_shift(F2xn_mul(u, W, n-n2), n2));
806 : } else
807 : {
808 7 : GEN y = F2xn_mul(g, W, n), yt = F2xn_red(y, n-n2);
809 7 : u = F2xn_mul(yt, F2x_shift(F2xn_mul(fr, W, n), -n2), n-n2);
810 7 : W = F2x_add(y, F2x_shift(u, n2));
811 : }
812 16 : if (gc_needed(av2,2))
813 : {
814 0 : if(DEBUGMEM>1) pari_warn(warnmem,"F2xn_inv, e = %ld", n);
815 0 : W = gerepileupto(av2, W);
816 : }
817 : }
818 14 : return gerepileupto(av, F2xn_red(W,e));
819 : }
820 :
821 : GEN
822 28 : F2xn_inv(GEN f, long e)
823 28 : { return F2xn_div(NULL, f, e); }
824 :
825 : GEN
826 219632 : F2x_get_red(GEN T)
827 : {
828 219632 : return T;
829 : }
830 :
831 : /* separate from F2x_divrem for maximal speed. */
832 : GEN
833 47302946 : F2x_rem(GEN x, GEN y)
834 : {
835 : long dx,dy;
836 47302946 : long lx=lg(x);
837 47302946 : dy = F2x_degree(y); if (!dy) return pol0_F2x(x[1]);
838 44466936 : dx = F2x_degree_lg(x,lx);
839 44535382 : x = F2x_copy(x);
840 158235199 : while (dx>=dy)
841 : {
842 113644786 : F2x_addshiftip(x,y,dx-dy);
843 115572693 : while (lx>2 && x[lx-1]==0) lx--;
844 112885727 : dx = F2x_degree_lg(x,lx);
845 : }
846 44590413 : return F2x_renormalize(x, lx);
847 : }
848 :
849 : GEN
850 13171002 : F2x_divrem(GEN x, GEN y, GEN *pr)
851 : {
852 13171002 : long dx, dy, dz, lx = lg(x), vs = x[1];
853 : GEN z;
854 :
855 13171002 : dy = F2x_degree(y);
856 13171388 : if (dy<0) pari_err_INV("F2x_divrem",y);
857 13171355 : if (pr == ONLY_REM) return F2x_rem(x, y);
858 13171355 : if (!dy)
859 : {
860 2322818 : z = F2x_copy(x);
861 2322864 : if (pr && pr != ONLY_DIVIDES) *pr = pol0_F2x(vs);
862 2322864 : return z;
863 : }
864 10848537 : dx = F2x_degree_lg(x,lx);
865 10849040 : dz = dx-dy;
866 10849040 : if (dz < 0)
867 : {
868 14 : if (pr == ONLY_DIVIDES) return dx < 0? F2x_copy(x): NULL;
869 14 : z = pol0_F2x(vs);
870 14 : if (pr) *pr = F2x_copy(x);
871 14 : return z;
872 : }
873 10849026 : z = zero_zv(lg(x)-lg(y)+2); z[1] = vs;
874 10849969 : x = F2x_copy(x);
875 35505478 : while (dx>=dy)
876 : {
877 24657679 : F2x_set(z,dx-dy);
878 24612532 : F2x_addshiftip(x,y,dx-dy);
879 25958502 : while (lx>2 && x[lx-1]==0) lx--;
880 24556165 : dx = F2x_degree_lg(x,lx);
881 : }
882 10847799 : z = F2x_renormalize(z, lg(z));
883 10849978 : if (!pr) { cgiv(x); return z; }
884 9853753 : x = F2x_renormalize(x, lx);
885 9853730 : if (pr == ONLY_DIVIDES) {
886 0 : if (lg(x) == 2) { cgiv(x); return z; }
887 0 : return gc_NULL((pari_sp)(z + lg(z)));
888 : }
889 9853730 : *pr = x; return z;
890 : }
891 :
892 : long
893 35093 : F2x_valrem(GEN x, GEN *Z)
894 : {
895 35093 : long v, v2, i, l=lg(x);
896 : GEN y;
897 35093 : if (l==2) { *Z = F2x_copy(x); return LONG_MAX; }
898 35096 : for (i=2; i<l && x[i]==0; i++) /*empty*/;
899 35093 : v = i-2;
900 35093 : v2 = (i < l)? vals(x[i]): 0;
901 35094 : if (v+v2 == 0) { *Z = x; return 0; }
902 11262 : l -= i-2;
903 11262 : y = cgetg(l, t_VECSMALL); y[1] = x[1];
904 11262 : if (v2 == 0)
905 6 : for (i=2; i<l; i++) y[i] = x[i+v];
906 11259 : else if (l == 3)
907 11236 : y[2] = ((ulong)x[2+v]) >> v2;
908 : else
909 : {
910 23 : const ulong sh = BITS_IN_LONG - v2;
911 23 : ulong r = x[2+v];
912 46 : for (i=3; i<l; i++)
913 : {
914 23 : y[i-1] = (x[i+v] << sh) | (r >> v2);
915 23 : r = x[i+v];
916 : }
917 23 : y[l-1] = r >> v2;
918 23 : (void)F2x_renormalize(y,l);
919 : }
920 11262 : *Z = y; return (v << TWOPOTBITS_IN_LONG) + v2;
921 : }
922 :
923 : GEN
924 0 : F2x_deflate(GEN x, long d)
925 : {
926 : GEN y;
927 0 : long i,id, dy, dx = F2x_degree(x);
928 0 : if (d <= 1) return F2x_copy(x);
929 0 : if (dx < 0) return F2x_copy(x);
930 0 : dy = dx/d; /* dy+1 coefficients + 1 extra word for variable */
931 0 : y = zero_zv(nbits2lg(dy+1)-1); y[1] = x[1];
932 0 : for (i=id=0; i<=dy; i++,id+=d)
933 0 : if (F2x_coeff(x,id)) F2x_set(y, i);
934 0 : return y;
935 : }
936 :
937 : /* write p(X) = e(X^2) + Xo(X^2), shallow function */
938 : void
939 62420 : F2x_even_odd(GEN p, GEN *pe, GEN *po)
940 : {
941 62420 : long n = F2x_degree(p), n0, n1, i;
942 : GEN p0, p1;
943 :
944 62419 : if (n <= 0) { *pe = F2x_copy(p); *po = pol0_F2x(p[1]); return; }
945 :
946 58100 : n0 = (n>>1)+1; n1 = n+1 - n0; /* n1 <= n0 <= n1+1 */
947 58100 : p0 = zero_zv(nbits2lg(n0+1)-1); p0[1] = p[1];
948 58097 : p1 = zero_zv(nbits2lg(n1+1)-1); p1[1] = p[1];
949 2180758 : for (i=0; i<n1; i++)
950 : {
951 2122652 : if (F2x_coeff(p,i<<1)) F2x_set(p0,i);
952 2122375 : if (F2x_coeff(p,1+(i<<1))) F2x_set(p1,i);
953 : }
954 58106 : if (n1 != n0 && F2x_coeff(p,i<<1)) F2x_set(p0,i);
955 58106 : *pe = F2x_renormalize(p0,lg(p0));
956 58106 : *po = F2x_renormalize(p1,lg(p1));
957 : }
958 :
959 : GEN
960 1215480 : F2x_deriv(GEN z)
961 : {
962 1215480 : const ulong mask = ULONG_MAX/3UL;
963 1215480 : long i,l = lg(z);
964 1215480 : GEN x = cgetg(l, t_VECSMALL); x[1] = z[1];
965 2436921 : for (i=2; i<l; i++) x[i] = (((ulong)z[i])>>1)&mask;
966 1215519 : return F2x_renormalize(x,l);
967 : }
968 :
969 : GEN
970 3600269 : F2x_gcd(GEN a, GEN b)
971 : {
972 3600269 : pari_sp av = avma;
973 3600269 : if (lg(b) > lg(a)) swap(a, b);
974 22900983 : while (lgpol(b))
975 : {
976 18995684 : GEN c = F2x_rem(a,b);
977 19300714 : a = b; b = c;
978 19300714 : if (gc_needed(av,2))
979 : {
980 0 : if (DEBUGMEM>1) pari_warn(warnmem,"F2x_gcd (d = %ld)",F2x_degree(c));
981 0 : gerepileall(av,2, &a,&b);
982 : }
983 : }
984 3580965 : if (gc_needed(av,2)) a = gerepileuptoleaf(av, a);
985 3580965 : return a;
986 : }
987 :
988 : GEN
989 2058599 : F2x_extgcd(GEN a, GEN b, GEN *ptu, GEN *ptv)
990 : {
991 2058599 : pari_sp av=avma;
992 : GEN u,v,d,d1,v1;
993 2058599 : long vx = a[1];
994 2058599 : d = a; d1 = b;
995 2058599 : v = pol0_F2x(vx); v1 = pol1_F2x(vx);
996 13962331 : while (lgpol(d1))
997 : {
998 11903730 : GEN r, q = F2x_divrem(d,d1, &r);
999 11903720 : v = F2x_add(v,F2x_mul(q,v1));
1000 11903729 : u=v; v=v1; v1=u;
1001 11903729 : u=r; d=d1; d1=u;
1002 11903729 : if (gc_needed(av,2))
1003 : {
1004 0 : if (DEBUGMEM>1) pari_warn(warnmem,"F2x_extgcd (d = %ld)",F2x_degree(d));
1005 0 : gerepileall(av,5, &d,&d1,&u,&v,&v1);
1006 : }
1007 : }
1008 2058593 : if (ptu) *ptu = F2x_div(F2x_add(d, F2x_mul(b,v)), a);
1009 2058593 : *ptv = v;
1010 2058593 : if (gc_needed(av,2)) gerepileall(av,ptu?3:2,&d,ptv,ptu);
1011 2058599 : return d;
1012 : }
1013 :
1014 : static GEN
1015 520 : F2x_halfgcd_i(GEN a, GEN b)
1016 : {
1017 520 : pari_sp av=avma;
1018 : GEN u,u1,v,v1;
1019 520 : long vx = a[1];
1020 520 : long n = (F2x_degree(a)+1)>>1;
1021 520 : u1 = v = pol0_F2x(vx);
1022 520 : u = v1 = pol1_F2x(vx);
1023 8535 : while (F2x_degree(b)>=n)
1024 : {
1025 8015 : GEN r, q = F2x_divrem(a,b, &r);
1026 8015 : a = b; b = r; swap(u,u1); swap(v,v1);
1027 8015 : u1 = F2x_add(u1, F2x_mul(u, q));
1028 8015 : v1 = F2x_add(v1, F2x_mul(v, q));
1029 8015 : if (gc_needed(av,2))
1030 : {
1031 0 : if (DEBUGMEM>1) pari_warn(warnmem,"F2x_halfgcd (d = %ld)",F2x_degree(b));
1032 0 : gerepileall(av,6, &a,&b,&u1,&v1,&u,&v);
1033 : }
1034 : }
1035 520 : return gerepilecopy(av, mkmat22(u,v,u1,v1));
1036 : }
1037 :
1038 : GEN
1039 520 : F2x_halfgcd(GEN x, GEN y)
1040 : {
1041 : pari_sp av;
1042 : GEN M,q,r;
1043 520 : if (F2x_degree(y)<F2x_degree(x)) return F2x_halfgcd_i(x,y);
1044 520 : av = avma;
1045 520 : q = F2x_divrem(y,x,&r);
1046 520 : M = F2x_halfgcd_i(x,r);
1047 520 : gcoeff(M,1,1) = F2x_add(gcoeff(M,1,1), F2x_mul(q, gcoeff(M,1,2)));
1048 520 : gcoeff(M,2,1) = F2x_add(gcoeff(M,2,1), F2x_mul(q, gcoeff(M,2,2)));
1049 520 : return gerepilecopy(av, M);
1050 : }
1051 :
1052 : GEN
1053 10056266 : F2xq_mul(GEN x,GEN y,GEN pol)
1054 : {
1055 10056266 : GEN z = F2x_mul(x,y);
1056 10056745 : return F2x_rem(z,pol);
1057 : }
1058 :
1059 : GEN
1060 8643941 : F2xq_sqr(GEN x,GEN pol)
1061 : {
1062 8643941 : GEN z = F2x_sqr(x);
1063 8668594 : return F2x_rem(z,pol);
1064 : }
1065 :
1066 : GEN
1067 2058599 : F2xq_invsafe(GEN x, GEN T)
1068 : {
1069 2058599 : GEN V, z = F2x_extgcd(get_F2x_mod(T), x, NULL, &V);
1070 2058599 : if (F2x_degree(z)) return NULL;
1071 2058528 : return V;
1072 : }
1073 :
1074 : GEN
1075 2058592 : F2xq_inv(GEN x,GEN T)
1076 : {
1077 2058592 : pari_sp av=avma;
1078 2058592 : GEN U = F2xq_invsafe(x, T);
1079 2058592 : if (!U) pari_err_INV("F2xq_inv", F2x_to_ZX(x));
1080 2058522 : return gerepileuptoleaf(av, U);
1081 : }
1082 :
1083 : GEN
1084 575609 : F2xq_div(GEN x,GEN y,GEN T)
1085 : {
1086 575609 : pari_sp av = avma;
1087 575609 : return gerepileuptoleaf(av, F2xq_mul(x,F2xq_inv(y,T),T));
1088 : }
1089 :
1090 : static GEN
1091 584101 : _F2xq_red(void *E, GEN x) { return F2x_rem(x, (GEN)E); }
1092 : static GEN
1093 1706879 : _F2xq_add(void *E, GEN x, GEN y) { (void)E; return F2x_add(x,y); }
1094 :
1095 : static GEN
1096 2095387 : _F2xq_cmul(void *E, GEN P, long a, GEN x)
1097 : {
1098 2095387 : GEN pol = (GEN) E;
1099 2095387 : return F2x_coeff(P,a) ? x: pol0_F2x(pol[1]);
1100 : }
1101 : static GEN
1102 1208553 : _F2xq_sqr(void *E, GEN x) { return F2xq_sqr(x, (GEN) E); }
1103 : static GEN
1104 2186387 : _F2xq_mul(void *E, GEN x, GEN y) { return F2xq_mul(x,y, (GEN) E); }
1105 :
1106 : static GEN
1107 929227 : _F2xq_one(void *E)
1108 : {
1109 929227 : GEN pol = (GEN) E;
1110 929227 : return pol1_F2x(pol[1]);
1111 : }
1112 : static GEN
1113 259959 : _F2xq_zero(void *E)
1114 : {
1115 259959 : GEN pol = (GEN) E;
1116 259959 : return pol0_F2x(pol[1]);
1117 : }
1118 :
1119 : GEN
1120 2434145 : F2xq_pow(GEN x, GEN n, GEN pol)
1121 : {
1122 2434145 : pari_sp av=avma;
1123 : GEN y;
1124 :
1125 2434145 : if (!signe(n)) return pol1_F2x(x[1]);
1126 2427929 : if (is_pm1(n)) /* +/- 1 */
1127 1838632 : return (signe(n) < 0)? F2xq_inv(x,pol): F2x_copy(x);
1128 :
1129 589302 : if (signe(n) < 0) x = F2xq_inv(x,pol);
1130 589302 : y = gen_pow_i(x, n, (void*)pol, &_F2xq_sqr, &_F2xq_mul);
1131 589305 : return gerepilecopy(av, y);
1132 : }
1133 :
1134 : GEN
1135 49 : F2xq_powu(GEN x, ulong n, GEN pol)
1136 : {
1137 49 : pari_sp av=avma;
1138 : GEN y;
1139 49 : switch(n)
1140 : {
1141 0 : case 0: return pol1_F2x(x[1]);
1142 7 : case 1: return F2x_copy(x);
1143 14 : case 2: return F2xq_sqr(x,pol);
1144 : }
1145 28 : y = gen_powu_i(x, n, (void*)pol, &_F2xq_sqr, &_F2xq_mul);
1146 28 : return gerepilecopy(av, y);
1147 : }
1148 :
1149 : GEN
1150 14 : F2xq_pow_init(GEN x, GEN n, long k, GEN T)
1151 : {
1152 14 : return gen_pow_init(x, n, k, (void*)T, &_F2xq_sqr, &_F2xq_mul);
1153 : }
1154 :
1155 : GEN
1156 5244 : F2xq_pow_table(GEN R, GEN n, GEN T)
1157 : {
1158 5244 : return gen_pow_table(R, n, (void*)T, &_F2xq_one, &_F2xq_mul);
1159 : }
1160 :
1161 : /* generates the list of powers of x of degree 0,1,2,...,l*/
1162 : GEN
1163 365667 : F2xq_powers(GEN x, long l, GEN T)
1164 : {
1165 365667 : int use_sqr = 2*F2x_degree(x) >= get_F2x_degree(T);
1166 365667 : return gen_powers(x, l, use_sqr, (void*)T, &_F2xq_sqr, &_F2xq_mul, &_F2xq_one);
1167 : }
1168 :
1169 : GEN
1170 235964 : F2xq_matrix_pow(GEN y, long n, long m, GEN P)
1171 : {
1172 235964 : return F2xV_to_F2m(F2xq_powers(y,m-1,P),n);
1173 : }
1174 :
1175 : GEN
1176 595691 : F2x_Frobenius(GEN T)
1177 : {
1178 595691 : return F2xq_sqr(polx_F2x(get_F2x_var(T)), T);
1179 : }
1180 :
1181 : GEN
1182 235965 : F2x_matFrobenius(GEN T)
1183 : {
1184 235965 : long n = get_F2x_degree(T);
1185 235965 : return F2xq_matrix_pow(F2x_Frobenius(T), n, n, T);
1186 : }
1187 :
1188 : static struct bb_algebra F2xq_algebra = { _F2xq_red, _F2xq_add, _F2xq_add,
1189 : _F2xq_mul, _F2xq_sqr, _F2xq_one, _F2xq_zero};
1190 :
1191 : GEN
1192 611975 : F2x_F2xqV_eval(GEN Q, GEN x, GEN T)
1193 : {
1194 611975 : long d = F2x_degree(Q);
1195 611975 : return gen_bkeval_powers(Q,d,x,(void*)T,&F2xq_algebra,_F2xq_cmul);
1196 : }
1197 :
1198 : GEN
1199 44952 : F2x_F2xq_eval(GEN Q, GEN x, GEN T)
1200 : {
1201 44952 : long d = F2x_degree(Q);
1202 44954 : int use_sqr = 2*F2x_degree(x) >= get_F2x_degree(T);
1203 44954 : return gen_bkeval(Q, d, x, use_sqr, (void*)T, &F2xq_algebra, _F2xq_cmul);
1204 : }
1205 :
1206 : static GEN
1207 29460 : F2xq_autpow_sqr(void * T, GEN x) { return F2x_F2xq_eval(x, x, (GEN) T); }
1208 :
1209 : static GEN
1210 14763 : F2xq_autpow_mul(void * T, GEN x, GEN y) { return F2x_F2xq_eval(x, y, (GEN) T); }
1211 :
1212 : GEN
1213 19311 : F2xq_autpow(GEN x, long n, GEN T)
1214 : {
1215 19311 : if (n==0) return F2x_rem(polx_F2x(x[1]), T);
1216 19311 : if (n==1) return F2x_rem(x, T);
1217 19311 : return gen_powu(x,n,(void*)T,F2xq_autpow_sqr,F2xq_autpow_mul);
1218 : }
1219 :
1220 : ulong
1221 458548 : F2xq_trace(GEN x, GEN T)
1222 : {
1223 458548 : pari_sp av = avma;
1224 458548 : long n = get_F2x_degree(T)-1;
1225 458548 : GEN z = F2xq_mul(x, F2x_deriv(get_F2x_mod(T)), T);
1226 458548 : return gc_ulong(av, F2x_degree(z) < n ? 0 : 1);
1227 : }
1228 :
1229 : GEN
1230 7 : F2xq_conjvec(GEN x, GEN T)
1231 : {
1232 7 : long i, l = 1+get_F2x_degree(T);
1233 7 : GEN z = cgetg(l,t_COL);
1234 7 : gel(z,1) = F2x_copy(x);
1235 140 : for (i=2; i<l; i++) gel(z,i) = F2xq_sqr(gel(z,i-1), T);
1236 7 : return z;
1237 : }
1238 :
1239 : static GEN
1240 2390860 : _F2xq_pow(void *data, GEN x, GEN n)
1241 : {
1242 2390860 : GEN pol = (GEN) data;
1243 2390860 : return F2xq_pow(x,n, pol);
1244 : }
1245 :
1246 : static GEN
1247 9107 : _F2xq_rand(void *data)
1248 : {
1249 9107 : pari_sp av=avma;
1250 9107 : GEN pol = (GEN) data;
1251 9107 : long d = F2x_degree(pol);
1252 : GEN z;
1253 : do
1254 : {
1255 9254 : set_avma(av);
1256 9254 : z = random_F2x(d,pol[1]);
1257 9254 : } while (lgpol(z)==0);
1258 9107 : return z;
1259 : }
1260 :
1261 : static GEN F2xq_easylog(void* E, GEN a, GEN g, GEN ord);
1262 :
1263 : static const struct bb_group F2xq_star={_F2xq_mul,_F2xq_pow,_F2xq_rand,hash_GEN,F2x_equal,F2x_equal1,F2xq_easylog};
1264 :
1265 : GEN
1266 378 : F2xq_order(GEN a, GEN ord, GEN T)
1267 : {
1268 378 : return gen_order(a,ord,(void*)T,&F2xq_star);
1269 : }
1270 :
1271 : static long
1272 269076 : F2x_is_smooth_squarefree(GEN f, long r)
1273 : {
1274 269076 : pari_sp av = avma;
1275 269076 : long i, df = F2x_degree(f);
1276 : GEN sx, a;
1277 268974 : if (!df) return 1;
1278 263915 : a = sx = polx_F2x(f[1]);
1279 263983 : for(i = 1;; i++)
1280 2196110 : {
1281 : long dg;
1282 : GEN g;
1283 2460093 : a = F2xq_sqr(a, f);
1284 2453253 : if (F2x_equal(a, sx)) return gc_long(av,1);
1285 2388696 : if (i==r) return gc_long(av,0);
1286 2215859 : g = F2x_gcd(f, F2x_add(a,sx));
1287 2217209 : dg = F2x_degree(g);
1288 2219444 : if (dg == df) return gc_long(av,1);
1289 2197046 : if (dg) { f = F2x_div(f, g); df -= dg; a = F2x_rem(a, f); }
1290 : }
1291 : }
1292 :
1293 : static long
1294 232300 : F2x_is_smooth(GEN g, long r)
1295 : {
1296 232300 : if (lgpol(g)==0) return 0;
1297 : while (1)
1298 36945 : {
1299 269206 : GEN f = F2x_gcd(g, F2x_deriv(g));
1300 268987 : if (!F2x_is_smooth_squarefree(F2x_div(g, f), r)) return 0;
1301 96373 : if (F2x_degree(f)==0) return 1;
1302 36897 : g = F2x_issquare(f) ? F2x_sqrt(f): f;
1303 : }
1304 : }
1305 :
1306 : static GEN
1307 15249 : F2x_factorel(GEN h)
1308 : {
1309 15249 : GEN F = F2x_factor(h);
1310 15251 : GEN F1 = gel(F, 1), F2 = gel(F, 2);
1311 15251 : long i, l1 = lg(F1)-1;
1312 15251 : GEN p2 = cgetg(l1+1, t_VECSMALL);
1313 15250 : GEN e2 = cgetg(l1+1, t_VECSMALL);
1314 71402 : for (i = 1; i <= l1; ++i)
1315 : {
1316 56151 : p2[i] = mael(F1, i, 2);
1317 56151 : e2[i] = F2[i];
1318 : }
1319 15251 : return mkmat2(p2, e2);
1320 : }
1321 :
1322 : static GEN
1323 27129 : mkF2(ulong x, long v) { return mkvecsmall2(v, x); }
1324 :
1325 : static GEN F2xq_log_Coppersmith_d(GEN W, GEN g, long r, long n, GEN T, GEN mo);
1326 :
1327 : static GEN
1328 78 : F2xq_log_from_rel(GEN W, GEN rel, long r, long n, GEN T, GEN m)
1329 : {
1330 78 : pari_sp av = avma;
1331 78 : long vT = get_F2x_var(T);
1332 78 : GEN F = gel(rel,1), E = gel(rel,2), o = gen_0;
1333 78 : long i, l = lg(F);
1334 644 : for(i=1; i<l; i++)
1335 : {
1336 566 : GEN R = gel(W, F[i]);
1337 566 : if (signe(R)==0) /* Already failed */
1338 0 : return NULL;
1339 566 : else if (signe(R)<0) /* Not yet tested */
1340 : {
1341 14 : setsigne(gel(W,F[i]),0);
1342 14 : R = F2xq_log_Coppersmith_d(W, mkF2(F[i],vT), r, n, T, m);
1343 14 : if (!R) return NULL;
1344 : }
1345 566 : o = Fp_add(o, mulis(R, E[i]), m);
1346 : }
1347 78 : return gerepileuptoint(av, o);
1348 : }
1349 :
1350 : static GEN
1351 92 : F2xq_log_Coppersmith_d(GEN W, GEN g, long r, long n, GEN T, GEN mo)
1352 : {
1353 92 : pari_sp av = avma, av2;
1354 92 : long dT = get_F2x_degree(T), vT = get_F2x_var(T);
1355 92 : long dg = F2x_degree(g), k = r-1, m = maxss((dg-k)/2,0);
1356 92 : long i, j, l = dg-m, N;
1357 92 : GEN v = cgetg(k+m+1,t_MAT);
1358 92 : long h = dT>>n, d = dT-(h<<n);
1359 92 : GEN p1 = pol1_F2x(vT);
1360 92 : GEN R = F2x_add(F2x_shift(p1, dT), T);
1361 92 : GEN z = F2x_rem(F2x_shift(p1, h), g);
1362 1141 : for(i=1; i<=k+m; i++)
1363 : {
1364 1049 : gel(v,i) = F2x_to_F2v(F2x_shift(z,-l),m);
1365 1049 : z = F2x_rem(F2x_shift(z,1),g);
1366 : }
1367 92 : v = F2m_ker(v);
1368 1012 : for(i=1; i<=k; i++)
1369 920 : gel(v,i) = F2v_to_F2x(gel(v,i),vT);
1370 92 : N = 1<<k;
1371 92 : av2 = avma;
1372 25640 : for (i=1; i<N; i++)
1373 : {
1374 : GEN p,q,qh,a,b;
1375 25626 : set_avma(av2);
1376 25626 : q = pol0_F2x(vT);
1377 281886 : for(j=0; j<k; j++)
1378 256260 : if (i&(1UL<<j))
1379 115164 : q = F2x_add(q, gel(v,j+1));
1380 25626 : qh= F2x_shift(q,h);
1381 25626 : p = F2x_rem(qh,g);
1382 25626 : b = F2x_add(F2x_mul(R, F2x_pow2n(q, n)), F2x_shift(F2x_pow2n(p, n), d));
1383 25626 : if (lgpol(b)==0 || !F2x_is_smooth(b, r)) continue;
1384 78 : a = F2x_div(F2x_add(qh,p),g);
1385 78 : if (F2x_degree(F2x_gcd(a,q)) && F2x_degree(F2x_gcd(a,p))) continue;
1386 78 : if (!(lgpol(a)==0 || !F2x_is_smooth(a, r)))
1387 : {
1388 78 : GEN F = F2x_factorel(b);
1389 78 : GEN G = F2x_factorel(a);
1390 78 : GEN FG = vecsmall_concat(vecsmall_append(gel(F, 1), 2), gel(G, 1));
1391 78 : GEN E = vecsmall_concat(vecsmall_append(gel(F, 2), -d),
1392 78 : zv_z_mul(gel(G, 2),-(1L<<n)));
1393 78 : GEN R = famatsmall_reduce(mkmat2(FG, E));
1394 78 : GEN l = F2xq_log_from_rel(W, R, r, n, T, mo);
1395 78 : if (!l) continue;
1396 78 : l = Fp_div(l,int2n(n),mo);
1397 78 : if (dg <= r)
1398 : {
1399 14 : affii(l,gel(W,g[2]));
1400 14 : if (DEBUGLEVEL>1) err_printf("Found %lu\n", g[2]);
1401 : }
1402 78 : return gerepileuptoint(av, l);
1403 : }
1404 : }
1405 14 : return gc_NULL(av);
1406 : }
1407 :
1408 : static GEN
1409 63 : F2xq_log_find_rel(GEN b, long r, GEN T, GEN *g, ulong *e)
1410 : {
1411 63 : pari_sp av = avma;
1412 : while (1)
1413 457 : {
1414 : GEN M;
1415 520 : *g = F2xq_mul(*g, b, T); (*e)++;
1416 520 : M = F2x_halfgcd(*g,T);
1417 520 : if (F2x_is_smooth(gcoeff(M,1,1), r))
1418 : {
1419 183 : GEN z = F2x_add(F2x_mul(gcoeff(M,1,1),*g), F2x_mul(gcoeff(M,1,2),T));
1420 183 : if (F2x_is_smooth(z, r))
1421 : {
1422 63 : GEN F = F2x_factorel(z);
1423 63 : GEN G = F2x_factorel(gcoeff(M,1,1));
1424 63 : GEN rel = mkmat2(vecsmall_concat(gel(F, 1),gel(G, 1)),
1425 63 : vecsmall_concat(gel(F, 2),zv_neg(gel(G, 2))));
1426 63 : return gc_all(av, 2, &rel, g);
1427 : }
1428 : }
1429 457 : if (gc_needed(av,2))
1430 : {
1431 0 : if (DEBUGMEM>1) pari_warn(warnmem,"F2xq_log_find_rel");
1432 0 : *g = gerepileuptoleaf(av, *g);
1433 : }
1434 : }
1435 : }
1436 :
1437 : static GEN
1438 28 : F2xq_log_Coppersmith_rec(GEN W, long r2, GEN a, long r, long n, GEN T, GEN m)
1439 : {
1440 28 : long vT = get_F2x_var(T);
1441 28 : GEN b = polx_F2x(vT);
1442 28 : ulong AV = 0;
1443 28 : GEN g = a, bad = pol0_F2x(vT);
1444 : pari_timer ti;
1445 : while(1)
1446 35 : {
1447 : long i, l;
1448 : GEN V, F, E, Ao;
1449 63 : timer_start(&ti);
1450 63 : V = F2xq_log_find_rel(b, r2, T, &g, &AV);
1451 63 : if (DEBUGLEVEL>1) timer_printf(&ti,"%ld-smooth element",r2);
1452 63 : F = gel(V,1); E = gel(V,2);
1453 63 : l = lg(F);
1454 63 : Ao = gen_0;
1455 474 : for(i=1; i<l; i++)
1456 : {
1457 446 : GEN Fi = mkF2(F[i], vT);
1458 : GEN R;
1459 446 : if (F2x_degree(Fi) <= r)
1460 : {
1461 347 : if (signe(gel(W,F[i]))==0)
1462 0 : break;
1463 347 : else if (signe(gel(W,F[i]))<0)
1464 : {
1465 0 : setsigne(gel(W,F[i]),0);
1466 0 : R = F2xq_log_Coppersmith_d(W,Fi,r,n,T,m);
1467 : } else
1468 347 : R = gel(W,F[i]);
1469 : }
1470 : else
1471 : {
1472 99 : if (F2x_equal(Fi,bad)) break;
1473 78 : R = F2xq_log_Coppersmith_d(W,Fi,r,n,T,m);
1474 78 : if (!R) bad = Fi;
1475 : }
1476 425 : if (!R) break;
1477 411 : Ao = Fp_add(Ao, mulis(R, E[i]), m);
1478 : }
1479 63 : if (i==l) return subiu(Ao,AV);
1480 : }
1481 : }
1482 :
1483 : /* Coppersmith:
1484 : T*X^e = X^(h*2^n)-R
1485 : (u*x^h + v)^(2^n) = u^(2^n)*X^(h*2^n)+v^(2^n)
1486 : (u*x^h + v)^(2^n) = u^(2^n)*R+v^(2^n)
1487 : */
1488 :
1489 : static GEN
1490 154397 : rel_Coppersmith(GEN u, GEN v, long h, GEN R, long r, long n, long d)
1491 : {
1492 : GEN b, F, G, M;
1493 154397 : GEN a = F2x_add(F2x_shift(u, h), v);
1494 154388 : if (!F2x_is_smooth(a, r)) return NULL;
1495 51583 : b = F2x_add(F2x_mul(R, F2x_pow2n(u, n)), F2x_shift(F2x_pow2n(v, n),d));
1496 51593 : if (!F2x_is_smooth(b, r)) return NULL;
1497 7483 : F = F2x_factorel(a);
1498 7485 : G = F2x_factorel(b);
1499 14969 : M = mkmat2(vecsmall_concat(gel(F, 1), vecsmall_append(gel(G, 1), 2)),
1500 14968 : vecsmall_concat(zv_z_mul(gel(F, 2),1UL<<n), vecsmall_append(zv_neg(gel(G, 2)),d)));
1501 7485 : return famatsmall_reduce(M);
1502 : }
1503 :
1504 : GEN
1505 2108 : F2xq_log_Coppersmith_worker(GEN u, long i, GEN V, GEN R)
1506 : {
1507 2108 : long r = V[1], h = V[2], n = V[3], d = V[4];
1508 2108 : pari_sp ltop = avma;
1509 2108 : GEN v = mkF2(0,u[1]);
1510 2104 : GEN L = cgetg(2*i+1, t_VEC);
1511 2112 : pari_sp av = avma;
1512 : long j;
1513 2112 : long nbtest=0, rel = 1;
1514 154975 : for(j=1; j<=i; j++)
1515 : {
1516 152857 : v[2] = j;
1517 152857 : set_avma(av);
1518 152846 : if (F2x_degree(F2x_gcd(u,v))==0)
1519 : {
1520 77215 : GEN z = rel_Coppersmith(u, v, h, R, r, n, d);
1521 77256 : nbtest++;
1522 77256 : if (z) { gel(L, rel++) = z; av = avma; }
1523 77256 : if (i==j) continue;
1524 77242 : z = rel_Coppersmith(v, u, h, R, r, n, d);
1525 77245 : nbtest++;
1526 77245 : if (z) { gel(L, rel++) = z; av = avma; }
1527 : }
1528 : }
1529 2118 : setlg(L,rel);
1530 2118 : return gerepilecopy(ltop, mkvec2(stoi(nbtest), L));
1531 : }
1532 :
1533 : static GEN
1534 14 : F2xq_log_Coppersmith(long nbrel, long r, long n, GEN T)
1535 : {
1536 14 : long dT = get_F2x_degree(T), vT = get_F2x_var(T);
1537 14 : long h = dT>>n, d = dT-(h<<n);
1538 14 : GEN R = F2x_add(F2x_shift(pol1_F2x(vT), dT), T);
1539 14 : GEN u = mkF2(0,vT);
1540 14 : long rel = 1, nbtest = 0;
1541 14 : GEN M = cgetg(nbrel+1, t_VEC);
1542 14 : long i = 0;
1543 14 : GEN worker = snm_closure(is_entry("_F2xq_log_Coppersmith_worker"),
1544 : mkvec2(mkvecsmall4(r, h, n, d), R));
1545 : struct pari_mt pt;
1546 14 : long running, pending = 0, stop=0;
1547 14 : mt_queue_start(&pt, worker);
1548 14 : if (DEBUGLEVEL) err_printf("Coppersmith (R = %ld): ",F2x_degree(R));
1549 2194 : while ((running = !stop) || pending)
1550 : {
1551 : GEN L, done;
1552 : long j, l;
1553 2180 : u[2] = i;
1554 2180 : mt_queue_submit(&pt, 0, running ? mkvec2(u, stoi(i)): NULL);
1555 2180 : done = mt_queue_get(&pt, NULL, &pending);
1556 2180 : if (!done) continue;
1557 2118 : L = gel(done, 2); nbtest += itos(gel(done,1));
1558 2118 : l = lg(L);
1559 2118 : if (l > 1)
1560 : {
1561 9152 : for (j=1; j<l; j++)
1562 : {
1563 7276 : if (rel>nbrel) break;
1564 7210 : gel(M,rel++) = gel(L,j);
1565 7210 : if (DEBUGLEVEL && (rel&511UL)==0)
1566 0 : err_printf("%ld%%[%ld] ",rel*100/nbrel,i);
1567 : }
1568 : }
1569 2118 : if (rel>nbrel) stop=1;
1570 2118 : i++;
1571 : }
1572 14 : mt_queue_end(&pt);
1573 14 : if (DEBUGLEVEL) err_printf(": %ld tests\n", nbtest);
1574 14 : return M;
1575 : }
1576 :
1577 : static GEN
1578 14 : smallirred_F2x(ulong n, long sv)
1579 : {
1580 14 : GEN a = zero_zv(nbits2lg(n+1)-1);
1581 14 : a[1] = sv; F2x_set(a,n); a[2]++;
1582 238 : while (!F2x_is_irred(a)) a[2]+=2;
1583 14 : return a;
1584 : }
1585 :
1586 : static GEN
1587 14 : check_kernel(long N, GEN M, long nbi, GEN T, GEN m)
1588 : {
1589 14 : pari_sp av = avma;
1590 14 : long dT = get_F2x_degree(T), vT = get_F2x_var(T);
1591 14 : GEN K = FpMs_leftkernel_elt(M, N, m);
1592 14 : long i, f=0, tbs;
1593 14 : long l = lg(K), lm = lgefint(m);
1594 14 : GEN idx = diviiexact(int2um1(dT), m);
1595 14 : GEN g = F2xq_pow(polx_F2x(vT), idx, T);
1596 : GEN tab;
1597 : pari_timer ti;
1598 14 : if (DEBUGLEVEL) timer_start(&ti);
1599 14 : K = FpC_Fp_mul(K, Fp_inv(gel(K,2), m), m);
1600 14 : tbs = maxss(1, expu(nbi/expi(m)));
1601 14 : tab = F2xq_pow_init(g, int2n(dT), tbs, T);
1602 57344 : for(i=1; i<l; i++)
1603 : {
1604 57330 : GEN k = gel(K,i);
1605 57330 : if (signe(k)==0 || !F2x_equal(F2xq_pow_table(tab, k, T),
1606 : F2xq_pow(mkF2(i,vT), idx, T)))
1607 52086 : gel(K,i) = cgetineg(lm);
1608 : else
1609 5244 : f++;
1610 : }
1611 14 : if (DEBUGLEVEL) timer_printf(&ti,"found %ld/%ld logs", f, nbi);
1612 14 : return gerepileupto(av, K);
1613 : }
1614 :
1615 : static GEN
1616 14 : F2xq_log_index(GEN a0, GEN b0, GEN m, GEN T0)
1617 : {
1618 14 : pari_sp av = avma;
1619 14 : GEN M, S, a, b, Ao=NULL, Bo=NULL, W, e;
1620 : pari_timer ti;
1621 14 : long n = F2x_degree(T0), r = (long) (sqrt((double) 2*n))-(n>100);
1622 14 : GEN T = smallirred_F2x(n,T0[1]);
1623 14 : long d = 2, r2 = 3*r/2, d2 = 2;
1624 14 : long N = (1UL<<(r+1))-1UL;
1625 14 : long nbi = itos(ffsumnbirred(gen_2, r)), nbrel=nbi*5/4;
1626 14 : if (DEBUGLEVEL)
1627 : {
1628 0 : err_printf("F2xq_log: Parameters r=%ld r2=%ld\n", r,r2);
1629 0 : err_printf("F2xq_log: Size FB=%ld rel. needed=%ld\n", nbi, nbrel);
1630 0 : timer_start(&ti);
1631 : }
1632 14 : S = Flx_to_F2x(Flx_ffisom(F2x_to_Flx(T0),F2x_to_Flx(T),2));
1633 14 : a = F2x_F2xq_eval(a0, S, T);
1634 14 : b = F2x_F2xq_eval(b0, S, T);
1635 14 : if (DEBUGLEVEL) timer_printf(&ti,"model change");
1636 14 : M = F2xq_log_Coppersmith(nbrel,r,d,T);
1637 14 : if(DEBUGLEVEL)
1638 0 : timer_printf(&ti,"relations");
1639 14 : W = check_kernel(N, M, nbi, T, m);
1640 14 : timer_start(&ti);
1641 14 : Ao = F2xq_log_Coppersmith_rec(W, r2, a, r, d2, T, m);
1642 14 : if (DEBUGLEVEL) timer_printf(&ti,"smooth element");
1643 14 : Bo = F2xq_log_Coppersmith_rec(W, r2, b, r, d2, T, m);
1644 14 : if (DEBUGLEVEL) timer_printf(&ti,"smooth generator");
1645 14 : e = Fp_div(Ao, Bo, m);
1646 14 : if (!F2x_equal(F2xq_pow(b0,e,T0),a0)) pari_err_BUG("F2xq_log");
1647 14 : return gerepileupto(av, e);
1648 : }
1649 :
1650 : static GEN
1651 559145 : F2xq_easylog(void* E, GEN a, GEN g, GEN ord)
1652 : {
1653 559145 : if (F2x_equal1(a)) return gen_0;
1654 524039 : if (F2x_equal(a,g)) return gen_1;
1655 523171 : if (typ(ord)!=t_INT) return NULL;
1656 261932 : if (expi(ord)<28) return NULL;
1657 14 : return F2xq_log_index(a,g,ord,(GEN)E);
1658 : }
1659 :
1660 : GEN
1661 543624 : F2xq_log(GEN a, GEN g, GEN ord, GEN T)
1662 : {
1663 543624 : GEN z, v = get_arith_ZZM(ord);
1664 543624 : ord = mkvec2(gel(v,1),ZM_famat_limit(gel(v,2),int2n(28)));
1665 543624 : z = gen_PH_log(a,g,ord,(void*)T,&F2xq_star);
1666 543623 : return z? z: cgetg(1,t_VEC);
1667 : }
1668 :
1669 : GEN
1670 212786 : F2xq_Artin_Schreier(GEN a, GEN T)
1671 : {
1672 212786 : pari_sp ltop=avma;
1673 212786 : long j,N = get_F2x_degree(T), vT = get_F2x_var(T);
1674 212786 : GEN Q = F2x_matFrobenius(T);
1675 1477231 : for (j=1; j<=N; j++)
1676 1264445 : F2m_flip(Q,j,j);
1677 212786 : F2v_add_inplace(gel(Q,1),a);
1678 212786 : Q = F2m_ker_sp(Q,0);
1679 212786 : if (lg(Q)!=2) return NULL;
1680 212786 : Q = gel(Q,1);
1681 212786 : Q[1] = vT;
1682 212786 : return gerepileuptoleaf(ltop, F2x_renormalize(Q, lg(Q)));
1683 : }
1684 :
1685 : GEN
1686 62420 : F2xq_sqrt_fast(GEN c, GEN sqx, GEN T)
1687 : {
1688 : GEN c0, c1;
1689 62420 : F2x_even_odd(c, &c0, &c1);
1690 62425 : return F2x_add(c0, F2xq_mul(c1, sqx, T));
1691 : }
1692 :
1693 : static int
1694 19305 : F2x_is_x(GEN a) { return lg(a)==3 && a[2]==2; }
1695 :
1696 : GEN
1697 38771 : F2xq_sqrt(GEN a, GEN T)
1698 : {
1699 38771 : pari_sp av = avma;
1700 38771 : long n = get_F2x_degree(T), vT = get_F2x_var(T);
1701 : GEN sqx;
1702 38771 : if (n==1) return F2x_copy(a);
1703 38694 : if (n==2) return F2xq_sqr(a,T);
1704 19304 : sqx = F2xq_autpow(mkF2(4, vT), n-1, T);
1705 19305 : return gerepileuptoleaf(av, F2x_is_x(a)? sqx: F2xq_sqrt_fast(a,sqx,T));
1706 : }
1707 :
1708 : GEN
1709 7021 : F2xq_sqrtn(GEN a, GEN n, GEN T, GEN *zeta)
1710 : {
1711 7021 : long dT = get_F2x_degree(T), vT = get_F2x_var(T);
1712 7021 : if (!lgpol(a))
1713 : {
1714 7 : if (signe(n) < 0) pari_err_INV("F2xq_sqrtn",a);
1715 0 : if (zeta)
1716 0 : *zeta=pol1_F2x(vT);
1717 0 : return pol0_F2x(vT);
1718 : }
1719 7014 : return gen_Shanks_sqrtn(a, n, int2um1(dT), zeta, (void*)T, &F2xq_star);
1720 : }
1721 :
1722 : GEN
1723 154 : gener_F2xq(GEN T, GEN *po)
1724 : {
1725 154 : long i, j, vT = get_F2x_var(T), f = get_F2x_degree(T);
1726 154 : pari_sp av0 = avma, av;
1727 : GEN g, L2, o, q;
1728 :
1729 154 : if (f == 1) {
1730 21 : if (po) *po = mkvec2(gen_1, trivial_fact());
1731 21 : return pol1_F2x(vT);
1732 : }
1733 133 : q = int2um1(f);
1734 133 : o = factor_pn_1(gen_2,f);
1735 133 : L2 = leafcopy( gel(o, 1) );
1736 385 : for (i = j = 1; i < lg(L2); i++)
1737 : {
1738 252 : if (absequaliu(gel(L2,i),2)) continue;
1739 252 : gel(L2,j++) = diviiexact(q, gel(L2,i));
1740 : }
1741 133 : setlg(L2, j);
1742 196 : for (av = avma;; set_avma(av))
1743 : {
1744 196 : g = random_F2x(f, vT);
1745 196 : if (F2x_degree(g) < 1) continue;
1746 448 : for (i = 1; i < j; i++)
1747 : {
1748 315 : GEN a = F2xq_pow(g, gel(L2,i), T);
1749 315 : if (F2x_equal1(a)) break;
1750 : }
1751 182 : if (i == j) break;
1752 : }
1753 133 : if (!po) g = gerepilecopy(av0, g);
1754 : else {
1755 0 : *po = mkvec2(int2um1(f), o);
1756 0 : gerepileall(av0, 2, &g, po);
1757 : }
1758 133 : return g;
1759 : }
1760 :
1761 : static GEN
1762 798 : _F2xq_neg(void *E, GEN x) { (void) E; return F2x_copy(x); }
1763 : static GEN
1764 13748 : _F2xq_rmul(void *E, GEN x, GEN y) { (void) E; return F2x_mul(x,y); }
1765 : static GEN
1766 413 : _F2xq_inv(void *E, GEN x) { return F2xq_inv(x, (GEN) E); }
1767 : static int
1768 973 : _F2xq_equal0(GEN x) { return lgpol(x)==0; }
1769 : static GEN
1770 693 : _F2xq_s(void *E, long x)
1771 693 : { GEN T = (GEN) E;
1772 693 : long v = get_F2x_var(T);
1773 693 : return odd(x)? pol1_F2x(v): pol0_F2x(v);
1774 : }
1775 :
1776 : static const struct bb_field F2xq_field={_F2xq_red,_F2xq_add,_F2xq_rmul,_F2xq_neg,
1777 : _F2xq_inv,_F2xq_equal0,_F2xq_s};
1778 :
1779 1659 : const struct bb_field *get_F2xq_field(void **E, GEN T)
1780 : {
1781 1659 : *E = (void *) T;
1782 1659 : return &F2xq_field;
1783 : }
1784 :
1785 : /***********************************************************************/
1786 : /** **/
1787 : /** F2xV **/
1788 : /** **/
1789 : /***********************************************************************/
1790 : /* F2xV are t_VEC with F2x coefficients. */
1791 :
1792 : GEN
1793 38703 : FlxC_to_F2xC(GEN x) { pari_APPLY_type(t_COL, Flx_to_F2x(gel(x,i))) }
1794 : GEN
1795 0 : F2xC_to_FlxC(GEN x) { pari_APPLY_type(t_COL, F2x_to_Flx(gel(x,i))) }
1796 : GEN
1797 10738 : F2xC_to_ZXC(GEN x) { pari_APPLY_type(t_COL, F2x_to_ZX(gel(x,i))) }
1798 : GEN
1799 1797513 : F2xV_to_F2m(GEN x, long n) { pari_APPLY_type(t_MAT, F2x_to_F2v(gel(x,i), n)) }
1800 :
1801 : void
1802 30318 : F2xV_to_FlxV_inplace(GEN v)
1803 : {
1804 30318 : long i, l = lg(v);
1805 69622 : for(i = 1; i < l;i++) gel(v,i) = F2x_to_Flx(gel(v,i));
1806 30318 : }
1807 : void
1808 1379701 : F2xV_to_ZXV_inplace(GEN v)
1809 : {
1810 1379701 : long i, l = lg(v);
1811 2599499 : for(i = 1; i < l; i++) gel(v,i)= F2x_to_ZX(gel(v,i));
1812 1379736 : }
1813 :
1814 : /***********************************************************************/
1815 : /** **/
1816 : /** F2xX **/
1817 : /** **/
1818 : /***********************************************************************/
1819 :
1820 : GEN
1821 2715814 : F2xX_renormalize(GEN /*in place*/ x, long lx)
1822 2715814 : { return FlxX_renormalize(x, lx); }
1823 :
1824 : GEN
1825 448014 : pol1_F2xX(long v, long sv) { return pol1_FlxX(v, sv); }
1826 :
1827 : GEN
1828 532 : polx_F2xX(long v, long sv) { return polx_FlxX(v, sv); }
1829 :
1830 : long
1831 206990 : F2xY_degreex(GEN b)
1832 : {
1833 206990 : long deg = 0, i;
1834 206990 : if (!signe(b)) return -1;
1835 1343510 : for (i = 2; i < lg(b); ++i)
1836 1136520 : deg = maxss(deg, F2x_degree(gel(b, i)));
1837 206990 : return deg;
1838 : }
1839 :
1840 : GEN
1841 1029 : FlxX_to_F2xX(GEN B)
1842 : {
1843 1029 : long lb=lg(B);
1844 : long i;
1845 1029 : GEN b=cgetg(lb,t_POL);
1846 1029 : b[1]=evalsigne(1)|(((ulong)B[1])&VARNBITS);
1847 4970 : for (i=2; i<lb; i++)
1848 3941 : gel(b,i) = Flx_to_F2x(gel(B,i));
1849 1029 : return F2xX_renormalize(b, lb);
1850 : }
1851 :
1852 : GEN
1853 4907 : ZXX_to_F2xX(GEN B, long v)
1854 : {
1855 4907 : long lb=lg(B);
1856 : long i;
1857 4907 : GEN b=cgetg(lb,t_POL);
1858 4907 : b[1]=evalsigne(1)|(((ulong)B[1])&VARNBITS);
1859 23478 : for (i=2; i<lb; i++)
1860 18571 : switch (typ(gel(B,i)))
1861 : {
1862 8295 : case t_INT:
1863 8295 : gel(b,i) = Z_to_F2x(gel(B,i), evalvarn(v));
1864 8295 : break;
1865 10276 : case t_POL:
1866 10276 : gel(b,i) = ZX_to_F2x(gel(B,i));
1867 10276 : break;
1868 : }
1869 23478 : return F2xX_renormalize(b, lb);
1870 : }
1871 :
1872 : GEN
1873 56 : F2xX_to_FlxX(GEN B)
1874 : {
1875 56 : long i, lb = lg(B);
1876 56 : GEN b = cgetg(lb,t_POL);
1877 266 : for (i=2; i<lb; i++)
1878 210 : gel(b,i) = F2x_to_Flx(gel(B,i));
1879 56 : b[1] = B[1]; return b;
1880 : }
1881 :
1882 : GEN
1883 1561 : F2xX_to_ZXX(GEN B)
1884 : {
1885 1561 : long i, lb = lg(B);
1886 1561 : GEN b = cgetg(lb,t_POL);
1887 5264 : for (i=2; i<lb; i++)
1888 : {
1889 3703 : GEN c = gel(B,i);
1890 3703 : gel(b,i) = lgpol(c) ? F2x_equal1(c) ? gen_1 : F2x_to_ZX(c) : gen_0;
1891 : }
1892 1561 : b[1] = B[1]; return b;
1893 : }
1894 :
1895 : GEN
1896 80752 : F2xX_deriv(GEN z)
1897 : {
1898 80752 : long i,l = lg(z)-1;
1899 : GEN x;
1900 80752 : if (l < 2) l = 2;
1901 80752 : x = cgetg(l, t_POL); x[1] = z[1];
1902 528766 : for (i=2; i<l; i++) gel(x,i) = odd(i) ? pol0_F2x(mael(z,i+1,1)): gel(z,i+1);
1903 80752 : return F2xX_renormalize(x,l);
1904 : }
1905 :
1906 : static GEN
1907 1241 : F2xX_addspec(GEN x, GEN y, long lx, long ly)
1908 : {
1909 : long i,lz;
1910 : GEN z;
1911 1241 : if (ly>lx) swapspec(x,y, lx,ly);
1912 1241 : lz = lx+2; z = cgetg(lz, t_POL);
1913 136525 : for (i=0; i<ly; i++) gel(z,i+2) = F2x_add(gel(x,i), gel(y,i));
1914 1241 : for ( ; i<lx; i++) gel(z,i+2) = F2x_copy(gel(x,i));
1915 1241 : z[1] = 0; return F2xX_renormalize(z, lz);
1916 : }
1917 :
1918 : GEN
1919 424109 : F2xX_add(GEN x, GEN y)
1920 : {
1921 : long i,lz;
1922 : GEN z;
1923 424109 : long lx=lg(x);
1924 424109 : long ly=lg(y);
1925 424109 : if (ly>lx) swapspec(x,y, lx,ly);
1926 424109 : lz = lx; z = cgetg(lz, t_POL); z[1]=x[1];
1927 1485358 : for (i=2; i<ly; i++) gel(z,i) = F2x_add(gel(x,i), gel(y,i));
1928 1681743 : for ( ; i<lx; i++) gel(z,i) = F2x_copy(gel(x,i));
1929 424109 : return F2xX_renormalize(z, lz);
1930 : }
1931 :
1932 : GEN
1933 0 : F2xX_F2x_add(GEN x, GEN y)
1934 : {
1935 0 : long i, lz = lg(y);
1936 : GEN z;
1937 0 : if (signe(y) == 0) return scalarpol(x, varn(y));
1938 0 : z = cgetg(lz,t_POL); z[1] = y[1];
1939 0 : gel(z,2) = F2x_add(gel(y,2), x);
1940 0 : if (lz == 3) z = F2xX_renormalize(z,lz);
1941 : else
1942 0 : for(i=3;i<lz;i++) gel(z,i) = F2x_copy(gel(y,i));
1943 0 : return z;
1944 : }
1945 :
1946 : GEN
1947 482510 : F2xX_F2x_mul(GEN P, GEN U)
1948 : {
1949 482510 : long i, lP = lg(P);
1950 482510 : GEN res = cgetg(lP,t_POL);
1951 482510 : res[1] = P[1];
1952 2333716 : for(i=2; i<lP; i++)
1953 1851206 : gel(res,i) = F2x_mul(U,gel(P,i));
1954 482510 : return F2xX_renormalize(res, lP);
1955 : }
1956 :
1957 : GEN
1958 136934 : F2xY_F2xqV_evalx(GEN P, GEN x, GEN T)
1959 : {
1960 136934 : long i, lP = lg(P);
1961 136934 : GEN res = cgetg(lP,t_POL);
1962 136934 : res[1] = P[1];
1963 619206 : for(i=2; i<lP; i++)
1964 482272 : gel(res,i) = F2x_F2xqV_eval(gel(P,i), x, T);
1965 136934 : return F2xX_renormalize(res, lP);
1966 : }
1967 :
1968 : GEN
1969 0 : F2xY_F2xq_evalx(GEN P, GEN x, GEN T)
1970 : {
1971 0 : pari_sp av = avma;
1972 0 : long n = brent_kung_optpow(get_F2x_degree(T)-1,lgpol(P),1);
1973 0 : GEN xp = F2xq_powers(x, n, T);
1974 0 : return gerepileupto(av, F2xY_F2xqV_evalx(P, xp, T));
1975 : }
1976 :
1977 : static GEN
1978 6206 : F2xX_to_Kronecker_spec(GEN P, long n, long d)
1979 : {
1980 6206 : long i, k, l, N = 2*d + 1;
1981 6206 : long dP = n+1;
1982 : GEN x;
1983 6206 : if (n == 0) return pol0_Flx(P[1]&VARNBITS);
1984 6206 : l = nbits2nlong(N*dP+d+1);
1985 6206 : x = zero_zv(l+1);
1986 363773 : for (k=i=0; i<n; i++, k+=N)
1987 : {
1988 357567 : GEN c = gel(P,i);
1989 357567 : F2x_addshiftip(x, c, k);
1990 : }
1991 6206 : x[1] = P[1]&VARNBITS; return F2x_renormalize(x, l+2);
1992 : }
1993 :
1994 : GEN
1995 308482 : F2xX_to_Kronecker(GEN P, long d)
1996 : {
1997 308482 : long i, k, l, N = 2*d + 1;
1998 308482 : long dP = degpol(P);
1999 : GEN x;
2000 308482 : if (dP < 0) return pol0_Flx(P[1]&VARNBITS);
2001 307174 : l = nbits2nlong(N*dP+d+1);
2002 307174 : x = zero_zv(l+1);
2003 1692741 : for (k=i=0; i<=dP; i++, k+=N)
2004 : {
2005 1385567 : GEN c = gel(P,i+2);
2006 1385567 : F2x_addshiftip(x, c, k);
2007 : }
2008 307174 : x[1] = P[1]&VARNBITS; return F2x_renormalize(x, l+2);
2009 : }
2010 :
2011 : static GEN
2012 1583090 : F2x_slice(GEN x, long n, long d)
2013 : {
2014 1583090 : ulong ib, il=dvmduBIL(n, &ib);
2015 1583090 : ulong db, dl=dvmduBIL(d, &db);
2016 1583090 : long lN = dl+2+(db?1:0);
2017 1583090 : GEN t = cgetg(lN,t_VECSMALL);
2018 1583090 : t[1] = x[1];
2019 1583090 : if (ib)
2020 : {
2021 1418298 : ulong i, ic = BITS_IN_LONG-ib;
2022 1418298 : ulong r = uel(x,2+il)>>ib;
2023 1418866 : for(i=0; i<dl; i++)
2024 : {
2025 568 : uel(t,2+i) = (uel(x,3+il+i)<<ic)|r;
2026 568 : r = uel(x,3+il+i)>>ib;
2027 : }
2028 1418298 : if (db)
2029 1418298 : uel(t,2+i) = (uel(x,3+il+i)<<ic)|r;
2030 : }
2031 : else
2032 : {
2033 : long i;
2034 329732 : for(i=2; i<lN; i++)
2035 164940 : uel(t,i) = uel(x,il+i);
2036 : }
2037 1583090 : if (db) uel(t,lN-1) &= (1UL<<db)-1;
2038 1583090 : return F2x_renormalize(t, lN);
2039 : }
2040 :
2041 : GEN
2042 157344 : Kronecker_to_F2xqX(GEN z, GEN T)
2043 : {
2044 157344 : long lz = F2x_degree(z)+1;
2045 157344 : long i, j, N = get_F2x_degree(T)*2 + 1;
2046 157344 : long lx = lz / (N-2);
2047 157344 : GEN x = cgetg(lx+3,t_POL);
2048 157344 : x[1] = z[1];
2049 1740434 : for (i=0, j=2; i<lz; i+=N, j++)
2050 : {
2051 1583090 : GEN t = F2x_slice(z,i,minss(lz-i,N));
2052 1583090 : t[1] = T[1];
2053 1583090 : gel(x,j) = F2x_rem(t, T);
2054 : }
2055 157344 : return F2xX_renormalize(x, j);
2056 : }
2057 :
2058 : GEN
2059 0 : F2xX_to_F2xC(GEN x, long N, long sv)
2060 : {
2061 : long i, l;
2062 : GEN z;
2063 0 : l = lg(x)-1; x++;
2064 0 : if (l > N+1) l = N+1; /* truncate higher degree terms */
2065 0 : z = cgetg(N+1,t_COL);
2066 0 : for (i=1; i<l ; i++) gel(z,i) = gel(x,i);
2067 0 : for ( ; i<=N; i++) gel(z,i) = pol0_F2x(sv);
2068 0 : return z;
2069 : }
2070 :
2071 : GEN
2072 0 : F2xXV_to_F2xM(GEN v, long n, long sv)
2073 : {
2074 0 : long j, N = lg(v);
2075 0 : GEN y = cgetg(N, t_MAT);
2076 0 : for (j=1; j<N; j++) gel(y,j) = F2xX_to_F2xC(gel(v,j), n, sv);
2077 0 : return y;
2078 : }
2079 :
2080 : /***********************************************************************/
2081 : /** **/
2082 : /** F2xXV/F2xXC **/
2083 : /** **/
2084 : /***********************************************************************/
2085 :
2086 : GEN
2087 1484 : FlxXC_to_F2xXC(GEN x) { pari_APPLY_type(t_COL, FlxX_to_F2xX(gel(x,i))); }
2088 : GEN
2089 2751 : F2xXC_to_ZXXC(GEN x) { pari_APPLY_type(t_COL, F2xX_to_ZXX(gel(x,i))); }
2090 :
2091 : /***********************************************************************/
2092 : /** **/
2093 : /** F2xqX **/
2094 : /** **/
2095 : /***********************************************************************/
2096 :
2097 : static GEN
2098 785169 : get_F2xqX_red(GEN T, GEN *B)
2099 : {
2100 785169 : if (typ(T)!=t_VEC) { *B=NULL; return T; }
2101 2870 : *B = gel(T,1); return gel(T,2);
2102 : }
2103 :
2104 : GEN
2105 2821 : random_F2xqX(long d1, long v, GEN T)
2106 : {
2107 2821 : long dT = get_F2x_degree(T), vT = get_F2x_var(T);
2108 2821 : long i, d = d1+2;
2109 2821 : GEN y = cgetg(d,t_POL); y[1] = evalsigne(1) | evalvarn(v);
2110 18949 : for (i=2; i<d; i++) gel(y,i) = random_F2x(dT, vT);
2111 2821 : return FlxX_renormalize(y,d);
2112 : }
2113 :
2114 : GEN
2115 1007074 : F2xqX_red(GEN z, GEN T)
2116 : {
2117 : GEN res;
2118 1007074 : long i, l = lg(z);
2119 1007074 : res = cgetg(l,t_POL); res[1] = z[1];
2120 5673687 : for(i=2;i<l;i++) gel(res,i) = F2x_rem(gel(z,i),T);
2121 1007074 : return F2xX_renormalize(res,l);
2122 : }
2123 :
2124 : GEN
2125 7021 : F2xqX_F2xq_mul(GEN P, GEN U, GEN T)
2126 : {
2127 7021 : long i, lP = lg(P);
2128 7021 : GEN res = cgetg(lP,t_POL);
2129 7021 : res[1] = P[1];
2130 39249 : for(i=2; i<lP; i++)
2131 32228 : gel(res,i) = F2xq_mul(U,gel(P,i), T);
2132 7021 : return F2xX_renormalize(res, lP);
2133 : }
2134 :
2135 : GEN
2136 206633 : F2xqX_F2xq_mul_to_monic(GEN P, GEN U, GEN T)
2137 : {
2138 206633 : long i, lP = lg(P);
2139 206633 : GEN res = cgetg(lP,t_POL);
2140 206633 : res[1] = P[1];
2141 1132292 : for(i=2; i<lP-1; i++) gel(res,i) = F2xq_mul(U,gel(P,i), T);
2142 206633 : gel(res,lP-1) = pol1_F2x(T[1]);
2143 206633 : return F2xX_renormalize(res, lP);
2144 : }
2145 :
2146 : GEN
2147 206647 : F2xqX_normalize(GEN z, GEN T)
2148 : {
2149 206647 : GEN p1 = leading_coeff(z);
2150 206647 : if (!lgpol(z) || (!degpol(p1) && p1[1] == 1)) return z;
2151 206633 : return F2xqX_F2xq_mul_to_monic(z, F2xq_inv(p1,T), T);
2152 : }
2153 :
2154 : GEN
2155 154241 : F2xqX_mul(GEN x, GEN y, GEN T)
2156 : {
2157 154241 : pari_sp ltop=avma;
2158 : GEN z, kx, ky;
2159 154241 : long d = get_F2x_degree(T);
2160 154241 : kx= F2xX_to_Kronecker(x, d);
2161 154241 : ky= F2xX_to_Kronecker(y, d);
2162 154241 : z = F2x_mul(ky, kx);
2163 154241 : z = Kronecker_to_F2xqX(z, T);
2164 154241 : return gerepileupto(ltop, z);
2165 : }
2166 :
2167 : static GEN
2168 3103 : F2xqX_mulspec(GEN x, GEN y, GEN T, long nx, long ny)
2169 : {
2170 3103 : pari_sp ltop=avma;
2171 : GEN z, kx, ky;
2172 3103 : long dT = get_F2x_degree(T);
2173 3103 : kx= F2xX_to_Kronecker_spec(x, nx, dT);
2174 3103 : ky= F2xX_to_Kronecker_spec(y, ny, dT);
2175 3103 : z = F2x_mul(ky, kx);
2176 3103 : z = Kronecker_to_F2xqX(z,T);
2177 3103 : return gerepileupto(ltop,z);
2178 : }
2179 :
2180 : GEN
2181 105497 : F2xqX_sqr(GEN x, GEN T)
2182 : {
2183 105497 : long d = degpol(x), l = 2*d+3;
2184 : GEN z;
2185 105497 : if (!signe(x)) return pol_0(varn(x));
2186 105490 : z = cgetg(l,t_POL);
2187 105490 : z[1] = x[1];
2188 105490 : if (d > 0)
2189 : {
2190 105406 : GEN u = pol0_F2x(T[1]);
2191 : long i,j;
2192 270557 : for (i=2,j=2; i<d+2; i++,j+=2)
2193 : {
2194 165151 : gel(z, j) = F2xq_sqr(gel(x, i), T);
2195 165151 : gel(z, j+1) = u;
2196 : }
2197 : }
2198 105490 : gel(z, 2+2*d) = F2xq_sqr(gel(x, 2+d), T);
2199 105490 : return FlxX_renormalize(z, l);
2200 : }
2201 :
2202 : static GEN
2203 0 : _F2xqX_mul(void *data,GEN a,GEN b) { return F2xqX_mul(a,b, (GEN) data); }
2204 : static GEN
2205 0 : _F2xqX_sqr(void *data,GEN a) { return F2xqX_sqr(a, (GEN) data); }
2206 : GEN
2207 0 : F2xqX_powu(GEN x, ulong n, GEN T)
2208 0 : { return gen_powu(x, n, (void*)T, &_F2xqX_sqr, &_F2xqX_mul); }
2209 :
2210 : static GEN
2211 546681 : F2xqX_divrem_basecase(GEN x, GEN y, GEN T, GEN *pr)
2212 : {
2213 : long vx, dx, dy, dz, i, j, sx, lr;
2214 : pari_sp av0, av, tetpil;
2215 : GEN z,p1,rem,lead;
2216 :
2217 546681 : if (!signe(y)) pari_err_INV("F2xqX_divrem",y);
2218 546681 : vx=varn(x); dy=degpol(y); dx=degpol(x);
2219 546681 : if (dx < dy)
2220 : {
2221 0 : if (pr)
2222 : {
2223 0 : av0 = avma; x = F2xqX_red(x, T);
2224 0 : if (pr == ONLY_DIVIDES) { set_avma(av0); return signe(x)? NULL: pol_0(vx); }
2225 0 : if (pr == ONLY_REM) return x;
2226 0 : *pr = x;
2227 : }
2228 0 : return pol_0(vx);
2229 : }
2230 546681 : lead = leading_coeff(y);
2231 546681 : if (!dy) /* y is constant */
2232 : {
2233 115780 : if (pr && pr != ONLY_DIVIDES)
2234 : {
2235 105693 : if (pr == ONLY_REM) return pol_0(vx);
2236 21 : *pr = pol_0(vx);
2237 : }
2238 10108 : if (F2x_equal1(lead)) return gcopy(x);
2239 7014 : av0 = avma; x = F2xqX_F2xq_mul(x,F2xq_inv(lead,T),T);
2240 7014 : return gerepileupto(av0,x);
2241 : }
2242 430901 : av0 = avma; dz = dx-dy;
2243 430901 : lead = F2x_equal1(lead)? NULL: gclone(F2xq_inv(lead,T));
2244 430901 : set_avma(av0);
2245 430901 : z = cgetg(dz+3,t_POL); z[1] = x[1];
2246 430901 : x += 2; y += 2; z += 2;
2247 :
2248 430901 : p1 = gel(x,dx); av = avma;
2249 430901 : gel(z,dz) = lead? gerepileupto(av, F2xq_mul(p1,lead, T)): leafcopy(p1);
2250 1282130 : for (i=dx-1; i>=dy; i--)
2251 : {
2252 851229 : av=avma; p1=gel(x,i);
2253 2692653 : for (j=i-dy+1; j<=i && j<=dz; j++)
2254 1841424 : p1 = F2x_add(p1, F2x_mul(gel(z,j),gel(y,i-j)));
2255 851229 : if (lead) p1 = F2x_mul(p1, lead);
2256 851229 : tetpil=avma; gel(z,i-dy) = gerepile(av,tetpil,F2x_rem(p1,T));
2257 : }
2258 430901 : if (!pr) { guncloneNULL(lead); return z-2; }
2259 :
2260 407531 : rem = (GEN)avma; av = (pari_sp)new_chunk(dx+3);
2261 630651 : for (sx=0; ; i--)
2262 : {
2263 630651 : p1 = gel(x,i);
2264 1889333 : for (j=0; j<=i && j<=dz; j++)
2265 1258682 : p1 = F2x_add(p1, F2x_mul(gel(z,j),gel(y,i-j)));
2266 630651 : tetpil=avma; p1 = F2x_rem(p1, T); if (lgpol(p1)) { sx = 1; break; }
2267 286372 : if (!i) break;
2268 223120 : set_avma(av);
2269 : }
2270 407531 : if (pr == ONLY_DIVIDES)
2271 : {
2272 0 : guncloneNULL(lead);
2273 0 : if (sx) return gc_NULL(av0);
2274 0 : return gc_const((pari_sp)rem, z-2);
2275 : }
2276 407531 : lr=i+3; rem -= lr;
2277 407531 : rem[0] = evaltyp(t_POL) | evallg(lr);
2278 407531 : rem[1] = z[-1];
2279 407531 : p1 = gerepile((pari_sp)rem,tetpil,p1);
2280 407531 : rem += 2; gel(rem,i) = p1;
2281 1394613 : for (i--; i>=0; i--)
2282 : {
2283 987082 : av=avma; p1 = gel(x,i);
2284 3513587 : for (j=0; j<=i && j<=dz; j++)
2285 2526505 : p1 = F2x_add(p1, F2x_mul(gel(z,j),gel(y,i-j)));
2286 987082 : tetpil=avma; gel(rem,i) = gerepile(av,tetpil, F2x_rem(p1, T));
2287 : }
2288 407531 : rem -= 2;
2289 407531 : guncloneNULL(lead);
2290 407531 : if (!sx) (void)F2xX_renormalize(rem, lr);
2291 407531 : if (pr == ONLY_REM) return gerepileupto(av0,rem);
2292 35 : *pr = rem; return z-2;
2293 : }
2294 :
2295 : static GEN
2296 2532 : F2xX_recipspec(GEN x, long l, long n, long vs)
2297 : {
2298 : long i;
2299 2532 : GEN z = cgetg(n+2,t_POL);
2300 2532 : z[1] = 0; z += 2;
2301 139310 : for(i=0; i<l; i++)
2302 136778 : gel(z,n-i-1) = F2x_copy(gel(x,i));
2303 2532 : for( ; i<n; i++)
2304 0 : gel(z,n-i-1) = pol0_F2x(vs);
2305 2532 : return F2xX_renormalize(z-2,n+2);
2306 : }
2307 :
2308 : static GEN
2309 3 : F2xqX_invBarrett_basecase(GEN T, GEN Q)
2310 : {
2311 3 : long i, l=lg(T)-1, lr = l-1, k;
2312 3 : long sv=Q[1];
2313 3 : GEN r=cgetg(lr,t_POL); r[1]=T[1];
2314 3 : gel(r,2) = pol1_F2x(sv);
2315 138 : for (i=3;i<lr;i++)
2316 : {
2317 135 : pari_sp ltop=avma;
2318 135 : GEN u = gel(T,l-i+2);
2319 3105 : for (k=3;k<i;k++)
2320 2970 : u = F2x_add(u, F2xq_mul(gel(T,l-i+k),gel(r,k),Q));
2321 135 : gel(r,i) = gerepileupto(ltop, u);
2322 : }
2323 3 : r = F2xX_renormalize(r,lr);
2324 3 : return r;
2325 : }
2326 :
2327 : /* Return new lgpol */
2328 : static long
2329 3415 : F2xX_lgrenormalizespec(GEN x, long lx)
2330 : {
2331 : long i;
2332 3415 : for (i = lx-1; i>=0; i--)
2333 3415 : if (lgpol(gel(x,i))) break;
2334 3415 : return i+1;
2335 : }
2336 :
2337 : static GEN
2338 44 : F2xqX_invBarrett_Newton(GEN S, GEN T)
2339 : {
2340 44 : pari_sp av = avma;
2341 44 : long nold, lx, lz, lq, l = degpol(S), i, lQ;
2342 44 : GEN q, y, z, x = cgetg(l+2, t_POL) + 2;
2343 44 : long dT = get_F2x_degree(T);
2344 44 : ulong mask = quadratic_prec_mask(l-2); /* assume l > 2 */
2345 5212 : for (i=0;i<l;i++) gel(x,i) = pol0_F2x(T[1]);
2346 44 : q = F2xX_recipspec(S+2,l+1,l+1,dT);
2347 44 : lQ = lgpol(q); q+=2;
2348 : /* We work on _spec_ FlxX's, all the l[xzq] below are lgpol's */
2349 :
2350 : /* initialize */
2351 44 : gel(x,0) = F2xq_inv(gel(q,0),T);
2352 44 : if (lQ>1 && F2x_degree(gel(q,1)) >= dT)
2353 0 : gel(q,1) = F2x_rem(gel(q,1), T);
2354 44 : if (lQ>1 && lgpol(gel(q,1)))
2355 44 : {
2356 44 : GEN u = gel(q, 1);
2357 44 : if (!F2x_equal1(gel(x,0))) u = F2xq_mul(u, F2xq_sqr(gel(x,0), T), T);
2358 44 : else u = F2x_copy(u);
2359 44 : gel(x,1) = u; lx = 2;
2360 : }
2361 : else
2362 0 : lx = 1;
2363 44 : nold = 1;
2364 353 : for (; mask > 1; )
2365 : { /* set x -= x(x*q - 1) + O(t^(nnew + 1)), knowing x*q = 1 + O(t^(nold+1)) */
2366 309 : long i, lnew, nnew = nold << 1;
2367 :
2368 309 : if (mask & 1) nnew--;
2369 309 : mask >>= 1;
2370 :
2371 309 : lnew = nnew + 1;
2372 309 : lq = F2xX_lgrenormalizespec(q, minss(lQ,lnew));
2373 309 : z = F2xqX_mulspec(x, q, T, lx, lq); /* FIXME: high product */
2374 309 : lz = lgpol(z); if (lz > lnew) lz = lnew;
2375 309 : z += 2;
2376 : /* subtract 1 [=>first nold words are 0]: renormalize so that z(0) != 0 */
2377 618 : for (i = nold; i < lz; i++) if (lgpol(gel(z,i))) break;
2378 309 : nold = nnew;
2379 309 : if (i >= lz) continue; /* z-1 = 0(t^(nnew + 1)) */
2380 :
2381 : /* z + i represents (x*q - 1) / t^i */
2382 309 : lz = F2xX_lgrenormalizespec (z+i, lz-i);
2383 309 : z = F2xqX_mulspec(x, z+i, T, lx, lz); /* FIXME: low product */
2384 309 : lz = lgpol(z); z += 2;
2385 309 : if (lz > lnew-i) lz = F2xX_lgrenormalizespec(z, lnew-i);
2386 :
2387 309 : lx = lz+ i;
2388 309 : y = x + i; /* x -= z * t^i, in place */
2389 5345 : for (i = 0; i < lz; i++) gel(y,i) = gel(z,i);
2390 : }
2391 44 : x -= 2; setlg(x, lx + 2); x[1] = S[1];
2392 44 : return gerepilecopy(av, x);
2393 : }
2394 :
2395 : GEN
2396 47 : F2xqX_invBarrett(GEN T, GEN Q)
2397 : {
2398 47 : pari_sp ltop=avma;
2399 47 : long l=lg(T), v = varn(T);
2400 : GEN r;
2401 47 : GEN c = gel(T,l-1);
2402 47 : if (l<5) return pol_0(v);
2403 47 : if (l<=F2xqX_INVBARRETT_LIMIT)
2404 : {
2405 3 : if (!F2x_equal1(c))
2406 : {
2407 0 : GEN ci = F2xq_inv(c,Q);
2408 0 : T = F2xqX_F2xq_mul(T, ci, Q);
2409 0 : r = F2xqX_invBarrett_basecase(T,Q);
2410 0 : r = F2xqX_F2xq_mul(r,ci,Q);
2411 : } else
2412 3 : r = F2xqX_invBarrett_basecase(T,Q);
2413 : } else
2414 44 : r = F2xqX_invBarrett_Newton(T,Q);
2415 47 : return gerepileupto(ltop, r);
2416 : }
2417 :
2418 : GEN
2419 220976 : F2xqX_get_red(GEN S, GEN T)
2420 : {
2421 220976 : if (typ(S)==t_POL && lg(S)>F2xqX_BARRETT_LIMIT)
2422 44 : retmkvec2(F2xqX_invBarrett(S, T), S);
2423 220932 : return S;
2424 : }
2425 :
2426 : /* Compute x mod S where 2 <= degpol(S) <= l+1 <= 2*(degpol(S)-1)
2427 : * * and mg is the Barrett inverse of S. */
2428 : static GEN
2429 1244 : F2xqX_divrem_Barrettspec(GEN x, long l, GEN mg, GEN S, GEN T, GEN *pr)
2430 : {
2431 : GEN q, r;
2432 1244 : long lt = degpol(S); /*We discard the leading term*/
2433 : long ld, lm, lT, lmg;
2434 1244 : ld = l-lt;
2435 1244 : lm = minss(ld, lgpol(mg));
2436 1244 : lT = F2xX_lgrenormalizespec(S+2,lt);
2437 1244 : lmg = F2xX_lgrenormalizespec(mg+2,lm);
2438 1244 : q = F2xX_recipspec(x+lt,ld,ld,0); /* q = rec(x) lq<=ld*/
2439 1244 : q = F2xqX_mulspec(q+2,mg+2,T,lgpol(q),lmg); /* q = rec(x) * mg lq<=ld+lm*/
2440 1244 : q = F2xX_recipspec(q+2,minss(ld,lgpol(q)),ld,0);/* q = rec (rec(x) * mg) lq<=ld*/
2441 1244 : if (!pr) return q;
2442 1241 : r = F2xqX_mulspec(q+2,S+2,T,lgpol(q),lT); /* r = q*pol lr<=ld+lt*/
2443 1241 : r = F2xX_addspec(x,r+2,lt,minss(lt,lgpol(r)));/* r = x - r lr<=lt */
2444 1241 : if (pr == ONLY_REM) return r;
2445 0 : *pr = r; return q;
2446 : }
2447 :
2448 : static GEN
2449 1244 : F2xqX_divrem_Barrett(GEN x, GEN mg, GEN S, GEN T, GEN *pr)
2450 : {
2451 1244 : GEN q = NULL, r = F2xqX_red(x, T);
2452 1244 : long l = lgpol(r), lt = degpol(S), lm = 2*lt-1, v = varn(S);
2453 : long i;
2454 1244 : if (l <= lt)
2455 : {
2456 0 : if (pr == ONLY_REM) return r;
2457 0 : if (pr == ONLY_DIVIDES) return signe(r)? NULL: pol_0(v);
2458 0 : if (pr) *pr = r;
2459 0 : return pol_0(v);
2460 : }
2461 1244 : if (lt <= 1)
2462 0 : return F2xqX_divrem_basecase(x,S,T,pr);
2463 1244 : if (pr != ONLY_REM && l>lm)
2464 : {
2465 0 : long vT = get_F2x_var(T);
2466 0 : q = cgetg(l-lt+2, t_POL); q[1] = S[1];
2467 0 : for (i=0;i<l-lt;i++) gel(q+2,i) = pol0_F2x(vT);
2468 : }
2469 1244 : while (l>lm)
2470 : {
2471 0 : GEN zr, zq = F2xqX_divrem_Barrettspec(r+2+l-lm,lm,mg,S,T,&zr);
2472 0 : long lz = lgpol(zr);
2473 0 : if (pr != ONLY_REM)
2474 : {
2475 0 : long lq = lgpol(zq);
2476 0 : for(i=0; i<lq; i++) gel(q+2+l-lm,i) = gel(zq,2+i);
2477 : }
2478 0 : for(i=0; i<lz; i++) gel(r+2+l-lm,i) = gel(zr,2+i);
2479 0 : l = l-lm+lz;
2480 : }
2481 1244 : if (pr == ONLY_REM)
2482 : {
2483 1241 : if (l > lt)
2484 1241 : r = F2xqX_divrem_Barrettspec(r+2,l,mg,S,T,ONLY_REM);
2485 : else
2486 0 : r = F2xX_renormalize(r, lg(r));
2487 1241 : setvarn(r, v); return F2xX_renormalize(r, lg(r));
2488 : }
2489 3 : if (l > lt)
2490 : {
2491 3 : GEN zq = F2xqX_divrem_Barrettspec(r+2,l,mg,S,T,pr? &r: NULL);
2492 3 : if (!q) q = zq;
2493 : else
2494 : {
2495 0 : long lq = lgpol(zq);
2496 0 : for(i=0; i<lq; i++) gel(q+2,i) = gel(zq,2+i);
2497 : }
2498 : }
2499 0 : else if (pr)
2500 0 : r = F2xX_renormalize(r, l+2);
2501 3 : setvarn(q, v); q = F2xX_renormalize(q, lg(q));
2502 3 : if (pr == ONLY_DIVIDES) return signe(r)? NULL: q;
2503 3 : if (pr) { setvarn(r, v); *pr = r; }
2504 3 : return q;
2505 : }
2506 :
2507 : GEN
2508 33516 : F2xqX_divrem(GEN x, GEN S, GEN T, GEN *pr)
2509 : {
2510 : GEN B, y;
2511 : long dy, dx, d;
2512 33516 : if (pr==ONLY_REM) return F2xqX_rem(x, S, T);
2513 33516 : y = get_F2xqX_red(S, &B);
2514 33516 : dy = degpol(y); dx = degpol(x); d = dx-dy;
2515 33516 : if (!B && d+3 < F2xqX_DIVREM_BARRETT_LIMIT)
2516 33513 : return F2xqX_divrem_basecase(x,y,T,pr);
2517 : else
2518 : {
2519 3 : pari_sp av=avma;
2520 3 : GEN mg = B? B: F2xqX_invBarrett(y, T);
2521 3 : GEN q = F2xqX_divrem_Barrett(x,mg,y,T,pr);
2522 3 : if (!q) return gc_NULL(av);
2523 3 : if (!pr || pr==ONLY_DIVIDES) return gerepilecopy(av, q);
2524 0 : return gc_all(av,2,&q,pr);
2525 : }
2526 : }
2527 :
2528 : GEN
2529 751653 : F2xqX_rem(GEN x, GEN S, GEN T)
2530 : {
2531 751653 : GEN B, y = get_F2xqX_red(S, &B);
2532 751653 : long dy = degpol(y), dx = degpol(x), d = dx-dy;
2533 751653 : if (d < 0) return F2xqX_red(x, T);
2534 514409 : if (!B && d+3 < F2xqX_REM_BARRETT_LIMIT)
2535 513168 : return F2xqX_divrem_basecase(x,y, T, ONLY_REM);
2536 : else
2537 : {
2538 1241 : pari_sp av=avma;
2539 1241 : GEN mg = B? B: F2xqX_invBarrett(y, T);
2540 1241 : GEN r = F2xqX_divrem_Barrett(x, mg, y, T, ONLY_REM);
2541 1241 : return gerepileupto(av, r);
2542 : }
2543 : }
2544 :
2545 : static GEN
2546 0 : F2xqX_addmulmul(GEN u, GEN v, GEN x, GEN y, GEN T)
2547 : {
2548 0 : return F2xX_add(F2xqX_mul(u, x, T),F2xqX_mul(v, y, T));
2549 : }
2550 :
2551 : INLINE GEN
2552 0 : F2xXn_red(GEN a, long n) { return FlxXn_red(a, n); }
2553 :
2554 : static GEN
2555 0 : F2xqXM_F2xqX_mul2(GEN M, GEN x, GEN y, GEN T)
2556 : {
2557 0 : GEN res = cgetg(3, t_COL);
2558 0 : gel(res, 1) = F2xqX_addmulmul(gcoeff(M,1,1), gcoeff(M,1,2), x, y, T);
2559 0 : gel(res, 2) = F2xqX_addmulmul(gcoeff(M,2,1), gcoeff(M,2,2), x, y, T);
2560 0 : return res;
2561 : }
2562 :
2563 : static GEN
2564 0 : F2xqXM_mul2(GEN A, GEN B, GEN T)
2565 : {
2566 0 : GEN A11=gcoeff(A,1,1),A12=gcoeff(A,1,2), B11=gcoeff(B,1,1),B12=gcoeff(B,1,2);
2567 0 : GEN A21=gcoeff(A,2,1),A22=gcoeff(A,2,2), B21=gcoeff(B,2,1),B22=gcoeff(B,2,2);
2568 0 : GEN M1 = F2xqX_mul(F2xX_add(A11,A22), F2xX_add(B11,B22), T);
2569 0 : GEN M2 = F2xqX_mul(F2xX_add(A21,A22), B11, T);
2570 0 : GEN M3 = F2xqX_mul(A11, F2xX_add(B12,B22), T);
2571 0 : GEN M4 = F2xqX_mul(A22, F2xX_add(B21,B11), T);
2572 0 : GEN M5 = F2xqX_mul(F2xX_add(A11,A12), B22, T);
2573 0 : GEN M6 = F2xqX_mul(F2xX_add(A21,A11), F2xX_add(B11,B12), T);
2574 0 : GEN M7 = F2xqX_mul(F2xX_add(A12,A22), F2xX_add(B21,B22), T);
2575 0 : GEN T1 = F2xX_add(M1,M4), T2 = F2xX_add(M7,M5);
2576 0 : GEN T3 = F2xX_add(M1,M2), T4 = F2xX_add(M3,M6);
2577 0 : retmkmat22(F2xX_add(T1,T2), F2xX_add(M3,M5),
2578 : F2xX_add(M2,M4), F2xX_add(T3,T4));
2579 : }
2580 :
2581 : /* Return [0,1;1,-q]*M */
2582 : static GEN
2583 0 : F2xqX_F2xqXM_qmul(GEN q, GEN M, GEN T)
2584 : {
2585 0 : GEN u = F2xqX_mul(gcoeff(M,2,1), q, T);
2586 0 : GEN v = F2xqX_mul(gcoeff(M,2,2), q, T);
2587 0 : retmkmat22(gcoeff(M,2,1), gcoeff(M,2,2),
2588 : F2xX_add(gcoeff(M,1,1), u), F2xX_add(gcoeff(M,1,2), v));
2589 : }
2590 :
2591 : static GEN
2592 0 : matid2_F2xXM(long v, long sv)
2593 0 : { retmkmat22(pol1_F2xX(v, sv),pol_0(v),pol_0(v),pol1_F2xX(v, sv)); }
2594 :
2595 : static GEN
2596 0 : matJ2_F2xXM(long v, long sv)
2597 0 : { retmkmat22(pol_0(v),pol1_F2xX(v, sv),pol1_F2xX(v, sv),pol_0(v)); }
2598 :
2599 : struct F2xqX_res
2600 : {
2601 : GEN res, lc;
2602 : long deg0, deg1;
2603 : };
2604 :
2605 : INLINE void
2606 0 : F2xqX_halfres_update(long da, long db, long dr, GEN T, struct F2xqX_res *res)
2607 : {
2608 0 : if (dr >= 0)
2609 : {
2610 0 : if (!F2x_equal1(res->lc))
2611 : {
2612 0 : res->lc = F2xq_powu(res->lc, da - dr, T);
2613 0 : res->res = F2xq_mul(res->res, res->lc, T);
2614 : }
2615 : } else
2616 : {
2617 0 : if (db == 0)
2618 : {
2619 0 : if (!F2x_equal1(res->lc))
2620 : {
2621 0 : res->lc = F2xq_powu(res->lc, da, T);
2622 0 : res->res = F2xq_mul(res->res, res->lc, T);
2623 : }
2624 : } else
2625 0 : res->res = pol0_F2x(get_F2x_var(T));
2626 : }
2627 0 : }
2628 :
2629 : static GEN
2630 7 : F2xqX_halfres_basecase(GEN a, GEN b, GEN T, GEN *pa, GEN *pb, struct F2xqX_res *res)
2631 : {
2632 7 : pari_sp av=avma;
2633 : GEN u,u1,v,v1, M;
2634 7 : long vx = varn(a), vT = get_F2x_var(T), n = lgpol(a)>>1;
2635 7 : u1 = v = pol_0(vx);
2636 7 : u = v1 = pol1_F2xX(vx, vT);
2637 7 : while (lgpol(b)>n)
2638 : {
2639 : GEN r, q;
2640 0 : q = F2xqX_divrem(a,b, T, &r);
2641 0 : if (res)
2642 : {
2643 0 : long da = degpol(a), db = degpol(b), dr = degpol(r);
2644 0 : res->lc = gel(b,db+2);
2645 0 : if (dr >= n)
2646 0 : F2xqX_halfres_update(da, db, dr, T, res);
2647 : else
2648 : {
2649 0 : res->deg0 = da;
2650 0 : res->deg1 = db;
2651 : }
2652 : }
2653 0 : a = b; b = r; swap(u,u1); swap(v,v1);
2654 0 : u1 = F2xX_add(u1, F2xqX_mul(u, q, T));
2655 0 : v1 = F2xX_add(v1, F2xqX_mul(v, q, T));
2656 0 : if (gc_needed(av,2))
2657 : {
2658 0 : if (DEBUGMEM>1) pari_warn(warnmem,"F2xqX_halfgcd (d = %ld)",degpol(b));
2659 0 : gerepileall(av,res ? 8: 6, &a,&b,&u1,&v1,&u,&v,&res->res,&res->lc);
2660 : }
2661 : }
2662 7 : M = mkmat22(u,v,u1,v1); *pa = a; *pb = b;
2663 7 : return gc_all(av, res ? 5: 3, &M, pa, pb, &res->res, &res->lc);
2664 : }
2665 :
2666 : static GEN F2xqX_halfres_i(GEN x, GEN y, GEN T, GEN *a, GEN *b, struct F2xqX_res *res);
2667 :
2668 : static GEN
2669 0 : F2xqX_halfres_split(GEN x, GEN y, GEN T, GEN *a, GEN *b, struct F2xqX_res *res)
2670 : {
2671 0 : pari_sp av = avma;
2672 : GEN Q, R, S, V1, V2;
2673 : GEN x1, y1, r, q;
2674 0 : long l = lgpol(x), n = l>>1, k, vT = get_F2x_var(T);
2675 0 : if (lgpol(y) <= n)
2676 0 : { *a = RgX_copy(x); *b = RgX_copy(y); return matid2_F2xXM(varn(x),vT); }
2677 0 : if (res)
2678 : {
2679 0 : res->lc = leading_coeff(y);
2680 0 : res->deg0 -= n;
2681 0 : res->deg1 -= n;
2682 : }
2683 0 : R = F2xqX_halfres_i(F2xX_shift(x,-n, vT),F2xX_shift(y,-n, vT), T, a, b, res);
2684 0 : if (res)
2685 : {
2686 0 : res->deg0 += n;
2687 0 : res->deg1 += n;
2688 : }
2689 0 : V1 = F2xqXM_F2xqX_mul2(R, Flxn_red(x,n), Flxn_red(y,n), T);
2690 0 : x1 = F2xX_add(F2xX_shift(*a,n,vT), gel(V1,1));
2691 0 : y1 = F2xX_add(F2xX_shift(*b,n,vT), gel(V1,2));
2692 0 : if (lgpol(y1) <= n)
2693 : {
2694 0 : *a = x1; *b = y1;
2695 0 : return gc_all(av, res ? 5: 3, &R, a, b, &res->res, &res->lc);
2696 : }
2697 0 : k = 2*n-degpol(y1);
2698 0 : q = F2xqX_divrem(x1, y1, T, &r);
2699 0 : if (res)
2700 : {
2701 0 : long dx1 = degpol(x1), dy1 = degpol(y1), dr = degpol(r);
2702 0 : if (dy1 < degpol(y))
2703 0 : F2xqX_halfres_update(res->deg0, res->deg1, dy1, T, res);
2704 0 : res->lc = leading_coeff(y1);
2705 0 : res->deg0 = dx1;
2706 0 : res->deg1 = dy1;
2707 0 : if (dr >= n)
2708 : {
2709 0 : F2xqX_halfres_update(dx1, dy1, dr, T, res);
2710 0 : res->deg0 = dy1;
2711 0 : res->deg1 = dr;
2712 : }
2713 0 : res->deg0 -= k;
2714 0 : res->deg1 -= k;
2715 : }
2716 0 : S = F2xqX_halfres_i(F2xX_shift(y1,-k, vT), F2xX_shift(r,-k, vT), T, a, b, res);
2717 0 : if (res)
2718 : {
2719 0 : res->deg0 += k;
2720 0 : res->deg1 += k;
2721 : }
2722 0 : Q = F2xqXM_mul2(S,F2xqX_F2xqXM_qmul(q, R, T), T);
2723 0 : V2 = F2xqXM_F2xqX_mul2(S, F2xXn_red(y1,k), F2xXn_red(r,k), T);
2724 0 : *a = F2xX_add(F2xX_shift(*a,k,vT), gel(V2,1));
2725 0 : *b = F2xX_add(F2xX_shift(*b,k,vT), gel(V2,2));
2726 0 : return gc_all(av, res ? 5: 3, &Q, a, b, &res->res, &res->lc);
2727 : }
2728 :
2729 : static GEN
2730 7 : F2xqX_halfres_i(GEN x, GEN y, GEN T, GEN *a, GEN *b, struct F2xqX_res *res)
2731 : {
2732 7 : if (lgpol(x) < F2xqX_HALFGCD_LIMIT)
2733 7 : return F2xqX_halfres_basecase(x, y, T, a, b, res);
2734 0 : return F2xqX_halfres_split(x, y, T, a, b, res);
2735 : }
2736 :
2737 : static GEN
2738 7 : F2xqX_halfgcd_all_i(GEN x, GEN y, GEN T, GEN *pa, GEN *pb)
2739 : {
2740 : GEN a, b;
2741 7 : GEN R = F2xqX_halfres_i(x, y, T, &a, &b, NULL);
2742 7 : if (pa) *pa = a;
2743 7 : if (pb) *pb = b;
2744 7 : return R;
2745 : }
2746 :
2747 : /* Return M in GL_2(F_2[X]/(T)[Y]) such that:
2748 : if [a',b']~=M*[a,b]~ then degpol(a')>= (lgpol(a)>>1) >degpol(b')
2749 : */
2750 :
2751 : GEN
2752 7 : F2xqX_halfgcd_all(GEN x, GEN y, GEN T, GEN *a, GEN *b)
2753 : {
2754 7 : pari_sp av = avma;
2755 : GEN R,q,r;
2756 7 : if (!signe(x))
2757 : {
2758 0 : if (a) *a = RgX_copy(y);
2759 0 : if (b) *b = RgX_copy(x);
2760 0 : return matJ2_F2xXM(varn(x), get_F2x_var(T));
2761 : }
2762 7 : if (degpol(y)<degpol(x)) return F2xqX_halfgcd_all_i(x, y, T, a, b);
2763 7 : q = F2xqX_divrem(y, x, T, &r);
2764 7 : R = F2xqX_halfgcd_all_i(x, r, T, a, b);
2765 7 : gcoeff(R,1,1) = F2xX_add(gcoeff(R,1,1), F2xqX_mul(q, gcoeff(R,1,2), T));
2766 7 : gcoeff(R,2,1) = F2xX_add(gcoeff(R,2,1), F2xqX_mul(q, gcoeff(R,2,2), T));
2767 7 : return !a && b ? gc_all(av, 2, &R, b): gc_all(av, 1+!!a+!!b, &R, a, b);
2768 : }
2769 :
2770 : GEN
2771 0 : F2xqX_halfgcd(GEN x, GEN y, GEN T)
2772 0 : { return F2xqX_halfgcd_all(x, y, T, NULL, NULL); }
2773 :
2774 : static GEN
2775 169904 : F2xqX_gcd_basecase(GEN a, GEN b, GEN T)
2776 : {
2777 169904 : pari_sp av = avma, av0=avma;
2778 699314 : while (signe(b))
2779 : {
2780 : GEN c;
2781 529410 : if (gc_needed(av0,2))
2782 : {
2783 0 : if (DEBUGMEM>1) pari_warn(warnmem,"F2xqX_gcd (d = %ld)",degpol(b));
2784 0 : gerepileall(av0,2, &a,&b);
2785 : }
2786 529410 : av = avma; c = F2xqX_rem(a, b, T); a=b; b=c;
2787 : }
2788 169904 : return gc_const(av, a);
2789 : }
2790 :
2791 : GEN
2792 170254 : F2xqX_gcd(GEN x, GEN y, GEN T)
2793 : {
2794 170254 : pari_sp av = avma;
2795 170254 : x = F2xqX_red(x, T);
2796 170254 : y = F2xqX_red(y, T);
2797 170254 : if (!signe(x)) return gerepileupto(av, y);
2798 169904 : while (lgpol(y)>=F2xqX_GCD_LIMIT)
2799 : {
2800 0 : if (lgpol(y)<=(lgpol(x)>>1))
2801 : {
2802 0 : GEN r = F2xqX_rem(x, y, T);
2803 0 : x = y; y = r;
2804 : }
2805 0 : (void) F2xqX_halfgcd_all(x, y, T, &x, &y);
2806 0 : if (gc_needed(av,2))
2807 : {
2808 0 : if (DEBUGMEM>1) pari_warn(warnmem,"F2xqX_gcd (y = %ld)",degpol(y));
2809 0 : gerepileall(av,2,&x,&y);
2810 : }
2811 : }
2812 169904 : return gerepileupto(av, F2xqX_gcd_basecase(x, y, T));
2813 : }
2814 :
2815 : static GEN
2816 14 : F2xqX_extgcd_basecase(GEN a, GEN b, GEN T, GEN *ptu, GEN *ptv)
2817 : {
2818 14 : pari_sp av=avma;
2819 : GEN u,v,d,d1,v1;
2820 14 : long vx = varn(a);
2821 14 : d = a; d1 = b;
2822 14 : v = pol_0(vx); v1 = pol1_F2xX(vx, get_F2x_var(T));
2823 63 : while (signe(d1))
2824 : {
2825 49 : GEN r, q = F2xqX_divrem(d, d1, T, &r);
2826 49 : v = F2xX_add(v,F2xqX_mul(q,v1,T));
2827 49 : u=v; v=v1; v1=u;
2828 49 : u=r; d=d1; d1=u;
2829 49 : if (gc_needed(av,2))
2830 : {
2831 0 : if (DEBUGMEM>1) pari_warn(warnmem,"F2xqX_extgcd (d = %ld)",degpol(d));
2832 0 : gerepileall(av,5, &d,&d1,&u,&v,&v1);
2833 : }
2834 : }
2835 14 : if (ptu) *ptu = F2xqX_div(F2xX_add(d,F2xqX_mul(b,v, T)), a, T);
2836 14 : *ptv = v; return d;
2837 : }
2838 :
2839 : static GEN
2840 0 : F2xqX_extgcd_halfgcd(GEN x, GEN y, GEN T, GEN *ptu, GEN *ptv)
2841 : {
2842 : GEN u,v;
2843 0 : GEN V = cgetg(expu(lgpol(y))+2,t_VEC);
2844 0 : long i, n = 0, vs = varn(x), vT = get_F2x_var(T);
2845 0 : while (lgpol(y)>=F2xqX_EXTGCD_LIMIT)
2846 : {
2847 0 : if (lgpol(y)<=(lgpol(x)>>1))
2848 : {
2849 0 : GEN r, q = F2xqX_divrem(x, y, T, &r);
2850 0 : x = y; y = r;
2851 0 : gel(V,++n) = mkmat22(pol_0(vs),pol1_F2xX(vs,vT),pol1_F2xX(vs,vT),RgX_copy(q));
2852 : } else
2853 0 : gel(V,++n) = F2xqX_halfgcd_all(x, y, T, &x, &y);
2854 : }
2855 0 : y = F2xqX_extgcd_basecase(x,y, T, &u,&v);
2856 0 : for (i = n; i>1; i--)
2857 : {
2858 0 : GEN R = gel(V,i);
2859 0 : GEN u1 = F2xqX_addmulmul(u, v, gcoeff(R,1,1), gcoeff(R,2,1), T);
2860 0 : GEN v1 = F2xqX_addmulmul(u, v, gcoeff(R,1,2), gcoeff(R,2,2), T);
2861 0 : u = u1; v = v1;
2862 : }
2863 : {
2864 0 : GEN R = gel(V,1);
2865 0 : if (ptu)
2866 0 : *ptu = F2xqX_addmulmul(u, v, gcoeff(R,1,1), gcoeff(R,2,1), T);
2867 0 : *ptv = F2xqX_addmulmul(u, v, gcoeff(R,1,2), gcoeff(R,2,2), T);
2868 : }
2869 0 : return y;
2870 : }
2871 :
2872 : /* x and y in Z[Y][X], return lift(gcd(x mod T,p, y mod T,p)). Set u and v st
2873 : * ux + vy = gcd (mod T,p) */
2874 : GEN
2875 14 : F2xqX_extgcd(GEN x, GEN y, GEN T, GEN *ptu, GEN *ptv)
2876 : {
2877 14 : pari_sp av = avma;
2878 : GEN d;
2879 14 : x = F2xqX_red(x, T);
2880 14 : y = F2xqX_red(y, T);
2881 14 : if (lgpol(y)>=F2xqX_EXTGCD_LIMIT)
2882 0 : d = F2xqX_extgcd_halfgcd(x, y, T, ptu, ptv);
2883 : else
2884 14 : d = F2xqX_extgcd_basecase(x, y, T, ptu, ptv);
2885 14 : return gc_all(av, ptu?3:2, &d, ptv, ptu);
2886 : }
2887 :
2888 : static GEN
2889 0 : F2xqX_halfres(GEN x, GEN y, GEN T, GEN *a, GEN *b, GEN *r)
2890 : {
2891 : struct F2xqX_res res;
2892 : GEN V;
2893 : long dB;
2894 :
2895 0 : res.res = *r;
2896 0 : res.lc = leading_coeff(y);
2897 0 : res.deg0 = degpol(x);
2898 0 : res.deg1 = degpol(y);
2899 0 : V = F2xqX_halfres_i(x, y, T, a, b, &res);
2900 0 : dB = degpol(*b);
2901 0 : if (dB < degpol(y))
2902 0 : F2xqX_halfres_update(res.deg0, res.deg1, dB, T, &res);
2903 0 : *r = res.res;
2904 0 : return V;
2905 : }
2906 :
2907 : /* Res(A,B) = Res(B,R) * lc(B)^(a-r) * (-1)^(ab), with R=A%B, a=deg(A) ...*/
2908 : static GEN
2909 21 : F2xqX_resultant_basecase(GEN a, GEN b, GEN T)
2910 : {
2911 21 : pari_sp av = avma;
2912 21 : long vT = get_F2x_var(T), da,db,dc;
2913 21 : GEN c,lb, res = pol1_F2x(vT);
2914 :
2915 21 : if (!signe(a) || !signe(b)) return pol0_F2x(vT);
2916 :
2917 21 : da = degpol(a);
2918 21 : db = degpol(b);
2919 21 : if (db > da)
2920 0 : swapspec(a,b, da,db);
2921 21 : if (!da) return pol1_F2x(vT); /* = res * a[2] ^ db, since 0 <= db <= da = 0 */
2922 49 : while (db)
2923 : {
2924 28 : lb = gel(b,db+2);
2925 28 : c = F2xqX_rem(a,b, T);
2926 28 : a = b; b = c; dc = degpol(c);
2927 28 : if (dc < 0) { set_avma(av); return pol0_F2x(vT); }
2928 :
2929 28 : if (!equali1(lb)) res = F2xq_mul(res, F2xq_powu(lb, da - dc, T), T);
2930 28 : if (gc_needed(av,2))
2931 : {
2932 0 : if (DEBUGMEM>1) pari_warn(warnmem,"F2xqX_resultant (da = %ld)",da);
2933 0 : gerepileall(av,3, &a,&b,&res);
2934 : }
2935 28 : da = db; /* = degpol(a) */
2936 28 : db = dc; /* = degpol(b) */
2937 : }
2938 21 : res = F2xq_mul(res, F2xq_powu(gel(b,2), da, T), T);
2939 21 : return gerepileupto(av, res);
2940 : }
2941 :
2942 : /* Res(A,B) = Res(B,R) * lc(B)^(a-r) * (-1)^(ab), with R=A%B, a=deg(A) ...*/
2943 : GEN
2944 21 : F2xqX_resultant(GEN x, GEN y, GEN T)
2945 : {
2946 21 : pari_sp av = avma;
2947 21 : long dx, dy, vT = get_F2x_var(T);
2948 21 : GEN res = pol1_F2x(vT);
2949 21 : if (!signe(x) || !signe(y)) return pol0_F2x(vT);
2950 21 : dx = degpol(x); dy = degpol(y);
2951 21 : if (dx < dy)
2952 7 : swap(x,y);
2953 21 : while (lgpol(y) >= F2xqX_GCD_LIMIT)
2954 : {
2955 0 : if (lgpol(y)<=(lgpol(x)>>1))
2956 : {
2957 0 : GEN r = F2xqX_rem(x, y, T);
2958 0 : long dx = degpol(x), dy = degpol(y), dr = degpol(r);
2959 0 : GEN ly = gel(y,dy+2);
2960 0 : if (!F2x_equal1(ly))
2961 0 : res = F2xq_mul(res, F2xq_powu(ly, dx - dr, T), T);
2962 0 : x = y; y = r;
2963 : }
2964 0 : (void) F2xqX_halfres(x, y, T, &x, &y, &res);
2965 0 : if (gc_needed(av,2))
2966 : {
2967 0 : if (DEBUGMEM>1) pari_warn(warnmem,"F2xqX_resultant (y = %ld)",degpol(y));
2968 0 : gerepileall(av,3,&x,&y,&res);
2969 : }
2970 : }
2971 21 : res = F2xq_mul(res, F2xqX_resultant_basecase(x, y, T), T);
2972 21 : return gerepileupto(av, res);
2973 : }
2974 :
2975 : /* disc P = (-1)^(n(n-1)/2) lc(P)^(n - deg P' - 2) Res(P,P'), n = deg P */
2976 : GEN
2977 14 : F2xqX_disc(GEN P, GEN T)
2978 : {
2979 14 : pari_sp av = avma;
2980 14 : GEN L, dP = F2xX_deriv(P), D = F2xqX_resultant(P, dP, T);
2981 : long dd;
2982 14 : if (!lgpol(D)) return pol_0(get_F2x_var(T));
2983 14 : dd = degpol(P) - 2 - degpol(dP); /* >= -1; > -1 iff p | deg(P) */
2984 14 : L = leading_coeff(P);
2985 14 : if (dd && !F2x_equal1(L))
2986 0 : D = (dd == -1)? F2xq_div(D,L,T): F2xq_mul(D, F2xq_powu(L, dd, T), T);
2987 14 : return gerepileupto(av, D);
2988 : }
2989 :
2990 : /***********************************************************************/
2991 : /** **/
2992 : /** F2xqXQ **/
2993 : /** **/
2994 : /***********************************************************************/
2995 :
2996 : GEN
2997 114660 : F2xqXQ_mul(GEN x, GEN y, GEN S, GEN T) {
2998 114660 : return F2xqX_rem(F2xqX_mul(x,y,T),S,T);
2999 : }
3000 :
3001 : GEN
3002 104531 : F2xqXQ_sqr(GEN x, GEN S, GEN T) {
3003 104531 : return F2xqX_rem(F2xqX_sqr(x,T),S,T);
3004 : }
3005 :
3006 : GEN
3007 7 : F2xqXQ_invsafe(GEN x, GEN S, GEN T)
3008 : {
3009 7 : GEN V, z = F2xqX_extgcd(get_F2xqX_mod(S), x, T, NULL, &V);
3010 7 : if (degpol(z)) return NULL;
3011 7 : z = F2xq_invsafe(gel(z,2),T);
3012 7 : if (!z) return NULL;
3013 7 : return F2xqX_F2xq_mul(V, z, T);
3014 : }
3015 :
3016 : GEN
3017 7 : F2xqXQ_inv(GEN x, GEN S, GEN T)
3018 : {
3019 7 : pari_sp av = avma;
3020 7 : GEN U = F2xqXQ_invsafe(x, S, T);
3021 7 : if (!U) pari_err_INV("F2xqXQ_inv",x);
3022 7 : return gerepileupto(av, U);
3023 : }
3024 :
3025 : struct _F2xqXQ {
3026 : GEN T, S;
3027 : };
3028 :
3029 : static GEN
3030 345583 : _F2xqXQ_add(void *data, GEN x, GEN y) {
3031 : (void) data;
3032 345583 : return F2xX_add(x,y);
3033 : }
3034 : static GEN
3035 482510 : _F2xqXQ_cmul(void *data, GEN P, long a, GEN x) {
3036 : (void) data;
3037 482510 : return F2xX_F2x_mul(x,gel(P,a+2));
3038 : }
3039 : static GEN
3040 352870 : _F2xqXQ_red(void *data, GEN x) {
3041 352870 : struct _F2xqXQ *d = (struct _F2xqXQ*) data;
3042 352870 : return F2xqX_red(x, d->T);
3043 : }
3044 : static GEN
3045 114604 : _F2xqXQ_mul(void *data, GEN x, GEN y) {
3046 114604 : struct _F2xqXQ *d = (struct _F2xqXQ*) data;
3047 114604 : return F2xqXQ_mul(x,y, d->S,d->T);
3048 : }
3049 : static GEN
3050 33271 : _F2xqXQ_sqr(void *data, GEN x) {
3051 33271 : struct _F2xqXQ *d = (struct _F2xqXQ*) data;
3052 33271 : return F2xqXQ_sqr(x, d->S,d->T);
3053 : }
3054 : static GEN
3055 56 : _F2xqXQ_zero(void *data) {
3056 56 : struct _F2xqXQ *d = (struct _F2xqXQ*) data;
3057 56 : return pol_0(get_F2xqX_var(d->S));
3058 : }
3059 : static GEN
3060 376362 : _F2xqXQ_one(void *data) {
3061 376362 : struct _F2xqXQ *d = (struct _F2xqXQ*) data;
3062 376362 : return pol1_F2xX(get_F2xqX_var(d->S),get_F2x_var(d->T));
3063 : }
3064 :
3065 : static struct bb_algebra F2xqXQ_algebra = { _F2xqXQ_red,
3066 : _F2xqXQ_add, _F2xqXQ_add, _F2xqXQ_mul,_F2xqXQ_sqr,_F2xqXQ_one,_F2xqXQ_zero };
3067 :
3068 : GEN
3069 7 : F2xqXQ_pow(GEN x, GEN n, GEN S, GEN T)
3070 : {
3071 : struct _F2xqXQ D;
3072 7 : long s = signe(n);
3073 7 : if (!s) return pol1_F2xX(get_F2xqX_var(S), get_F2x_var(T));
3074 7 : if (s < 0) x = F2xqXQ_inv(x,S,T);
3075 7 : if (is_pm1(n)) return s < 0 ? x : gcopy(x);
3076 7 : if (degpol(x) >= get_F2xqX_degree(S)) x = F2xqX_rem(x,S,T);
3077 7 : D.T = F2x_get_red(T);
3078 7 : D.S = F2xqX_get_red(S, T);
3079 7 : return gen_pow(x, n, (void*)&D, &_F2xqXQ_sqr, &_F2xqXQ_mul);
3080 : }
3081 :
3082 : GEN
3083 7854 : F2xqXQ_powers(GEN x, long l, GEN S, GEN T)
3084 : {
3085 : struct _F2xqXQ D;
3086 7854 : int use_sqr = 2*degpol(x) >= get_F2xqX_degree(S);
3087 7854 : D.T = F2x_get_red(T);
3088 7854 : D.S = F2xqX_get_red(S, T);
3089 7854 : return gen_powers(x, l, use_sqr, (void*)&D, &_F2xqXQ_sqr, &_F2xqXQ_mul,&_F2xqXQ_one);
3090 : }
3091 :
3092 : GEN
3093 14511 : F2xqX_F2xqXQV_eval(GEN P, GEN V, GEN S, GEN T)
3094 : {
3095 : struct _F2xqXQ D;
3096 14511 : D.T = F2x_get_red(T);
3097 14511 : D.S = F2xqX_get_red(S, T);
3098 14511 : return gen_bkeval_powers(P, degpol(P), V, (void*)&D, &F2xqXQ_algebra,
3099 : _F2xqXQ_cmul);
3100 : }
3101 :
3102 : GEN
3103 122472 : F2xqX_F2xqXQ_eval(GEN Q, GEN x, GEN S, GEN T)
3104 : {
3105 : struct _F2xqXQ D;
3106 122472 : int use_sqr = 2*degpol(x) >= get_F2xqX_degree(S);
3107 122472 : D.T = F2x_get_red(T);
3108 122472 : D.S = F2xqX_get_red(S, T);
3109 122472 : return gen_bkeval(Q, degpol(Q), x, use_sqr, (void*)&D, &F2xqXQ_algebra,
3110 : _F2xqXQ_cmul);
3111 : }
3112 :
3113 : static GEN
3114 89019 : F2xqXQ_autpow_sqr(void * E, GEN x)
3115 : {
3116 89019 : struct _F2xqXQ *D = (struct _F2xqXQ *)E;
3117 89019 : GEN T = D->T;
3118 89019 : GEN phi = gel(x,1), S = gel(x,2);
3119 89019 : long n = brent_kung_optpow(get_F2x_degree(T)-1,lgpol(S)+1,1);
3120 89019 : GEN V = F2xq_powers(phi, n, T);
3121 89019 : GEN phi2 = F2x_F2xqV_eval(phi, V, T);
3122 89019 : GEN Sphi = F2xY_F2xqV_evalx(S, V, T);
3123 89019 : GEN S2 = F2xqX_F2xqXQ_eval(Sphi, S, D->S, T);
3124 89019 : return mkvec2(phi2, S2);
3125 : }
3126 :
3127 : static GEN
3128 33453 : F2xqXQ_autpow_mul(void * E, GEN x, GEN y)
3129 : {
3130 33453 : struct _F2xqXQ *D = (struct _F2xqXQ *)E;
3131 33453 : GEN T = D->T;
3132 33453 : GEN phi1 = gel(x,1), S1 = gel(x,2);
3133 33453 : GEN phi2 = gel(y,1), S2 = gel(y,2);
3134 33453 : long n = brent_kung_optpow(get_F2x_degree(T)-1,lgpol(S1)+1,1);
3135 33453 : GEN V = F2xq_powers(phi2, n, T);
3136 33453 : GEN phi3 = F2x_F2xqV_eval(phi1,V,T);
3137 33453 : GEN Sphi = F2xY_F2xqV_evalx(S1,V,T);
3138 33453 : GEN S3 = F2xqX_F2xqXQ_eval(Sphi, S2, D->S, T);
3139 33453 : return mkvec2(phi3, S3);
3140 : }
3141 :
3142 : GEN
3143 70700 : F2xqXQ_autpow(GEN aut, long n, GEN S, GEN T)
3144 : {
3145 : struct _F2xqXQ D;
3146 70700 : D.T = F2x_get_red(T);
3147 70700 : D.S = F2xqX_get_red(S, T);
3148 70700 : return gen_powu(aut,n,&D,F2xqXQ_autpow_sqr,F2xqXQ_autpow_mul);
3149 : }
3150 :
3151 : static GEN
3152 7231 : F2xqXQ_auttrace_mul(void *E, GEN x, GEN y)
3153 : {
3154 7231 : struct _F2xqXQ *D = (struct _F2xqXQ *) E;
3155 7231 : GEN T = D->T;
3156 7231 : GEN phi1 = gel(x,1), S1 = gel(x,2), a1 = gel(x,3);
3157 7231 : GEN phi2 = gel(y,1), S2 = gel(y,2), a2 = gel(y,3);
3158 7231 : long n2 = brent_kung_optpow(get_F2x_degree(T)-1, lgpol(S1)+lgpol(a1)+1, 1);
3159 7231 : GEN V2 = F2xq_powers(phi2, n2, T);
3160 7231 : GEN phi3 = F2x_F2xqV_eval(phi1, V2, T);
3161 7231 : GEN Sphi = F2xY_F2xqV_evalx(S1, V2, T);
3162 7231 : GEN aphi = F2xY_F2xqV_evalx(a1, V2, T);
3163 7231 : long n = brent_kung_optpow(maxss(degpol(Sphi),degpol(aphi)),2,1);
3164 7231 : GEN V = F2xqXQ_powers(S2, n, D->S, T);
3165 7231 : GEN S3 = F2xqX_F2xqXQV_eval(Sphi, V, D->S, T);
3166 7231 : GEN aS = F2xqX_F2xqXQV_eval(aphi, V, D->S, T);
3167 7231 : GEN a3 = F2xX_add(aS, a2);
3168 7231 : return mkvec3(phi3, S3, a3);
3169 : }
3170 :
3171 : static GEN
3172 4900 : F2xqXQ_auttrace_sqr(void *E, GEN x) { return F2xqXQ_auttrace_mul(E, x, x); }
3173 : GEN
3174 2709 : F2xqXQ_auttrace(GEN aut, long n, GEN S, GEN T)
3175 : {
3176 : struct _F2xqXQ D;
3177 2709 : D.T = F2x_get_red(T);
3178 2709 : D.S = F2xqX_get_red(S, T);
3179 2709 : return gen_powu(aut,n,&D,F2xqXQ_auttrace_sqr,F2xqXQ_auttrace_mul);
3180 : }
3181 :
3182 : GEN
3183 63 : F2xqXQV_red(GEN x, GEN S, GEN T)
3184 273 : { pari_APPLY_type(t_VEC, F2xqX_rem(gel(x,i), S, T)) }
|
