Branch data Line data Source code
1 : : /* Copyright (C) 2000-2010 The PARI group.
2 : :
3 : : This file is part of the PARI/GP package.
4 : :
5 : : PARI/GP is free software; you can redistribute it and/or modify it under the
6 : : terms of the GNU General Public License as published by the Free Software
7 : : Foundation. It is distributed in the hope that it will be useful, but WITHOUT
8 : : ANY WARRANTY WHATSOEVER.
9 : :
10 : : Check the License for details. You should have received a copy of it, along
11 : : with the package; see the file 'COPYING'. If not, write to the Free Software
12 : : Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. */
13 : :
14 : : /*******************************************************************/
15 : : /* */
16 : : /* CONSTRUCTORS */
17 : : /* */
18 : : /*******************************************************************/
19 : : #define retmkfrac(x,y)\
20 : : do { GEN _v = cgetg(3, t_FRAC);\
21 : : gel(_v,1) = (x);\
22 : : gel(_v,2) = (y); return _v; } while(0)
23 : : #define retmkintmod(x,y)\
24 : : do { GEN _v = cgetg(3, t_INTMOD);\
25 : : gel(_v,1) = (y);\
26 : : gel(_v,2) = (x); return _v; } while(0)
27 : : #define retmkcomplex(x,y)\
28 : : do { GEN _v = cgetg(3, t_COMPLEX);\
29 : : gel(_v,1) = (x);\
30 : : gel(_v,2) = (y); return _v; } while(0)
31 : : #define retmkpolmod(x,y)\
32 : : do { GEN _v = cgetg(3, t_POLMOD);\
33 : : gel(_v,1) = (y);\
34 : : gel(_v,2) = (x); return _v; } while(0)
35 : : #define retmkvec(x)\
36 : : do { GEN _v = cgetg(2, t_VEC);\
37 : : gel(_v,1) = (x); return _v; } while(0)
38 : : #define retmkvec2(x,y)\
39 : : do { GEN _v = cgetg(3, t_VEC);\
40 : : gel(_v,1) = (x);\
41 : : gel(_v,2) = (y); return _v; } while(0)
42 : : #define retmkvec3(x,y,z)\
43 : : do { GEN _v = cgetg(4, t_VEC);\
44 : : gel(_v,1) = (x);\
45 : : gel(_v,2) = (y);\
46 : : gel(_v,3) = (z); return _v; } while(0)
47 : : #define retmkqfi(x,y,z)\
48 : : do { GEN _v = cgetg(4, t_QFI);\
49 : : gel(_v,1) = (x);\
50 : : gel(_v,2) = (y);\
51 : : gel(_v,3) = (z); return _v; } while(0)
52 : : #define retmkqfr(x,y,z,d)\
53 : : do { GEN _v = cgetg(5, t_QFR);\
54 : : gel(_v,1) = (x);\
55 : : gel(_v,2) = (y);\
56 : : gel(_v,3) = (z);\
57 : : gel(_v,4) = (d); return _v; } while(0)
58 : : #define retmkquad(x,y,z)\
59 : : do { GEN _v = cgetg(4, t_QUAD);\
60 : : gel(_v,1) = (x);\
61 : : gel(_v,2) = (y);\
62 : : gel(_v,3) = (z); return _v; } while(0)
63 : : #define retmkvec4(x,y,z,t)\
64 : : do { GEN _v = cgetg(5, t_VEC);\
65 : : gel(_v,1) = (x);\
66 : : gel(_v,2) = (y);\
67 : : gel(_v,3) = (z);\
68 : : gel(_v,4) = (t); return _v; } while(0)
69 : : #define retmkvec5(x,y,z,t,u)\
70 : : do { GEN _v = cgetg(6, t_VEC);\
71 : : gel(_v,1) = (x);\
72 : : gel(_v,2) = (y);\
73 : : gel(_v,3) = (z);\
74 : : gel(_v,4) = (t);\
75 : : gel(_v,5) = (u); return _v; } while(0)
76 : : #define retmkcol(x)\
77 : : do { GEN _v = cgetg(2, t_COL);\
78 : : gel(_v,1) = (x); return _v; } while(0)
79 : : #define retmkcol2(x,y)\
80 : : do { GEN _v = cgetg(3, t_COL);\
81 : : gel(_v,1) = (x);\
82 : : gel(_v,2) = (y); return _v; } while(0)
83 : : #define retmkcol3(x,y,z)\
84 : : do { GEN _v = cgetg(4, t_COL);\
85 : : gel(_v,1) = (x);\
86 : : gel(_v,2) = (y);\
87 : : gel(_v,3) = (z); return _v; } while(0)
88 : : #define retmkcol4(x,y,z,t)\
89 : : do { GEN _v = cgetg(5, t_COL);\
90 : : gel(_v,1) = (x);\
91 : : gel(_v,2) = (y);\
92 : : gel(_v,3) = (z);\
93 : : gel(_v,4) = (t); return _v; } while(0)
94 : : #define retmkcol5(x,y,z,t,u)\
95 : : do { GEN _v = cgetg(6, t_COL);\
96 : : gel(_v,1) = (x);\
97 : : gel(_v,2) = (y);\
98 : : gel(_v,3) = (z);\
99 : : gel(_v,4) = (t);\
100 : : gel(_v,5) = (u); return _v; } while(0)
101 : : #define retmkmat(x)\
102 : : do { GEN _v = cgetg(2, t_MAT);\
103 : : gel(_v,1) = (x); return _v; } while(0)
104 : : #define retmkmat2(x,y)\
105 : : do { GEN _v = cgetg(3, t_MAT);\
106 : : gel(_v,1) = (x);\
107 : : gel(_v,2) = (y); return _v; } while(0)
108 : : #define retmkmat3(x,y,z)\
109 : : do { GEN _v = cgetg(4, t_MAT);\
110 : : gel(_v,1) = (x);\
111 : : gel(_v,2) = (y);\
112 : : gel(_v,3) = (z); return _v; } while(0)
113 : : #define retmkmat4(x,y,z,t)\
114 : : do { GEN _v = cgetg(5, t_MAT);\
115 : : gel(_v,1) = (x);\
116 : : gel(_v,2) = (y);\
117 : : gel(_v,3) = (z);\
118 : : gel(_v,4) = (t); return _v; } while(0)
119 : : #define retmkmat5(x,y,z,t,u)\
120 : : do { GEN _v = cgetg(6, t_MAT);\
121 : : gel(_v,1) = (x);\
122 : : gel(_v,2) = (y);\
123 : : gel(_v,3) = (z);\
124 : : gel(_v,4) = (t);\
125 : : gel(_v,5) = (u); return _v; } while(0)
126 : :
127 : : INLINE GEN
128 : 282768 : mkintmod(GEN x, GEN y) { retmkintmod(x,y); }
129 : : INLINE GEN
130 : 2555 : mkintmodu(ulong x, ulong y) {
131 : 2555 : GEN v = cgetg(3,t_INTMOD);
132 : 2555 : gel(v,1) = utoipos(y);
133 : 2555 : gel(v,2) = utoi(x); return v;
134 : : }
135 : : INLINE GEN
136 : 45480 : mkpolmod(GEN x, GEN y) { retmkpolmod(x,y); }
137 : : INLINE GEN
138 : 30159 : mkfrac(GEN x, GEN y) { retmkfrac(x,y); }
139 : : INLINE GEN
140 : 1038697 : mkfraccopy(GEN x, GEN y) { retmkfrac(icopy(x), icopy(y)); }
141 : : INLINE GEN
142 : 5 : mkrfrac(GEN x, GEN y) { GEN v = cgetg(3, t_RFRAC);
143 : 5 : gel(v,1) = x; gel(v,2) = y; return v; }
144 : : INLINE GEN
145 : 10 : mkrfraccopy(GEN x, GEN y) { GEN v = cgetg(3, t_RFRAC);
146 : 10 : gel(v,1) = gcopy(x); gel(v,2) = gcopy(y); return v; }
147 : : INLINE GEN
148 : 2176335 : mkcomplex(GEN x, GEN y) { retmkcomplex(x,y); }
149 : : INLINE GEN
150 : 117863 : gen_I(void) { return mkcomplex(gen_0, gen_1); }
151 : : INLINE GEN
152 : 36855 : cgetc(long l) { retmkcomplex(cgetr(l), cgetr(l)); }
153 : : INLINE GEN
154 : 45 : mkquad(GEN n, GEN x, GEN y) { GEN v = cgetg(4, t_QUAD);
155 : 45 : gel(v,1) = n; gel(v,2) = x; gel(v,3) = y; return v; }
156 : : /* vecsmall */
157 : : INLINE GEN
158 : 15086286 : mkvecsmall(long x) { GEN v = cgetg(2, t_VECSMALL); v[1] = x; return v; }
159 : : INLINE GEN
160 : 64973736 : mkvecsmall2(long x,long y) { GEN v = cgetg(3, t_VECSMALL);
161 : 64973736 : v[1]=x; v[2]=y; return v; }
162 : : INLINE GEN
163 : 20328996 : mkvecsmall3(long x,long y,long z) { GEN v = cgetg(4, t_VECSMALL);
164 : 20328996 : v[1]=x; v[2]=y; v[3]=z; return v; }
165 : : INLINE GEN
166 : 285560 : mkvecsmall4(long x,long y,long z,long t) { GEN v = cgetg(5, t_VECSMALL);
167 : 285560 : v[1]=x; v[2]=y; v[3]=z; v[4]=t; return v; }
168 : : INLINE GEN
169 : 115 : mkvecsmall5(long x,long y,long z,long t,long u) { GEN v = cgetg(6, t_VECSMALL);
170 : 115 : v[1]=x; v[2]=y; v[3]=z; v[4]=t; v[5]=u; return v; }
171 : :
172 : : INLINE GEN
173 : 112936 : mkqfi(GEN x, GEN y, GEN z) { retmkqfi(x,y,z); }
174 : : /* vec */
175 : : INLINE GEN
176 : 1153433 : mkvec(GEN x) { retmkvec(x); }
177 : : INLINE GEN
178 : 9494453 : mkvec2(GEN x, GEN y) { retmkvec2(x,y); }
179 : : INLINE GEN
180 : 14391146 : mkvec3(GEN x, GEN y, GEN z) { retmkvec3(x,y,z); }
181 : : INLINE GEN
182 : 2571486 : mkvec4(GEN x, GEN y, GEN z, GEN t) { retmkvec4(x,y,z,t); }
183 : : INLINE GEN
184 : 8313030 : mkvec5(GEN x, GEN y, GEN z, GEN t, GEN u) { retmkvec5(x,y,z,t,u); }
185 : : INLINE GEN
186 : 5 : mkvecs(long x) { retmkvec(stoi(x)); }
187 : : INLINE GEN
188 : 6384 : mkvec2s(long x, long y) { retmkvec2(stoi(x),stoi(y)); }
189 : : INLINE GEN
190 : 351780 : mkvec3s(long x, long y, long z) { retmkvec3(stoi(x),stoi(y),stoi(z)); }
191 : : INLINE GEN
192 : 5 : mkvec4s(long x, long y, long z, long t) { retmkvec4(stoi(x),stoi(y),stoi(z),stoi(t)); }
193 : : INLINE GEN
194 : 23365 : mkveccopy(GEN x) { GEN v = cgetg(2, t_VEC); gel(v,1) = gcopy(x); return v; }
195 : : INLINE GEN
196 : 113561 : mkvec2copy(GEN x, GEN y) {
197 : 113561 : GEN v = cgetg(3,t_VEC); gel(v,1) = gcopy(x); gel(v,2) = gcopy(y); return v; }
198 : : /* col */
199 : : INLINE GEN
200 : 477268 : mkcol(GEN x) { retmkcol(x); }
201 : : INLINE GEN
202 : 7873237 : mkcol2(GEN x, GEN y) { retmkcol2(x,y); }
203 : : INLINE GEN
204 : 28721 : mkcol3(GEN x, GEN y, GEN z) { retmkcol3(x,y,z); }
205 : : INLINE GEN
206 : 0 : mkcol4(GEN x, GEN y, GEN z, GEN t) { retmkcol4(x,y,z,t); }
207 : : INLINE GEN
208 : 0 : mkcol5(GEN x, GEN y, GEN z, GEN t, GEN u) { retmkcol5(x,y,z,t,u); }
209 : : INLINE GEN
210 : 0 : mkcols(long x) { retmkcol(stoi(x)); }
211 : : INLINE GEN
212 : 0 : mkcol2s(long x, long y) { retmkcol2(stoi(x),stoi(y)); }
213 : : INLINE GEN
214 : 0 : mkcol3s(long x, long y, long z) { retmkcol3(stoi(x),stoi(y),stoi(z)); }
215 : : INLINE GEN
216 : 0 : mkcol4s(long x, long y, long z, long t) { retmkcol4(stoi(x),stoi(y),stoi(z),stoi(t)); }
217 : : INLINE GEN
218 : 18444 : mkcolcopy(GEN x) { GEN v = cgetg(2, t_COL); gel(v,1) = gcopy(x); return v; }
219 : : /* mat */
220 : : INLINE GEN
221 : 177570 : mkmat(GEN x) { retmkmat(x); }
222 : : INLINE GEN
223 : 5941927 : mkmat2(GEN x, GEN y) { retmkmat2(x,y); }
224 : : INLINE GEN
225 : 2116 : mkmat3(GEN x, GEN y, GEN z) { retmkmat3(x,y,z); }
226 : : INLINE GEN
227 : 0 : mkmat4(GEN x, GEN y, GEN z, GEN t) { retmkmat4(x,y,z,t); }
228 : : INLINE GEN
229 : 0 : mkmat5(GEN x, GEN y, GEN z, GEN t, GEN u) { retmkmat5(x,y,z,t,u); }
230 : : INLINE GEN
231 : 3670 : mkmatcopy(GEN x) { GEN v = cgetg(2, t_MAT); gel(v,1) = gcopy(x); return v; }
232 : : INLINE GEN
233 : 0 : mkerr(long x) { GEN v = cgetg(2, t_ERROR); v[1] = x; return v; }
234 : : INLINE GEN
235 : 4374 : mkoo() { GEN v = cgetg(2, t_INFINITY); gel(v,1) = gen_1; return v; }
236 : : INLINE GEN
237 : 2675 : mkmoo() { GEN v = cgetg(2, t_INFINITY); gel(v,1) = gen_m1; return v; }
238 : : INLINE long
239 : 8483 : inf_get_sign(GEN x) { return signe(gel(x,1)); }
240 : : /* pol */
241 : : INLINE GEN
242 : 151031 : pol_x(long v) {
243 : 151031 : GEN p = cgetg(4, t_POL);
244 : 151031 : p[1] = evalsigne(1)|evalvarn(v);
245 : 151031 : gel(p,2) = gen_0;
246 : 151031 : gel(p,3) = gen_1; return p;
247 : : }
248 : : INLINE GEN
249 : 386232 : pol_1(long v) {
250 : 386232 : GEN p = cgetg(3, t_POL);
251 : 386232 : p[1] = evalsigne(1)|evalvarn(v);
252 : 386232 : gel(p,2) = gen_1; return p;
253 : : }
254 : : INLINE GEN
255 : 8396794 : pol_0(long v)
256 : : {
257 : 8396794 : GEN x = cgetg(2,t_POL);
258 : 8396794 : x[1] = evalvarn(v); return x;
259 : : }
260 : : #define retconst_vec(n,x)\
261 : : do { long _i, _n = (n);\
262 : : GEN _v = cgetg(n+1, t_VEC), _x = (x);\
263 : : for (_i = 1; _i <= _n; _i++) gel(_v,_i) = _x;\
264 : : return _v; } while(0)
265 : : INLINE GEN
266 [ + + ]: 24237157 : const_vec(long n, GEN x) { retconst_vec(n, x); }
267 : : #define retconst_col(n,x)\
268 : : do { long _i, _n = (n);\
269 : : GEN _v = cgetg(n+1, t_COL), _x = (x);\
270 : : for (_i = 1; _i <= _n; _i++) gel(_v,_i) = _x;\
271 : : return _v; } while(0)
272 : : INLINE GEN
273 [ + + ]: 51512 : const_col(long n, GEN x) { retconst_col(n, x); }
274 : : INLINE GEN
275 : 2650293 : const_vecsmall(long n, long c)
276 : : {
277 : : long i;
278 : 2650293 : GEN V = cgetg(n+1,t_VECSMALL);
279 [ + + ]: 12100260 : for(i=1;i<=n;i++) V[i] = c;
280 : 2650293 : return V;
281 : : }
282 : :
283 : : /*** ZERO ***/
284 : : /* O(p^e) */
285 : : INLINE GEN
286 : 7630 : zeropadic(GEN p, long e)
287 : : {
288 : 7630 : GEN y = cgetg(5,t_PADIC);
289 : 7630 : gel(y,4) = gen_0;
290 : 7630 : gel(y,3) = gen_1;
291 : 7630 : gel(y,2) = icopy(p);
292 : 7630 : y[1] = evalvalp(e) | _evalprecp(0);
293 : 7630 : return y;
294 : : }
295 : : INLINE GEN
296 : 225 : zeropadic_shallow(GEN p, long e)
297 : : {
298 : 225 : GEN y = cgetg(5,t_PADIC);
299 : 225 : gel(y,4) = gen_0;
300 : 225 : gel(y,3) = gen_1;
301 : 225 : gel(y,2) = p;
302 : 225 : y[1] = evalvalp(e) | _evalprecp(0);
303 : 225 : return y;
304 : : }
305 : : /* O(pol_x(v)^e) */
306 : : INLINE GEN
307 : 6680 : zeroser(long v, long e)
308 : : {
309 : 6680 : GEN x = cgetg(2, t_SER);
310 : 6680 : x[1] = evalvalp(e) | evalvarn(v); return x;
311 : : }
312 : : /* 0 * pol_x(v) */
313 : : INLINE GEN
314 : 2914826 : zeropol(long v) { return pol_0(v); }
315 : : /* vector(n) */
316 : : INLINE GEN
317 : 16925650 : zerocol(long n)
318 : : {
319 : 16925650 : GEN y = cgetg(n+1,t_COL);
320 [ + + ]: 144733363 : long i; for (i=1; i<=n; i++) gel(y,i) = gen_0;
321 : 16925650 : return y;
322 : : }
323 : : /* vectorv(n) */
324 : : INLINE GEN
325 : 4036779 : zerovec(long n)
326 : : {
327 : 4036779 : GEN y = cgetg(n+1,t_VEC);
328 [ + + ]: 36879985 : long i; for (i=1; i<=n; i++) gel(y,i) = gen_0;
329 : 4036779 : return y;
330 : : }
331 : : /* matrix(m, n) */
332 : : INLINE GEN
333 : 3748 : zeromat(long m, long n)
334 : : {
335 : 3748 : GEN y = cgetg(n+1,t_MAT);
336 : 3748 : GEN v = zerocol(m);
337 [ + + ]: 12709 : long i; for (i=1; i<=n; i++) gel(y,i) = v;
338 : 3748 : return y;
339 : : }
340 : : /* = zero_zx, sv is a evalvarn()*/
341 : : INLINE GEN
342 : 33748 : zero_Flx(long sv) { return pol0_Flx(sv); }
343 : : INLINE GEN
344 : 9824568 : zero_Flv(long n)
345 : : {
346 : 9824568 : GEN y = cgetg(n+1,t_VECSMALL);
347 [ + + ]: 311688161 : long i; for (i=1; i<=n; i++) y[i] = 0;
348 : 9824568 : return y;
349 : : }
350 : : /* matrix(m, n) */
351 : : INLINE GEN
352 : 100 : zero_Flm(long m, long n)
353 : : {
354 : 100 : GEN y = cgetg(n+1,t_MAT);
355 : 100 : GEN v = zero_Flv(m);
356 [ + + ]: 380 : long i; for (i=1; i<=n; i++) gel(y,i) = v;
357 : 100 : return y;
358 : : }
359 : : /* matrix(m, n) */
360 : : INLINE GEN
361 : 8275 : zero_Flm_copy(long m, long n)
362 : : {
363 : 8275 : GEN y = cgetg(n+1,t_MAT);
364 [ + + ]: 85186 : long i; for (i=1; i<=n; i++) gel(y,i) = zero_Flv(m);
365 : 8275 : return y;
366 : : }
367 : :
368 : : INLINE GEN
369 : 527519 : zero_F2v(long m)
370 : : {
371 : 527519 : long l = nbits2nlong(m);
372 : 527519 : GEN v = zero_Flv(l+1);
373 : 527519 : v[1] = m;
374 : 527519 : return v;
375 : : }
376 : :
377 : : INLINE GEN
378 : 0 : zero_F2m(long m, long n)
379 : : {
380 : : long i;
381 : 0 : GEN M = cgetg(n+1, t_MAT);
382 : 0 : GEN v = zero_F2v(m);
383 [ # # ]: 0 : for (i = 1; i <= n; i++)
384 : 0 : gel(M,i) = v;
385 : 0 : return M;
386 : : }
387 : :
388 : :
389 : : INLINE GEN
390 : 66591 : zero_F2m_copy(long m, long n)
391 : : {
392 : : long i;
393 : 66591 : GEN M = cgetg(n+1, t_MAT);
394 [ + + ]: 350172 : for (i = 1; i <= n; i++)
395 : 283581 : gel(M,i)= zero_F2v(m);
396 : 66591 : return M;
397 : : }
398 : :
399 : : /* matrix(m, n) */
400 : : INLINE GEN
401 : 1572650 : zeromatcopy(long m, long n)
402 : : {
403 : 1572650 : GEN y = cgetg(n+1,t_MAT);
404 [ + + ]: 6940500 : long i; for (i=1; i<=n; i++) gel(y,i) = zerocol(m);
405 : 1572650 : return y;
406 : : }
407 : :
408 : : /* i-th vector in the standard basis */
409 : : INLINE GEN
410 : 889586 : col_ei(long n, long i) { GEN e = zerocol(n); gel(e,i) = gen_1; return e; }
411 : : INLINE GEN
412 : 212219 : vec_ei(long n, long i) { GEN e = zerovec(n); gel(e,i) = gen_1; return e; }
413 : : INLINE GEN
414 : 5 : F2v_ei(long n, long i) { GEN e = zero_F2v(n); F2v_set(e,i); return e; }
415 : : INLINE GEN
416 : 5046 : vecsmall_ei(long n, long i) { GEN e = zero_zv(n); e[i] = 1; return e; }
417 : : INLINE GEN
418 : 2608821 : Rg_col_ei(GEN x, long n, long i) { GEN e = zerocol(n); gel(e,i) = x; return e; }
419 : :
420 : : INLINE GEN
421 : 141989 : shallowcopy(GEN x)
422 [ + + ]: 141989 : { return typ(x) == t_MAT ? RgM_shallowcopy(x): leafcopy(x); }
423 : :
424 : : /* routines for naive growarrays */
425 : : INLINE GEN
426 : 380571 : vectrunc_init(long l)
427 : : {
428 : 380571 : GEN z = new_chunk(l);
429 : 380571 : z[0] = evaltyp(t_VEC) | _evallg(1); return z;
430 : : }
431 : : INLINE void
432 : 599871 : vectrunc_append(GEN x, GEN t)
433 : 599871 : { long l = lg(x); gel(x,l) = t; setlg(x, l+1); }
434 : : INLINE void
435 : 0 : vectrunc_append_batch(GEN x, GEN y)
436 : : {
437 : 0 : long i, l = lg(x), ly = lg(y);
438 : 0 : GEN z = x + l-1;
439 [ # # ]: 0 : for (i = 1; i < ly; i++) gel(z,i) = gel(y,i);
440 : 0 : setlg(x, l+ly-1);
441 : 0 : }
442 : : INLINE GEN
443 : 980927 : vecsmalltrunc_init(long l)
444 : : {
445 : 980927 : GEN z = new_chunk(l);
446 : 980927 : z[0] = evaltyp(t_VECSMALL) | _evallg(1); return z;
447 : : }
448 : : INLINE void
449 : 1865521 : vecsmalltrunc_append(GEN x, long t)
450 : 1865521 : { long l = lg(x); x[l] = t; setlg(x, l+1); }
451 : :
452 : : /*******************************************************************/
453 : : /* */
454 : : /* VEC / COL / VECSMALL */
455 : : /* */
456 : : /*******************************************************************/
457 : : /* shallow*/
458 : : INLINE GEN
459 : 0 : vec_shorten(GEN v, long n)
460 : : {
461 : : long i;
462 : 0 : GEN V = cgetg(n+1,t_VEC);
463 [ # # ]: 0 : for(i=1;i<=n;i++) gel(V,i) = gel(v,i);
464 : 0 : return V;
465 : : }
466 : : /* shallow*/
467 : : INLINE GEN
468 : 5274 : vec_lengthen(GEN v, long n)
469 : : {
470 : : long i;
471 : 5274 : long l=lg(v);
472 : 5274 : GEN V = cgetg(n+1,t_VEC);
473 [ + + ]: 68633 : for(i=1;i<l;i++) gel(V,i) = gel(v,i);
474 : 5274 : return V;
475 : : }
476 : : /* shallow*/
477 : : INLINE GEN
478 : 39210 : vec_append(GEN V, GEN s)
479 : : {
480 : 39210 : long i, l2 = lg(V);
481 : 39210 : GEN res = cgetg(l2+1, typ(V));
482 [ + + ]: 64460 : for (i = 1; i < l2; ++i) gel(res, i) = gel(V,i);
483 : 39210 : gel(res,l2) = s; return res;
484 : : }
485 : : /* shallow*/
486 : : INLINE GEN
487 : 1200 : vec_setconst(GEN v, GEN x)
488 : : {
489 : 1200 : long i, l = lg(v);
490 [ + + ]: 4730 : for (i = 1; i < l; i++) gel(v,i) = x;
491 : 1200 : return v;
492 : : }
493 : : INLINE GEN
494 : 3000 : vecsmall_shorten(GEN v, long n)
495 : : {
496 : : long i;
497 : 3000 : GEN V = cgetg(n+1,t_VECSMALL);
498 [ + + ]: 14130 : for(i=1;i<=n;i++) V[i] = v[i];
499 : 3000 : return V;
500 : : }
501 : : INLINE GEN
502 : 320 : vecsmall_lengthen(GEN v, long n)
503 : : {
504 : 320 : long i, l = lg(v);
505 : 320 : GEN V = cgetg(n+1,t_VECSMALL);
506 [ + + ]: 30260 : for(i=1;i<l;i++) V[i] = v[i];
507 : 320 : return V;
508 : : }
509 : :
510 : : INLINE GEN
511 : 143740 : vec_to_vecsmall(GEN z)
512 : : {
513 : 143740 : long i, l = lg(z);
514 : 143740 : GEN x = cgetg(l, t_VECSMALL);
515 [ + + ]: 2274100 : for (i=1; i<l; i++) x[i] = itos(gel(z,i));
516 : 143740 : return x;
517 : : }
518 : : INLINE GEN
519 : 3894 : vecsmall_to_vec(GEN z)
520 : : {
521 : 3894 : long i, l = lg(z);
522 : 3894 : GEN x = cgetg(l,t_VEC);
523 [ + + ]: 12372 : for (i=1; i<l; i++) gel(x,i) = stoi(z[i]);
524 : 3894 : return x;
525 : : }
526 : : INLINE GEN
527 : 337458 : vecsmall_to_col(GEN z)
528 : : {
529 : 337458 : long i, l = lg(z);
530 : 337458 : GEN x = cgetg(l,t_COL);
531 [ + + ]: 1816946 : for (i=1; i<l; i++) gel(x,i) = stoi(z[i]);
532 : 337458 : return x;
533 : : }
534 : :
535 : : INLINE int
536 : 1847406 : vecsmall_lexcmp(GEN x, GEN y)
537 : : {
538 : : long lx,ly,l,i;
539 : 1847406 : lx = lg(x);
540 : 1847406 : ly = lg(y); l = minss(lx,ly);
541 [ + + ]: 10143027 : for (i=1; i<l; i++)
542 [ + + ][ + + ]: 9654662 : if (x[i] != y[i]) return x[i]<y[i]? -1: 1;
543 [ + - ]: 488365 : if (lx == ly) return 0;
544 [ # # ]: 1847406 : return (lx < ly)? -1 : 1;
545 : : }
546 : :
547 : : INLINE int
548 : 25006858 : vecsmall_prefixcmp(GEN x, GEN y)
549 : : {
550 : 25006858 : long i, lx = lg(x), ly = lg(y), l = minss(lx,ly);
551 [ + + ]: 79144223 : for (i=1; i<l; i++)
552 [ + + ][ + + ]: 71560120 : if (x[i] != y[i]) return x[i]<y[i]? -1: 1;
553 : 25006858 : return 0;
554 : : }
555 : :
556 : : /*Can be used on t_VEC, but coeffs not gcopy-ed*/
557 : : INLINE GEN
558 : 540 : vecsmall_prepend(GEN V, long s)
559 : : {
560 : 540 : long i, l2 = lg(V);
561 : 540 : GEN res = cgetg(l2+1, typ(V));
562 : 540 : res[1] = s;
563 [ + + ]: 1255 : for (i = 2; i <= l2; ++i) res[i] = V[i - 1];
564 : 540 : return res;
565 : : }
566 : :
567 : : INLINE GEN
568 : 252074 : vecsmall_append(GEN V, long s)
569 : : {
570 : 252074 : long i, l2 = lg(V);
571 : 252074 : GEN res = cgetg(l2+1, t_VECSMALL);
572 [ + + ]: 632541 : for (i = 1; i < l2; ++i) res[i] = V[i];
573 : 252074 : res[l2] = s; return res;
574 : : }
575 : :
576 : : INLINE GEN
577 : 111954 : vecsmall_concat(GEN u, GEN v)
578 : : {
579 : 111954 : long i, l1 = lg(u)-1, l2 = lg(v)-1;
580 : 111954 : GEN res = cgetg(l1+l2+1, t_VECSMALL);
581 [ + + ]: 703574 : for (i = 1; i <= l1; ++i) res[i] = u[i];
582 [ + + ]: 352349 : for (i = 1; i <= l2; ++i) res[i+l1] = v[i];
583 : 111954 : return res;
584 : : }
585 : :
586 : : /* return the number of indices where u and v are equal */
587 : : INLINE long
588 : 0 : vecsmall_coincidence(GEN u, GEN v)
589 : : {
590 : 0 : long i, s = 0, l = minss(lg(u),lg(v));
591 [ # # ]: 0 : for(i=1; i<l; i++)
592 [ # # ]: 0 : if(u[i] == v[i]) s++;
593 : 0 : return s;
594 : : }
595 : :
596 : : /* returns the first index i<=n such that x=v[i] if it exists, 0 otherwise */
597 : : INLINE long
598 : 0 : vecsmall_isin(GEN v, long x)
599 : : {
600 : 0 : long i, l = lg(v);
601 [ # # ]: 0 : for (i = 1; i < l; i++)
602 [ # # ]: 0 : if (v[i] == x) return i;
603 : 0 : return 0;
604 : : }
605 : :
606 : : INLINE long
607 : 60 : vecsmall_pack(GEN V, long base, long mod)
608 : : {
609 : 60 : long i, s = 0;
610 [ + + ]: 195 : for(i=1; i<lg(V); i++) s = (base*s + V[i]) % mod;
611 : 60 : return s;
612 : : }
613 : :
614 : : INLINE long
615 : 10 : vecsmall_indexmax(GEN x)
616 : : {
617 : 10 : long i, i0 = 1, t = x[1], lx = lg(x);
618 [ + + ]: 40 : for (i=2; i<lx; i++)
619 [ + + ]: 30 : if (x[i] > t) t = x[i0=i];
620 : 10 : return i0;
621 : : }
622 : :
623 : : INLINE long
624 : 1170 : vecsmall_max(GEN x)
625 : : {
626 : 1170 : long i, t = x[1], lx = lg(x);
627 [ + + ]: 4330 : for (i=2; i<lx; i++)
628 [ + + ]: 3160 : if (x[i] > t) t = x[i];
629 : 1170 : return t;
630 : : }
631 : :
632 : : INLINE long
633 : 10 : vecsmall_indexmin(GEN x)
634 : : {
635 : 10 : long i, i0 = 1, t = x[1], lx =lg(x);
636 [ + + ]: 40 : for (i=2; i<lx; i++)
637 [ - + ]: 30 : if (x[i] < t) t = x[i0=i];
638 : 10 : return i0;
639 : : }
640 : :
641 : : INLINE long
642 : 0 : vecsmall_min(GEN x)
643 : : {
644 : 0 : long i, t = x[1], lx =lg(x);
645 [ # # ]: 0 : for (i=2; i<lx; i++)
646 [ # # ]: 0 : if (x[i] < t) t = x[i];
647 : 0 : return t;
648 : : }
649 : :
650 : : INLINE int
651 : 1703596 : ZV_isscalar(GEN x)
652 : : {
653 : 1703596 : long l = lg(x);
654 [ + + ]: 6051638 : while (--l > 1)
655 [ + + ]: 5803534 : if (signe(gel(x, l))) return 0;
656 : 1703596 : return 1;
657 : : }
658 : : INLINE int
659 : 4478369 : QV_isscalar(GEN x)
660 : : {
661 : 4478369 : long lx = lg(x),i;
662 [ + + ]: 6194267 : for (i=2; i<lx; i++)
663 [ + + ]: 5945347 : if (!isintzero(gel(x, i))) return 0;
664 : 4478369 : return 1;
665 : : }
666 : : INLINE int
667 : 4465 : RgV_isscalar(GEN x)
668 : : {
669 : 4465 : long lx = lg(x),i;
670 [ + + ]: 10679 : for (i=2; i<lx; i++)
671 [ + + ]: 7269 : if (!gequal0(gel(x, i))) return 0;
672 : 4465 : return 1;
673 : : }
674 : : INLINE int
675 : 0 : RgX_isscalar(GEN x)
676 : : {
677 : : long i;
678 [ # # ]: 0 : for (i=lg(x)-1; i>2; i--)
679 [ # # ]: 0 : if (!gequal0(gel(x, i))) return 0;
680 : 0 : return 1;
681 : : }
682 : : INLINE long
683 [ + + ][ + + ]: 565572 : RgX_equal_var(GEN x, GEN y) { return varn(x) == varn(y) && RgX_equal(x,y); }
684 : :
685 : : INLINE int
686 : 475 : RgX_is_rational(GEN x)
687 : : {
688 : : long i;
689 [ + + ]: 6600 : for (i = lg(x)-1; i > 1; i--)
690 [ + + ]: 6325 : if (!is_rational_t(typ(gel(x,i)))) return 0;
691 : 475 : return 1;
692 : : }
693 : : INLINE int
694 : 38610664 : RgX_is_ZX(GEN x)
695 : : {
696 : : long i;
697 [ + + ]: 164848190 : for (i = lg(x)-1; i > 1; i--)
698 [ + + ]: 129878848 : if (typ(gel(x,i)) != t_INT) return 0;
699 : 38610664 : return 1;
700 : : }
701 : : INLINE int
702 : 3782 : RgX_is_QX(GEN x)
703 : : {
704 : 3782 : long k = lg(x)-1;
705 [ + + ]: 17130 : for ( ; k>1; k--)
706 [ + + ]: 13458 : if (!is_rational_t(typ(gel(x,k)))) return 0;
707 : 3782 : return 1;
708 : : }
709 : : INLINE int
710 : 10675578 : RgX_is_monomial(GEN x)
711 : : {
712 : : long i;
713 [ + + ]: 10675578 : if (!signe(x)) return 0;
714 [ + + ]: 17218308 : for (i=lg(x)-2; i>1; i--)
715 [ + + ]: 11839685 : if (!isexactzero(gel(x,i))) return 0;
716 : 10675578 : return 1;
717 : : }
718 : : INLINE int
719 : 917140 : RgV_is_ZV(GEN x)
720 : : {
721 : : long i;
722 [ + + ]: 3392899 : for (i = lg(x)-1; i > 0; i--)
723 [ + + ]: 2475864 : if (typ(gel(x,i)) != t_INT) return 0;
724 : 917140 : return 1;
725 : : }
726 : : INLINE int
727 : 0 : RgV_is_QV(GEN x)
728 : : {
729 : : long i;
730 [ # # ]: 0 : for (i = lg(x)-1; i > 0; i--)
731 [ # # ]: 0 : if (!is_rational_t(typ(gel(x,i)))) return 0;
732 : 0 : return 1;
733 : : }
734 : :
735 : : /********************************************************************/
736 : : /** **/
737 : : /** Dynamic arrays implementation **/
738 : : /** **/
739 : : /********************************************************************/
740 : : INLINE void **
741 : 151049032 : pari_stack_base(pari_stack *s) { return s->data; }
742 : :
743 : : INLINE void
744 : 17360 : pari_stack_init(pari_stack *s, size_t size, void **data)
745 : : {
746 : 17360 : s->data = data;
747 : 17360 : *data = NULL;
748 : 17360 : s->n = 0;
749 : 17360 : s->alloc = 0;
750 : 17360 : s->size = size;
751 : 17360 : }
752 : :
753 : : INLINE void
754 : 151031026 : pari_stack_alloc(pari_stack *s, long nb)
755 : : {
756 : 151031026 : void **sdat = pari_stack_base(s);
757 [ + + ]: 151072195 : if (s->n+nb <= s->alloc) return;
758 [ + + ]: 41169 : if (!s->alloc)
759 : 13873 : s->alloc = nb;
760 : : else
761 : : {
762 [ + + ]: 54677 : while (s->n+nb > s->alloc) s->alloc <<= 1;
763 : : }
764 : 41169 : *sdat = pari_realloc(*sdat,s->alloc*s->size);
765 : : }
766 : :
767 : : INLINE long
768 : 132202294 : pari_stack_new(pari_stack *s) { pari_stack_alloc(s, 1); return s->n++; }
769 : :
770 : : INLINE void
771 : 12411 : pari_stack_delete(pari_stack *s)
772 : : {
773 : 12411 : void **sdat = pari_stack_base(s);
774 [ + + ]: 12411 : if (*sdat) free(*sdat);
775 : 12411 : }
776 : :
777 : : INLINE void
778 : 5590 : pari_stack_pushp(pari_stack *s, void *u)
779 : : {
780 : 5590 : long n = pari_stack_new(s);
781 : 5590 : void **sdat =(void**) *pari_stack_base(s);
782 : 5590 : sdat[n] = u;
783 : 5590 : }
784 : :
785 : : /*******************************************************************/
786 : : /* */
787 : : /* EXTRACT */
788 : : /* */
789 : : /*******************************************************************/
790 : : INLINE GEN
791 : 1360889 : vecslice(GEN A, long y1, long y2)
792 : : {
793 : 1360889 : long i,lB = y2 - y1 + 2;
794 : 1360889 : GEN B = cgetg(lB, typ(A));
795 [ + + ]: 7200339 : for (i=1; i<lB; i++) B[i] = A[y1-1+i];
796 : 1360889 : return B;
797 : : }
798 : : INLINE GEN
799 : 62079 : vecslicepermute(GEN A, GEN p, long y1, long y2)
800 : : {
801 : 62079 : long i,lB = y2 - y1 + 2;
802 : 62079 : GEN B = cgetg(lB, typ(A));
803 [ + + ]: 3382370 : for (i=1; i<lB; i++) B[i] = A[p[y1-1+i]];
804 : 62079 : return B;
805 : : }
806 : : /* rowslice(rowpermute(A,p), x1, x2) */
807 : : INLINE GEN
808 : 13943 : rowslicepermute(GEN A, GEN p, long x1, long x2)
809 : : {
810 : 13943 : long i, lB = lg(A);
811 : 13943 : GEN B = cgetg(lB, typ(A));
812 [ + + ]: 76022 : for (i=1; i<lB; i++) gel(B,i) = vecslicepermute(gel(A,i),p,x1,x2);
813 : 13943 : return B;
814 : : }
815 : : INLINE GEN
816 : 67157 : rowslice(GEN A, long x1, long x2)
817 : : {
818 : 67157 : long i, lB = lg(A);
819 : 67157 : GEN B = cgetg(lB, typ(A));
820 [ + + ]: 446939 : for (i=1; i<lB; i++) gel(B,i) = vecslice(gel(A,i),x1,x2);
821 : 67157 : return B;
822 : : }
823 : :
824 : : /* shallow, remove coeff of index j */
825 : : INLINE GEN
826 : 2905 : vecsplice(GEN a, long j)
827 : : {
828 : 2905 : long i, k, l = lg(a);
829 : : GEN b;
830 [ - + ]: 2905 : if (l == 1) pari_err(e_MISC, "incorrect component in vecsplice");
831 : 2905 : b = cgetg(l-1, typ(a));
832 [ + + ]: 14933 : for (i = k = 1; i < l; i++)
833 [ + + ]: 12028 : if (i != j) gel(b, k++) = gel(a,i);
834 : 2905 : return b;
835 : : }
836 : : /* shallow */
837 : : INLINE GEN
838 : 265 : RgM_minor(GEN a, long i, long j)
839 : : {
840 : 265 : GEN b = vecsplice(a, j);
841 : 265 : long k, l = lg(b);
842 [ + + ]: 985 : for (k = 1; k < l; k++) gel(b,k) = vecsplice(gel(b,k), i);
843 : 265 : return b;
844 : : }
845 : :
846 : : /* A[x0,] */
847 : : INLINE GEN
848 : 80781 : row(GEN A, long x0)
849 : : {
850 : 80781 : long i, lB = lg(A);
851 : 80781 : GEN B = cgetg(lB, t_VEC);
852 [ + + ]: 601395 : for (i=1; i<lB; i++) gel(B, i) = gcoeff(A, x0, i);
853 : 80781 : return B;
854 : : }
855 : : INLINE GEN
856 : 17218 : row_Flm(GEN A, long x0)
857 : : {
858 : 17218 : long i, lB = lg(A);
859 : 17218 : GEN B = cgetg(lB, t_VECSMALL);
860 [ + + ]: 181194 : for (i=1; i<lB; i++) B[i] = coeff(A, x0, i);
861 : 17218 : return B;
862 : : }
863 : : /* A[x0,] */
864 : : INLINE GEN
865 : 15 : rowcopy(GEN A, long x0)
866 : : {
867 : 15 : long i, lB = lg(A);
868 : 15 : GEN B = cgetg(lB, t_VEC);
869 [ + + ]: 45 : for (i=1; i<lB; i++) gel(B, i) = gcopy(gcoeff(A, x0, i));
870 : 15 : return B;
871 : : }
872 : : /* A[x0, x1..x2] */
873 : : INLINE GEN
874 : 1430 : row_i(GEN A, long x0, long x1, long x2)
875 : : {
876 : 1430 : long i, lB = x2 - x1 + 2;
877 : 1430 : GEN B = cgetg(lB, t_VEC);
878 [ + + ]: 4075 : for (i=x1; i<=x2; i++) gel(B, i) = gcoeff(A, x0, i);
879 : 1430 : return B;
880 : : }
881 : :
882 : : INLINE GEN
883 : 760 : vecreverse(GEN A)
884 : : {
885 : 760 : long i,l = lg(A);
886 : 760 : GEN B = cgetg(l, typ(A));
887 [ + + ]: 2420 : for (i=1; i<l; i++) gel(B, i) = gel(A, l-i);
888 : 760 : return B;
889 : : }
890 : :
891 : : INLINE void
892 : 156 : vecreverse_inplace(GEN y)
893 : : {
894 : 156 : long ly = lg(y), lim = ly>>1, i;
895 [ + + ]: 438 : for (i = 1; i <= lim; i++)
896 : : {
897 : 282 : GEN z = gel(y,i);
898 : 282 : gel(y,i) = gel(y,ly-i);
899 : 282 : gel(y,ly-i) = z;
900 : : }
901 : 156 : }
902 : :
903 : : INLINE GEN
904 : 12442017 : vecsmallpermute(GEN A, GEN p) { return perm_mul(A, p); }
905 : :
906 : : INLINE GEN
907 : 3183412 : vecpermute(GEN A, GEN p)
908 : : {
909 : 3183412 : long i,lB = lg(p);
910 : 3183412 : GEN B = cgetg(lB, typ(A));
911 [ + + ]: 49166716 : for (i=1; i<lB; i++) gel(B, i) = gel(A, p[i]);
912 : 3183412 : return B;
913 : : }
914 : : INLINE GEN
915 : 97400 : rowpermute(GEN A, GEN p)
916 : : {
917 : 97400 : long i, lB = lg(A);
918 : 97400 : GEN B = cgetg(lB, typ(A));
919 [ + + ]: 1181714 : for (i=1; i<lB; i++)
920 [ + + ]: 1084314 : gel(B, i) = typ(gel(A,i)) == t_VECSMALL ? vecsmallpermute(gel(A, i), p):
921 : 1078847 : vecpermute(gel(A, i), p);
922 : 97400 : return B;
923 : : }
924 : : /*******************************************************************/
925 : : /* */
926 : : /* PERMUTATIONS */
927 : : /* */
928 : : /*******************************************************************/
929 : : /* identity permutation */
930 : : INLINE GEN
931 : 45513 : identity_perm(long n)
932 : : {
933 : 45513 : GEN perm = cgetg(n+1, t_VECSMALL);
934 : : long i;
935 [ + + ]: 1876358 : for (i = 1; i <= n; i++) perm[i] = i;
936 : 45513 : return perm;
937 : : }
938 : :
939 : : /* assume d <= n */
940 : : INLINE GEN
941 : 0 : cyclic_perm(long n, long d)
942 : : {
943 : 0 : GEN perm = cgetg(n+1, t_VECSMALL);
944 : : long i;
945 [ # # ]: 0 : for (i = 1; i <= n-d; i++) perm[i] = i+d;
946 [ # # ]: 0 : for ( ; i <= n; i++) perm[i] = i-n+d;
947 : 0 : return perm;
948 : : }
949 : :
950 : : /* Multiply (compose) two permutations */
951 : : INLINE GEN
952 : 12661222 : perm_mul(GEN s, GEN t)
953 : : {
954 : : GEN u;
955 : 12661222 : long i, l = lg(t);
956 : 12661222 : u = cgetg(l, t_VECSMALL);
957 [ + + ]: 61937885 : for (i = 1; i < l; i++) u[i] = s[ t[i] ];
958 : 12661222 : return u;
959 : : }
960 : : /* Compute the inverse (reciprocal) of a permutation. */
961 : : INLINE GEN
962 : 40 : perm_inv(GEN x)
963 : : {
964 : : long i, lx;
965 : 40 : GEN y = cgetg_copy(x, &lx);
966 [ + + ]: 675 : for (i=1; i<lx; i++) y[ x[i] ] = i;
967 : 40 : return y;
968 : : }
969 : : /* Return s*t*s^-1 */
970 : : INLINE GEN
971 : 25 : perm_conj(GEN s, GEN t)
972 : : {
973 : : long i, l;
974 : 25 : GEN v = cgetg_copy(s, &l);
975 [ + + ]: 625 : for (i = 1; i < l; i++) v[ s[i] ] = s[ t[i] ];
976 : 25 : return v;
977 : : }
978 : :
979 : : /*********************************************************************/
980 : : /* MALLOC/FREE WRAPPERS */
981 : : /*********************************************************************/
982 : : #define BLOCK_SIGALRM_START \
983 : : { \
984 : : int block=PARI_SIGINT_block; \
985 : : PARI_SIGINT_block = 2; \
986 : : MT_SIGINT_BLOCK(block);
987 : :
988 : : #define BLOCK_SIGINT_START \
989 : : { \
990 : : int block=PARI_SIGINT_block; \
991 : : PARI_SIGINT_block = 1; \
992 : : MT_SIGINT_BLOCK(block);
993 : :
994 : : #define BLOCK_SIGINT_END \
995 : : PARI_SIGINT_block = block; \
996 : : MT_SIGINT_UNBLOCK(block); \
997 : : if (!block && PARI_SIGINT_pending) \
998 : : { \
999 : : int sig = PARI_SIGINT_pending; \
1000 : : PARI_SIGINT_pending = 0; \
1001 : : raise(sig); \
1002 : : } \
1003 : : }
1004 : :
1005 : : INLINE void
1006 : 25820113 : pari_free(void *pointer)
1007 : : {
1008 [ + + ]: 25820113 : BLOCK_SIGINT_START;
1009 : 25820113 : free(pointer);
1010 [ + + ][ - + ]: 25820113 : BLOCK_SIGINT_END;
[ + + ][ - + ]
1011 : 25820113 : }
1012 : : INLINE void*
1013 : 73918619 : pari_malloc(size_t size)
1014 : : {
1015 [ + - ]: 73918619 : if (size)
1016 : : {
1017 : : char *tmp;
1018 [ + - ]: 73918619 : BLOCK_SIGINT_START;
1019 : 73918619 : tmp = (char*)malloc(size);
1020 [ + - ][ - + ]: 73918619 : BLOCK_SIGINT_END;
[ + - ][ - + ]
1021 [ - + ]: 73918619 : if (!tmp) pari_err(e_MEM);
1022 : 73918619 : return tmp;
1023 : : }
1024 [ # # ]: 0 : if (DEBUGMEM) pari_warn(warner,"mallocing NULL object");
1025 : 73918619 : return NULL;
1026 : : }
1027 : : INLINE void*
1028 : 45115 : pari_realloc(void *pointer, size_t size)
1029 : : {
1030 : : char *tmp;
1031 : :
1032 [ + + ]: 45115 : BLOCK_SIGINT_START;
1033 [ + + ]: 45115 : if (!pointer) tmp = (char *) malloc(size);
1034 : 30117 : else tmp = (char *) realloc(pointer,size);
1035 [ + + ][ - + ]: 45115 : BLOCK_SIGINT_END;
[ + + ][ - + ]
1036 [ - + ]: 45115 : if (!tmp) pari_err(e_MEM);
1037 : 45115 : return tmp;
1038 : : }
1039 : : INLINE void*
1040 : 13754 : pari_calloc(size_t size)
1041 : : {
1042 : 13754 : void *t = pari_malloc(size);
1043 : 13754 : memset(t, 0, size); return t;
1044 : : }
1045 : : INLINE GEN
1046 : 1966 : cgetalloc(long t, size_t l)
1047 : : {
1048 : 1966 : GEN x = (GEN)pari_malloc(l * sizeof(long));
1049 : 1966 : x[0] = evaltyp(t) | evallg(l); return x;
1050 : : }
1051 : :
1052 : : /*******************************************************************/
1053 : : /* */
1054 : : /* GARBAGE COLLECTION */
1055 : : /* */
1056 : : /*******************************************************************/
1057 : : /* copy integer x as if we had avma = av */
1058 : : INLINE GEN
1059 : 610880067 : icopy_avma(GEN x, pari_sp av)
1060 : : {
1061 : 610880067 : long i = lgefint(x), lx = i;
1062 : 610880067 : GEN y = ((GEN)av) - i;
1063 [ + + ]: 5001245720 : while (--i > 0) y[i] = x[i];
1064 : 610880067 : y[0] = evaltyp(t_INT)|evallg(lx);
1065 : 610880067 : return y;
1066 : : }
1067 : : /* copy leaf x as if we had avma = av */
1068 : : INLINE GEN
1069 : 33181878 : leafcopy_avma(GEN x, pari_sp av)
1070 : : {
1071 : 33181878 : long i = lg(x);
1072 : 33181878 : GEN y = ((GEN)av) - i;
1073 [ + + ]: 220001964 : while (--i > 0) y[i] = x[i];
1074 : 33181878 : y[0] = x[0] & (~CLONEBIT);
1075 : 33181878 : return y;
1076 : : }
1077 : : INLINE GEN
1078 : 130171399 : gerepileuptoleaf(pari_sp av, GEN x)
1079 : : {
1080 : : long lx;
1081 : : GEN q;
1082 : :
1083 [ + + ][ + + ]: 130171399 : if (!isonstack(x) || (GEN)av<=x) { avma = av; return x; }
1084 : 130159126 : lx = lg(x);
1085 : 130159126 : q = ((GEN)av) - lx;
1086 : 130159126 : avma = (pari_sp)q;
1087 [ + + ]: 1253179216 : while (--lx >= 0) q[lx] = x[lx];
1088 : 130171399 : return q;
1089 : : }
1090 : : INLINE GEN
1091 : 579720458 : gerepileuptoint(pari_sp av, GEN x)
1092 : : {
1093 [ + + ][ + + ]: 579720458 : if (!isonstack(x) || (GEN)av<=x) { avma = av; return x; }
1094 : 395885645 : avma = (pari_sp)icopy_avma(x, av);
1095 : 579720458 : return (GEN)avma;
1096 : : }
1097 : : INLINE GEN
1098 : 271290943 : gerepileupto(pari_sp av, GEN x)
1099 : : {
1100 [ + + ][ + + ]: 271290943 : if (!isonstack(x) || (GEN)av<=x) { avma = av; return x; }
1101 [ + + + ]: 245582081 : switch(typ(x))
1102 : : { /* non-default = !is_recursive_t(tq) */
1103 : 44030777 : case t_INT: return gerepileuptoint(av, x);
1104 : : case t_REAL:
1105 : : case t_STR:
1106 : 38313914 : case t_VECSMALL: return gerepileuptoleaf(av,x);
1107 : : default:
1108 : : /* NB: x+i --> ((long)x) + i*sizeof(long) */
1109 : 271290943 : return gerepile(av, (pari_sp) (x+lg(x)), x);
1110 : : }
1111 : : }
1112 : :
1113 : : /* gerepileupto(av, gcopy(x)) */
1114 : : INLINE GEN
1115 : 14188109 : gerepilecopy(pari_sp av, GEN x)
1116 : : {
1117 [ + + ]: 14188109 : if (is_recursive_t(typ(x)))
1118 : : {
1119 : 13313134 : GENbin *p = copy_bin(x);
1120 : 13313134 : avma = av; return bin_copy(p);
1121 : : }
1122 : : else
1123 : : {
1124 : 874975 : avma = av;
1125 [ + + ]: 874975 : if (x < (GEN)av) {
1126 [ + + ]: 837513 : if (x < (GEN)pari_mainstack->bot) new_chunk(lg(x));
1127 : 837513 : x = leafcopy_avma(x, av);
1128 : 837513 : avma = (pari_sp)x;
1129 : : } else
1130 : 37462 : x = leafcopy(x);
1131 : 14188109 : return x;
1132 : : }
1133 : : }
1134 : :
1135 : : /* Takes an array of pointers to GENs, of length n. Copies all
1136 : : * objects to contiguous locations and cleans up the stack between
1137 : : * av and avma. */
1138 : : INLINE void
1139 : 26010 : gerepilemany(pari_sp av, GEN* gptr[], int n)
1140 : : {
1141 : : int i;
1142 [ + + ]: 93193 : for (i=0; i<n; i++) *gptr[i] = (GEN)copy_bin(*gptr[i]);
1143 : 26010 : avma = av;
1144 [ + + ]: 93193 : for (i=0; i<n; i++) *gptr[i] = bin_copy((GENbin*)*gptr[i]);
1145 : 26010 : }
1146 : :
1147 : : INLINE void
1148 : 2481758 : gerepileall(pari_sp av, int n, ...)
1149 : : {
1150 : : int i;
1151 : 2481758 : va_list a; va_start(a, n);
1152 [ + - ]: 2481758 : if (n < 10)
1153 : : {
1154 : : GEN *gptr[10];
1155 [ + + ]: 7605022 : for (i=0; i<n; i++)
1156 [ + + ]: 5123264 : { gptr[i] = va_arg(a,GEN*); *gptr[i] = (GEN)copy_bin(*gptr[i]); }
1157 : 2481758 : avma = av;
1158 [ + + ]: 7605022 : for (--i; i>=0; i--) *gptr[i] = bin_copy((GENbin*)*gptr[i]);
1159 : :
1160 : : }
1161 : : else
1162 : : {
1163 : 0 : GEN **gptr = (GEN**) pari_malloc(n*sizeof(GEN*));
1164 [ # # ]: 0 : for (i=0; i<n; i++)
1165 [ # # ]: 0 : { gptr[i] = va_arg(a,GEN*); *gptr[i] = (GEN)copy_bin(*gptr[i]); }
1166 : 0 : avma = av;
1167 [ # # ]: 0 : for (--i; i>=0; i--) *gptr[i] = bin_copy((GENbin*)*gptr[i]);
1168 : 0 : pari_free(gptr);
1169 : : }
1170 : 2481758 : }
1171 : :
1172 : : INLINE void
1173 : 6 : gerepilecoeffs(pari_sp av, GEN x, int n)
1174 : : {
1175 : : int i;
1176 [ + + ]: 847 : for (i=0; i<n; i++) gel(x,i) = (GEN)copy_bin(gel(x,i));
1177 : 6 : avma = av;
1178 [ + + ]: 847 : for (i=0; i<n; i++) gel(x,i) = bin_copy((GENbin*)x[i]);
1179 : 6 : }
1180 : :
1181 : : /* p from copy_bin. Copy p->x back to stack, then destroy p */
1182 : : INLINE GEN
1183 : 18514932 : bin_copy(GENbin *p)
1184 : : {
1185 : : GEN x, y, base;
1186 : : long dx, len;
1187 : :
1188 [ + + ]: 18514932 : x = p->x; if (!x) { pari_free(p); return gen_0; }
1189 : 18508899 : len = p->len;
1190 : 18508899 : base= p->base; dx = x - base;
1191 : 18508899 : y = (GEN)memcpy((void*)new_chunk(len), (void*)GENbinbase(p), len*sizeof(long));
1192 : 18508899 : y += dx;
1193 [ + + ]: 18508899 : if (p->canon)
1194 : 20 : shiftaddress_canon(y, (y-x)*sizeof(long));
1195 : : else
1196 : 18508879 : shiftaddress(y, (y-x)*sizeof(long));
1197 : 18514932 : pari_free(p); return y;
1198 : : }
1199 : :
1200 : : INLINE GEN
1201 : 37023871 : GENbinbase(GENbin *p) { return (GEN)(p + 1); }
1202 : :
1203 : : INLINE void
1204 : 19585179 : cgiv(GEN x)
1205 : : {
1206 : 19585179 : pari_sp av = (pari_sp)(x+lg(x));
1207 [ + + ]: 19585179 : if (isonstack((GEN)av)) avma = av;
1208 : 19585179 : }
1209 : :
1210 : : INLINE void
1211 : 689091 : killblock(GEN x) { gunclone(x); }
1212 : :
1213 : : INLINE int
1214 [ + + ][ + + ]: 11434344 : is_universal_constant(GEN x) { return (x >= gen_0 && x <= ghalf); }
1215 : :
1216 : : /*******************************************************************/
1217 : : /* */
1218 : : /* CONVERSION / ASSIGNMENT */
1219 : : /* */
1220 : : /*******************************************************************/
1221 : : /* z is a type which may be a t_COMPLEX component (not a t_QUAD) */
1222 : : INLINE GEN
1223 : 847646 : cxcompotor(GEN z, long prec)
1224 : : {
1225 [ + + + - ]: 847646 : switch(typ(z))
1226 : : {
1227 : 548567 : case t_INT: return itor(z, prec);
1228 : 16183 : case t_FRAC: return fractor(z, prec);
1229 : 282896 : case t_REAL: return rtor(z, prec);
1230 : 847646 : default: pari_err_TYPE("cxcompotor",z); return NULL; /* not reached */
1231 : : }
1232 : : }
1233 : : INLINE GEN
1234 : 423170 : cxtofp(GEN x, long prec)
1235 : 423170 : { retmkcomplex(cxcompotor(gel(x,1),prec), cxcompotor(gel(x,2),prec)); }
1236 : :
1237 : : INLINE double
1238 : 5711841 : gtodouble(GEN x)
1239 : : {
1240 [ + + ]: 5711841 : if (typ(x)!=t_REAL) {
1241 : 321974 : pari_sp av = avma;
1242 : 321974 : x = gtofp(x, DEFAULTPREC);
1243 [ - + ]: 321974 : if (typ(x)!=t_REAL) pari_err_TYPE("gtodouble [t_REAL expected]", x);
1244 : 321974 : avma = av;
1245 : : }
1246 : 5711841 : return rtodbl(x);
1247 : : }
1248 : : INLINE long
1249 : 20066033 : gtos(GEN x) {
1250 [ + + ]: 20066033 : if (typ(x) != t_INT) pari_err_TYPE("gtos [integer expected]",x);
1251 : 20066028 : return itos(x);
1252 : : }
1253 : :
1254 : : INLINE ulong
1255 : 0 : gtou(GEN x) {
1256 [ # # ][ # # ]: 0 : if (typ(x) != t_INT || signe(x)<0)
1257 : 0 : pari_err_TYPE("gtou [integer >=0 expected]",x);
1258 : 0 : return itou(x);
1259 : : }
1260 : :
1261 : : INLINE GEN
1262 : 809924 : absfrac(GEN x)
1263 : : {
1264 : 809924 : GEN y = cgetg(3, t_FRAC);
1265 : 809924 : gel(y,1) = absi(gel(x,1));
1266 : 809924 : gel(y,2) = icopy(gel(x,2)); return y;
1267 : : }
1268 : : INLINE GEN
1269 : 5588 : absfrac_shallow(GEN x)
1270 [ + + ]: 5588 : { return signe(gel(x,1))>0? x: mkfrac(negi(gel(x,1)), gel(x,2)); }
1271 : : INLINE GEN
1272 [ - + ]: 174886 : Q_abs(GEN x) { return (typ(x) == t_INT)? absi(x): absfrac(x); }
1273 : : INLINE GEN
1274 : 20561 : Q_abs_shallow(GEN x)
1275 [ + + ]: 20561 : { return (typ(x) == t_INT)? absi_shallow(x): absfrac_shallow(x); }
1276 : :
1277 : : /* Force z to be of type real/complex with floating point components */
1278 : : INLINE GEN
1279 : 4508165 : gtofp(GEN z, long prec)
1280 : : {
1281 [ + + + + : 4508165 : switch(typ(z))
- - ]
1282 : : {
1283 : 3043447 : case t_INT: return itor(z, prec);
1284 : 38093 : case t_FRAC: return fractor(z, prec);
1285 : 1020129 : case t_REAL: return rtor(z, prec);
1286 : : case t_COMPLEX: {
1287 : 406496 : GEN a = gel(z,1), b = gel(z,2);
1288 [ + + ]: 406496 : if (isintzero(b)) return cxcompotor(a, prec);
1289 [ + + ]: 405726 : if (isintzero(a)) {
1290 : 506 : GEN y = cgetg(3, t_COMPLEX);
1291 : 506 : b = cxcompotor(b, prec);
1292 : 506 : gel(y,1) = real_0_bit(expo(b) - prec2nbits(prec));
1293 : 506 : gel(y,2) = b; return y;
1294 : : }
1295 : 405220 : return cxtofp(z, prec);
1296 : : }
1297 : 0 : case t_QUAD: return quadtofp(z, prec);
1298 : 4508165 : default: pari_err_TYPE("gtofp",z); return NULL; /* not reached */
1299 : : }
1300 : : }
1301 : : /* Force z to be of type real / int */
1302 : : INLINE GEN
1303 : 16000 : gtomp(GEN z, long prec)
1304 : : {
1305 [ + + - - : 16000 : switch(typ(z))
- ]
1306 : : {
1307 : 10 : case t_INT: return z;
1308 : 15990 : case t_FRAC: return fractor(z, prec);
1309 : 0 : case t_REAL: return rtor(z, prec);
1310 : 0 : case t_QUAD: z = quadtofp(z, prec);
1311 [ # # ]: 0 : if (typ(z) == t_REAL) return z;
1312 : 16000 : default: pari_err_TYPE("gtomp",z); return NULL; /* not reached */
1313 : : }
1314 : : }
1315 : :
1316 : : INLINE GEN
1317 : 277056 : RgX_gtofp(GEN x, long prec)
1318 : : {
1319 : : long l;
1320 : 277056 : GEN y = cgetg_copy(x, &l);
1321 [ + + ]: 1786637 : while (--l > 1) gel(y,l) = gtofp(gel(x,l), prec);
1322 : 277056 : y[1] = x[1]; return y;
1323 : : }
1324 : : INLINE GEN
1325 : 171004 : RgC_gtofp(GEN x, long prec)
1326 : : {
1327 : 171004 : long l = lg(x);
1328 : 171004 : GEN y = cgetg(l, t_COL);
1329 [ + + ]: 1935285 : while (--l > 0) gel(y,l) = gtofp(gel(x,l), prec);
1330 : 171004 : return y;
1331 : : }
1332 : : INLINE GEN
1333 : 12424 : RgM_gtofp(GEN x, long prec)
1334 : : {
1335 : : long l;
1336 : 12424 : GEN y = cgetg_copy(x, &l);
1337 [ + + ]: 100320 : while (--l > 0) gel(y,l) = RgC_gtofp(gel(x,l), prec);
1338 : 12424 : return y;
1339 : : }
1340 : : INLINE GEN
1341 : 400 : RgC_gtomp(GEN x, long prec)
1342 : : {
1343 : 400 : long l = lg(x);
1344 : 400 : GEN y = cgetg(l, t_COL);
1345 [ + + ]: 16400 : while (--l > 0) gel(y,l) = gtomp(gel(x,l), prec);
1346 : 400 : return y;
1347 : : }
1348 : : INLINE GEN
1349 : 10 : RgM_gtomp(GEN x, long prec)
1350 : : {
1351 : : long l;
1352 : 10 : GEN y = cgetg_copy(x, &l);
1353 [ + + ]: 410 : while (--l > 0) gel(y,l) = RgC_gtomp(gel(x,l), prec);
1354 : 10 : return y;
1355 : : }
1356 : :
1357 : : INLINE GEN
1358 : 6144 : RgX_fpnorml2(GEN x, long prec)
1359 : : {
1360 : 6144 : pari_sp av = avma;
1361 : 6144 : return gerepileupto(av, gnorml2(RgX_gtofp(x, prec)));
1362 : : }
1363 : : INLINE GEN
1364 : 83058 : RgC_fpnorml2(GEN x, long prec)
1365 : : {
1366 : 83058 : pari_sp av = avma;
1367 : 83058 : return gerepileupto(av, gnorml2(RgC_gtofp(x, prec)));
1368 : : }
1369 : : INLINE GEN
1370 : 415 : RgM_fpnorml2(GEN x, long prec)
1371 : : {
1372 : 415 : pari_sp av = avma;
1373 : 415 : return gerepileupto(av, gnorml2(RgM_gtofp(x, prec)));
1374 : : }
1375 : :
1376 : : /* y a t_REAL */
1377 : : INLINE void
1378 : 2292381 : affgr(GEN x, GEN y)
1379 : : {
1380 : : pari_sp av;
1381 [ + + + - : 2292381 : switch(typ(x)) {
- ]
1382 : 46 : case t_INT: affir(x,y); break;
1383 : 130320 : case t_REAL: affrr(x,y); break;
1384 : 2162015 : case t_FRAC: rdiviiz(gel(x,1),gel(x,2), y); break;
1385 : 0 : case t_QUAD: av = avma; affgr(quadtofp(x,realprec(y)), y); avma = av; break;
1386 : 0 : default: pari_err_TYPE2("=",x,y);
1387 : : }
1388 : 2292381 : }
1389 : :
1390 : : INLINE GEN
1391 : 19085 : affc_fixlg(GEN x, GEN res)
1392 : : {
1393 [ + + ]: 19085 : if (typ(x) == t_COMPLEX)
1394 : : {
1395 : 18000 : affrr_fixlg(gel(x,1), gel(res,1));
1396 : 18000 : affrr_fixlg(gel(x,2), gel(res,2));
1397 : : }
1398 : : else
1399 : : {
1400 : 1085 : avma = (pari_sp)(res+3);
1401 : 1085 : res = cgetr(realprec(gel(res,1)));
1402 : 1085 : affrr_fixlg(x, res);
1403 : : }
1404 : 19085 : return res;
1405 : : }
1406 : :
1407 : : INLINE GEN
1408 : 0 : trunc_safe(GEN x) { long e; return gcvtoi(x,&e); }
1409 : :
1410 : : /*******************************************************************/
1411 : : /* */
1412 : : /* LENGTH CONVERSIONS */
1413 : : /* */
1414 : : /*******************************************************************/
1415 : : INLINE long
1416 : 12597 : ndec2nlong(long x) { return 1 + (long)((x)*(LOG2_10/BITS_IN_LONG)); }
1417 : : INLINE long
1418 : 12597 : ndec2prec(long x) { return 2 + ndec2nlong(x); }
1419 : : /* Fast implementation of ceil(x / (8*sizeof(long))); typecast to (ulong)
1420 : : * to avoid overflow. Faster than 1 + ((x-1)>>TWOPOTBITS_IN_LONG)) :
1421 : : * addl, shrl instead of subl, sarl, addl */
1422 : : INLINE long
1423 : 531861 : nbits2nlong(long x) {
1424 : 531861 : return (long)(((ulong)x+BITS_IN_LONG-1) >> TWOPOTBITS_IN_LONG);
1425 : : }
1426 : :
1427 : : INLINE long
1428 : 181101963 : nbits2extraprec(long x) {
1429 : 181101963 : return (long)(((ulong)x+BITS_IN_LONG-1) >> TWOPOTBITS_IN_LONG);
1430 : : }
1431 : :
1432 : : /* Fast implementation of 2 + nbits2nlong(x) */
1433 : : INLINE long
1434 : 62634647 : nbits2prec(long x) {
1435 : 62634647 : return (long)(((ulong)x+3*BITS_IN_LONG-1) >> TWOPOTBITS_IN_LONG);
1436 : : }
1437 : : INLINE long
1438 : 1688748 : nbits2lg(long x) {
1439 : 1688748 : return (long)(((ulong)x+3*BITS_IN_LONG-1) >> TWOPOTBITS_IN_LONG);
1440 : : }
1441 : : /* ceil(x / sizeof(long)) */
1442 : : INLINE long
1443 : 5933587 : nchar2nlong(long x) {
1444 : 5933587 : return (long)(((ulong)x+sizeof(long)-1) >> (TWOPOTBITS_IN_LONG-3L));
1445 : : }
1446 : : INLINE long
1447 : 677576917 : bit_accuracy(long x) { return (x-2) * BITS_IN_LONG; }
1448 : : INLINE double
1449 : 1540919 : bit_accuracy_mul(long x, double y) { return (x-2) * (BITS_IN_LONG*y); }
1450 : : INLINE double
1451 : 34655 : prec2nbits_mul(long x, double y) { return (x-2) * (BITS_IN_LONG*y); }
1452 : : INLINE long
1453 : 17843285 : bit_prec(GEN x) { return bit_accuracy(realprec(x)); }
1454 : : INLINE long
1455 : 35398204 : prec2nbits(long x) { return bit_accuracy(x); }
1456 : : INLINE long
1457 : 2783 : prec2ndec(long x) { return (long)prec2nbits_mul(x, LOG10_2); }
1458 : : INLINE long
1459 : 1119 : precdbl(long x) {return (x - 1) << 1;}
1460 : : INLINE long
1461 : 2191615560 : divsBIL(long n) { return n >> TWOPOTBITS_IN_LONG; }
1462 : : INLINE long
1463 : 2141263860 : remsBIL(long n) { return n & (BITS_IN_LONG-1); }
1464 : :
1465 : : /*********************************************************************/
1466 : : /** **/
1467 : : /** OPERATIONS MODULO m **/
1468 : : /** **/
1469 : : /*********************************************************************/
1470 : : /* Assume m > 0, more efficient if 0 <= a, b < m */
1471 : :
1472 : : INLINE GEN
1473 : 6522131 : Fp_red(GEN a, GEN m) { return modii(a, m); }
1474 : : INLINE GEN
1475 : 24222866 : Fp_add(GEN a, GEN b, GEN m)
1476 : : {
1477 : 24222866 : pari_sp av=avma;
1478 : 24222866 : GEN p = addii(a,b);
1479 : 24222866 : long s = signe(p);
1480 [ + + ]: 24222866 : if (!s) return p; /* = gen_0 */
1481 [ + + ]: 23387004 : if (s > 0) /* general case */
1482 : : {
1483 : 23253896 : GEN t = subii(p, m);
1484 : 23253896 : s = signe(t);
1485 [ + + ]: 23253896 : if (!s) { avma = av; return gen_0; }
1486 [ + + ]: 20441171 : if (s < 0) { avma = (pari_sp)p; return p; }
1487 [ + + ]: 7448870 : if (cmpii(t, m) < 0) return gerepileuptoint(av, t); /* general case ! */
1488 : 729817 : p = remii(t, m);
1489 : : }
1490 : : else
1491 : 133108 : p = modii(p, m);
1492 : 24222866 : return gerepileuptoint(av, p);
1493 : : }
1494 : : INLINE GEN
1495 : 31719158 : Fp_sub(GEN a, GEN b, GEN m)
1496 : : {
1497 : 31719158 : pari_sp av=avma;
1498 : 31719158 : GEN p = subii(a,b);
1499 : 31719158 : long s = signe(p);
1500 [ + + ]: 31719158 : if (!s) return p; /* = gen_0 */
1501 [ + + ]: 31015860 : if (s > 0)
1502 : : {
1503 [ + + ]: 15416315 : if (cmpii(p, m) < 0) return p; /* general case ! */
1504 : 625488 : p = remii(p, m);
1505 : : }
1506 : : else
1507 : : {
1508 : 15599545 : GEN t = addii(p, m);
1509 [ - + ]: 15599545 : if (!s) { avma = av; return gen_0; }
1510 [ - + ]: 15599545 : if (s > 0) return gerepileuptoint(av, t); /* general case ! */
1511 : 15599545 : p = modii(t, m);
1512 : : }
1513 : 31719158 : return gerepileuptoint(av, p);
1514 : : }
1515 : : INLINE GEN
1516 : 6427815 : Fp_neg(GEN b, GEN m)
1517 : : {
1518 : 6427815 : pari_sp av = avma;
1519 : 6427815 : long s = signe(b);
1520 : : GEN p;
1521 [ + + ]: 6427815 : if (!s) return gen_0;
1522 [ + - ]: 4457104 : if (s > 0)
1523 : : {
1524 : 4457104 : p = subii(m, b);
1525 [ + + ]: 4457104 : if (signe(p) >= 0) return p; /* general case ! */
1526 : 17620 : p = modii(p, m);
1527 : : } else
1528 : 0 : p = remii(negi(b), m);
1529 : 6427815 : return gerepileuptoint(av, p);
1530 : : }
1531 : :
1532 : : INLINE GEN
1533 : 9781 : Fp_halve(GEN a, GEN p)
1534 : : {
1535 [ + + ]: 9781 : if (mpodd(a)) a = addii(a,p);
1536 : 9781 : return shifti(a,-1);
1537 : : }
1538 : :
1539 : : /* assume 0 <= u < p and ps2 = p>>1 */
1540 : : INLINE GEN
1541 : 1984889 : Fp_center(GEN u, GEN p, GEN ps2)
1542 [ + + ]: 1984889 : { return absi_cmp(u,ps2)<=0? icopy(u): subii(u,p); }
1543 : :
1544 : : /* x + y*z mod p */
1545 : : INLINE GEN
1546 : 1650502 : Fp_addmul(GEN x, GEN y, GEN z, GEN p)
1547 : : {
1548 : : pari_sp av;
1549 [ + + ][ + + ]: 1650502 : if (!signe(y) || !signe(z)) return Fp_red(x, p);
1550 [ + + ]: 1591525 : if (!signe(x)) return Fp_mul(z,y, p);
1551 : 1388557 : av = avma;
1552 : 1650502 : return gerepileuptoint(av, modii(addii(x, mulii(y,z)), p));
1553 : : }
1554 : :
1555 : : INLINE GEN
1556 : 15946213 : Fp_mul(GEN a, GEN b, GEN m)
1557 : : {
1558 : 15946213 : pari_sp av=avma;
1559 : : GEN p; /*HACK: assume modii use <=lg(p)+(lg(m)<<1) space*/
1560 : 15946213 : (void)new_chunk(lg(a)+lg(b)+(lg(m)<<1));
1561 : 15946213 : p = mulii(a,b);
1562 : 15946213 : avma = av; return modii(p,m);
1563 : : }
1564 : : INLINE GEN
1565 : 3717065 : Fp_sqr(GEN a, GEN m)
1566 : : {
1567 : 3717065 : pari_sp av=avma;
1568 : : GEN p; /*HACK: assume modii use <=lg(p)+(lg(m)<<1) space*/
1569 : 3717065 : (void)new_chunk((lg(a)+lg(m))<<1);
1570 : 3717065 : p = sqri(a);
1571 : 3717065 : avma = av; return modii(p,m);
1572 : : }
1573 : : INLINE GEN
1574 : 18031700 : Fp_mulu(GEN a, ulong b, GEN m)
1575 : : {
1576 : 18031700 : long l = lgefint(m);
1577 [ + + ]: 18031700 : if (l == 3)
1578 : : {
1579 : 14048801 : ulong mm = m[2];
1580 : 14048801 : return utoi( Fl_mul(umodiu(a, mm), b, mm) );
1581 : : } else {
1582 : 3982899 : pari_sp av = avma;
1583 : : GEN p; /*HACK: assume modii use <=lg(p)+(lg(m)<<1) space*/
1584 : 3982899 : (void)new_chunk(lg(a)+1+(l<<1));
1585 : 3982899 : p = muliu(a,b);
1586 : 18031700 : avma = av; return modii(p,m);
1587 : : }
1588 : : }
1589 : : INLINE GEN
1590 : 165 : Fp_muls(GEN a, long b, GEN m)
1591 : : {
1592 : 165 : long l = lgefint(m);
1593 [ + - ]: 165 : if (l == 3)
1594 : : {
1595 : 165 : ulong mm = m[2];
1596 [ + - ]: 165 : if (b < 0)
1597 : : {
1598 : 165 : ulong t = Fl_mul(umodiu(a, mm), -b, mm);
1599 [ + - ]: 165 : return t? utoipos(mm - t): gen_0;
1600 : : }
1601 : : else
1602 : 0 : return utoi( Fl_mul(umodiu(a, mm), b, mm) );
1603 : : } else {
1604 : 0 : pari_sp av = avma;
1605 : : GEN p; /*HACK: assume modii use <=lg(p)+(lg(m)<<1) space*/
1606 : 0 : (void)new_chunk(lg(a)+1+(l<<1));
1607 : 0 : p = mulis(a,b);
1608 : 165 : avma = av; return modii(p,m);
1609 : : }
1610 : : }
1611 : :
1612 : : INLINE GEN
1613 : 3073134 : Fp_inv(GEN a, GEN m)
1614 : : {
1615 : : GEN res;
1616 [ + + ]: 3073134 : if (! invmod(a,m,&res)) pari_err_INV("Fp_inv", mkintmod(res,m));
1617 : 3073068 : return res;
1618 : : }
1619 : : INLINE GEN
1620 : 193693 : Fp_invsafe(GEN a, GEN m)
1621 : : {
1622 : : GEN res;
1623 [ - + ]: 193693 : if (! invmod(a,m,&res)) return NULL;
1624 : 193693 : return res;
1625 : : }
1626 : : INLINE GEN
1627 : 1332321 : Fp_div(GEN a, GEN b, GEN m)
1628 : : {
1629 : 1332321 : pari_sp av=avma;
1630 : : GEN p; /*HACK: assume modii use <=lg(p)+(lg(m)<<1) space*/
1631 : 1332321 : (void)new_chunk(lg(a)+(lg(m)<<1));
1632 : 1332321 : p = mulii(a, Fp_inv(b,m));
1633 : 1332311 : avma = av; return modii(p,m);
1634 : : }
1635 : :
1636 : : INLINE GEN
1637 : 118835 : Flx_mulu(GEN x, ulong a, ulong p) { return Flx_Fl_mul(x,a%p,p); }
1638 : :
1639 : : /*******************************************************************/
1640 : : /* */
1641 : : /* ADDMULII / SUBMULII */
1642 : : /* */
1643 : : /*******************************************************************/
1644 : : /* x - y*z */
1645 : : INLINE GEN
1646 : 27685648 : submulii(GEN x, GEN y, GEN z)
1647 : : {
1648 : 27685648 : long lx = lgefint(x), ly, lz;
1649 : : pari_sp av;
1650 : : GEN t;
1651 [ + + ]: 27685648 : if (lx == 2) { t = mulii(z,y); togglesign(t); return t; }
1652 : 23616967 : ly = lgefint(y);
1653 [ + + ]: 23616967 : if (ly == 2) return icopy(x);
1654 : 22690843 : lz = lgefint(z);
1655 : 22690843 : av = avma; (void)new_chunk(lx+ly+lz); /* HACK */
1656 : 22690843 : t = mulii(z, y);
1657 : 27685648 : avma = av; return subii(x,t);
1658 : : }
1659 : : /* y*z - x */
1660 : : INLINE GEN
1661 : 1825633 : mulsubii(GEN y, GEN z, GEN x)
1662 : : {
1663 : 1825633 : long lx = lgefint(x), ly, lz;
1664 : : pari_sp av;
1665 : : GEN t;
1666 [ + + ]: 1825633 : if (lx == 2) return mulii(z,y);
1667 : 1158520 : ly = lgefint(y);
1668 [ + + ]: 1158520 : if (ly == 2) return negi(x);
1669 : 1098311 : lz = lgefint(z);
1670 : 1098311 : av = avma; (void)new_chunk(lx+ly+lz); /* HACK */
1671 : 1098311 : t = mulii(z, y);
1672 : 1825633 : avma = av; return subii(t,x);
1673 : : }
1674 : :
1675 : : /* x - u*y */
1676 : : INLINE GEN
1677 : 5000 : submuliu(GEN x, GEN y, ulong u)
1678 : : {
1679 : : pari_sp av;
1680 : 5000 : long ly = lgefint(y);
1681 [ - + ]: 5000 : if (ly == 2) return icopy(x);
1682 : 5000 : av = avma;
1683 : 5000 : (void)new_chunk(3+ly+lgefint(x)); /* HACK */
1684 : 5000 : y = mului(u,y);
1685 : 5000 : avma = av; return subii(x, y);
1686 : : }
1687 : : /* x + u*y */
1688 : : INLINE GEN
1689 : 5000 : addmuliu(GEN x, GEN y, ulong u)
1690 : : {
1691 : : pari_sp av;
1692 : 5000 : long ly = lgefint(y);
1693 [ - + ]: 5000 : if (ly == 2) return icopy(x);
1694 : 5000 : av = avma;
1695 : 5000 : (void)new_chunk(3+ly+lgefint(x)); /* HACK */
1696 : 5000 : y = mului(u,y);
1697 : 5000 : avma = av; return addii(x, y);
1698 : : }
1699 : : /* x - u*y */
1700 : : INLINE GEN
1701 : 184834860 : submuliu_inplace(GEN x, GEN y, ulong u)
1702 : : {
1703 : : pari_sp av;
1704 : 184834860 : long ly = lgefint(y);
1705 [ + + ]: 184834860 : if (ly == 2) return x;
1706 : 158246226 : av = avma;
1707 : 158246226 : (void)new_chunk(3+ly+lgefint(x)); /* HACK */
1708 : 158246226 : y = mului(u,y);
1709 : 184834860 : avma = av; return subii(x, y);
1710 : : }
1711 : : /* x + u*y */
1712 : : INLINE GEN
1713 : 184538140 : addmuliu_inplace(GEN x, GEN y, ulong u)
1714 : : {
1715 : : pari_sp av;
1716 : 184538140 : long ly = lgefint(y);
1717 [ + + ]: 184538140 : if (ly == 2) return x;
1718 : 158456344 : av = avma;
1719 : 158456344 : (void)new_chunk(3+ly+lgefint(x)); /* HACK */
1720 : 158456344 : y = mului(u,y);
1721 : 184538140 : avma = av; return addii(x, y);
1722 : : }
1723 : : /* ux + vy */
1724 : : INLINE GEN
1725 : 17524347 : lincombii(GEN u, GEN v, GEN x, GEN y)
1726 : : {
1727 : 17524347 : long lx = lgefint(x), ly;
1728 : : GEN p1, p2;
1729 : : pari_sp av;
1730 [ + + ]: 17524347 : if (lx == 2) return mulii(v,y);
1731 : 10051070 : ly = lgefint(y);
1732 [ + + ]: 10051070 : if (ly == 2) return mulii(u,x);
1733 : 9360424 : av = avma; (void)new_chunk(lx+ly+lgefint(u)+lgefint(v)); /* HACK */
1734 : 9360424 : p1 = mulii(u,x);
1735 : 9360424 : p2 = mulii(v,y);
1736 : 17524347 : avma = av; return addii(p1,p2);
1737 : : }
1738 : :
1739 : : /*******************************************************************/
1740 : : /* */
1741 : : /* GEN SUBTYPES */
1742 : : /* */
1743 : : /*******************************************************************/
1744 : :
1745 : : INLINE int
1746 : 580280952 : is_const_t(long t) { return (t < t_POLMOD); }
1747 : : INLINE int
1748 : 424974 : is_extscalar_t(long t) { return (t <= t_POL); }
1749 : : INLINE int
1750 : 372977 : is_intreal_t(long t) { return (t <= t_REAL); }
1751 : : INLINE int
1752 [ + + ][ + + ]: 212817320 : is_matvec_t(long t) { return (t >= t_VEC && t <= t_MAT); }
1753 : : INLINE int
1754 : 36695073 : is_noncalc_t(long tx) { return (tx) >= t_LIST; }
1755 : : INLINE int
1756 [ + + ][ + + ]: 78917 : is_rational_t(long t) { return (t == t_INT || t == t_FRAC); }
1757 : : INLINE int
1758 : 1259571103 : is_recursive_t(long t) { return lontyp[t]; }
1759 : : INLINE int
1760 : 107759983 : is_scalar_t(long t) { return (t < t_POL); }
1761 : : INLINE int
1762 [ + + ][ + + ]: 552277 : is_vec_t(long t) { return (t == t_VEC || t == t_COL); }
1763 : :
1764 : : /*******************************************************************/
1765 : : /* */
1766 : : /* TRANSCENDENTAL */
1767 : : /* */
1768 : : /*******************************************************************/
1769 : : INLINE GEN
1770 : 4055821 : sqrtr(GEN x) {
1771 : 4055821 : long s = signe(x);
1772 [ + + ]: 4055821 : if (s == 0) return real_0_bit(expo(x) >> 1);
1773 [ + + ]: 4032592 : if (s >= 0) return sqrtr_abs(x);
1774 : 4055821 : retmkcomplex(gen_0, sqrtr_abs(x));
1775 : : }
1776 : : /* x^(1/n) */
1777 : : INLINE GEN
1778 : 19645 : sqrtnr(GEN x, long n) { return mpexp(divrs(mplog(x), n)); }
1779 : :
1780 : : /*******************************************************************/
1781 : : /* */
1782 : : /* MISCELLANEOUS */
1783 : : /* */
1784 : : /*******************************************************************/
1785 [ + + ][ + + ]: 372907 : INLINE int ismpzero(GEN x) { return is_intreal_t(typ(x)) && !signe(x); }
1786 [ + + ][ + + ]: 201652110 : INLINE int isintzero(GEN x) { return typ(x) == t_INT && !signe(x); }
1787 [ + + ][ + + ]: 2846943 : INLINE int isint1(GEN x) { return typ(x)==t_INT && equali1(x); }
1788 [ # # ][ # # ]: 0 : INLINE int isintm1(GEN x){ return typ(x)==t_INT && equalim1(x);}
1789 : 115265374 : INLINE int equali1(GEN n)
1790 [ + + ][ + + ]: 115265374 : { return (ulong) n[1] == (evallgefint(3UL) | evalsigne(1)) && n[2] == 1; }
1791 : 40594 : INLINE int equalim1(GEN n)
1792 [ + + ][ + + ]: 40594 : { return (ulong) n[1] == (evallgefint(3UL) | evalsigne(-1)) && n[2] == 1; }
1793 : : /* works only for POSITIVE integers */
1794 : 560427735 : INLINE int is_pm1(GEN n)
1795 [ + + ][ + + ]: 560427735 : { return lgefint(n) == 3 && n[2] == 1; }
1796 : 84563191 : INLINE int is_bigint(GEN n)
1797 [ + + ][ + + ]: 84563191 : { long l = lgefint(n); return l > 3 || (l == 3 && (n[2] & HIGHBIT)); }
[ + + ]
1798 : :
1799 : 161220143 : INLINE int odd(long x) { return x & 1; }
1800 : 31776914 : INLINE int both_odd(long x, long y) { return x & y & 1; }
1801 : :
1802 : : INLINE int
1803 : 1000774332 : isonstack(GEN x)
1804 : 1000774332 : { return ((pari_sp)x >= pari_mainstack->bot
1805 [ + + ][ + + ]: 1000774332 : && (pari_sp)x < pari_mainstack->top); }
1806 : :
1807 : : /* assume 0 <= k <= BITS_IN_LONG. Return uniform random 0 <= x < (1<<k) */
1808 : : INLINE long
1809 : 6227956 : random_bits(long k) { return pari_rand() >> (BITS_IN_LONG - k); }
1810 : :
1811 : : /* assume x != 0 and x t_REAL, return an approximation to log2(|x|) */
1812 : : INLINE double
1813 : 11349426 : dbllog2r(GEN x)
1814 : 11349426 : { return log2((double)(ulong)x[2]) + (double)(expo(x) - (BITS_IN_LONG-1)); }
1815 : :
1816 : : INLINE GEN
1817 : 140961 : mul_content(GEN cx, GEN cy)
1818 : : {
1819 [ + + ]: 140961 : if (!cx) return cy;
1820 [ + + ]: 84816 : if (!cy) return cx;
1821 : 140961 : return gmul(cx,cy);
1822 : : }
1823 : : INLINE GEN
1824 : 112865 : mul_denom(GEN dx, GEN dy)
1825 : : {
1826 [ + + ]: 112865 : if (!dx) return dy;
1827 [ + + ]: 64517 : if (!dy) return dx;
1828 : 112865 : return mulii(dx,dy);
1829 : : }
1830 : :
1831 : : /* POLYNOMIALS */
1832 : : INLINE GEN
1833 [ + + ]: 12427176 : constant_term(GEN x) { return signe(x)? gel(x,2): gen_0; }
1834 : : INLINE GEN
1835 [ + - ]: 39745351 : leading_term(GEN x) { return lg(x) == 2? gen_0: gel(x,lg(x)-1); }
1836 : : INLINE ulong
1837 [ + - ]: 45430 : Flx_lead(GEN x) { return lg(x) == 2? 0: x[lg(x)-1]; }
1838 : : INLINE long
1839 : 883877347 : degpol(GEN x) { return lg(x)-3; }
1840 : : INLINE long
1841 : 336087352 : lgpol(GEN x) { return lg(x)-2; }
1842 : : INLINE long
1843 : 17830806 : lgcols(GEN x) { return lg(gel(x,1)); }
1844 : : INLINE long
1845 : 9793279 : nbrows(GEN x) { return lg(gel(x,1))-1; }
1846 : : INLINE GEN
1847 : 5 : truecoeff(GEN x, long n) { return polcoeff0(x,n,-1); }
1848 : :
1849 : : INLINE GEN
1850 : 197489 : RgXQ_mul(GEN y, GEN x, GEN T) { return RgX_rem(RgX_mul(y, x), T); }
1851 : : INLINE GEN
1852 : 97799 : RgXQ_sqr(GEN x, GEN T) { return RgX_rem(RgX_sqr(x), T); }
1853 : :
1854 : : INLINE GEN
1855 : 62115 : ZXQ_mul(GEN y, GEN x, GEN T) { return ZX_rem(ZX_mul(y, x), T); }
1856 : : INLINE GEN
1857 : 9675 : ZXQ_sqr(GEN x, GEN T) { return ZX_rem(ZX_sqr(x), T); }
1858 : :
1859 : : INLINE GEN
1860 : 40946905 : RgX_copy(GEN x)
1861 : : {
1862 : : long lx, i;
1863 : 40946905 : GEN y = cgetg_copy(x, &lx); y[1] = x[1];
1864 [ + + ]: 146939435 : for (i = 2; i<lx; i++) gel(y,i) = gcopy(gel(x,i));
1865 : 40946905 : return y;
1866 : : }
1867 : : /* have to use ulong to avoid silly warnings from gcc "assuming signed
1868 : : * overflow does not occur" */
1869 : : INLINE GEN
1870 : 3575 : RgX_coeff(GEN x, long n)
1871 : : {
1872 : 3575 : ulong l = lg(x);
1873 [ + + ][ + + ]: 3575 : return (n < 0 || ((ulong)n+3) > l)? gen_0: gel(x,n+2);
1874 : : }
1875 : : INLINE GEN
1876 : 115525 : RgX_renormalize(GEN x) { return RgX_renormalize_lg(x, lg(x)); }
1877 : : INLINE GEN
1878 : 4499166 : RgX_div(GEN x, GEN y) { return RgX_divrem(x,y,NULL); }
1879 : : INLINE GEN
1880 : 999967 : RgX_rem(GEN x, GEN y) { return RgX_divrem(x,y,ONLY_REM); }
1881 : : INLINE GEN
1882 : 0 : RgXQX_div(GEN x, GEN y, GEN T) { return RgXQX_divrem(x,y,T,NULL); }
1883 : : INLINE GEN
1884 : 7440 : RgXQX_rem(GEN x, GEN y, GEN T) { return RgXQX_divrem(x,y,T,ONLY_REM); }
1885 : : INLINE GEN
1886 : 423773 : FpX_div(GEN x, GEN y, GEN p) { return FpX_divrem(x,y,p, NULL); }
1887 : : INLINE GEN
1888 : 911802 : Flx_div(GEN x, GEN y, ulong p) { return Flx_divrem(x,y,p, NULL); }
1889 : : INLINE GEN
1890 : 730588 : F2x_div(GEN x, GEN y) { return F2x_divrem(x,y, NULL); }
1891 : : INLINE GEN
1892 : 0 : FpV_FpC_mul(GEN x, GEN y, GEN p) { return FpV_dotproduct(x,y,p); }
1893 : : INLINE GEN
1894 : 13905418 : pol0_Flx(long sv) { return mkvecsmall(sv); }
1895 : : INLINE GEN
1896 : 6695062 : pol1_Flx(long sv) { return mkvecsmall2(sv, 1); }
1897 : : INLINE GEN
1898 : 2149995 : polx_Flx(long sv) { return mkvecsmall3(sv, 0, 1); }
1899 : : INLINE GEN
1900 : 0 : zero_zx(long sv) { return zero_Flx(sv); }
1901 : : INLINE GEN
1902 : 0 : polx_zx(long sv) { return polx_Flx(sv); }
1903 : : INLINE GEN
1904 : 0 : zx_shift(GEN x, long n) { return Flx_shift(x,n); }
1905 : : INLINE GEN
1906 : 0 : zx_renormalize(GEN x, long l) { return Flx_renormalize(x,l); }
1907 : : INLINE GEN
1908 : 55 : zero_F2x(long sv) { return zero_Flx(sv); }
1909 : : INLINE GEN
1910 : 1210707 : pol0_F2x(long sv) { return pol0_Flx(sv); }
1911 : : INLINE GEN
1912 : 332641 : pol1_F2x(long sv) { return pol1_Flx(sv); }
1913 : : INLINE GEN
1914 : 126829 : polx_F2x(long sv) { return mkvecsmall2(sv, 2); }
1915 : : INLINE int
1916 : 1039 : F2x_equal1(GEN x) { return Flx_equal1(x); }
1917 : : INLINE int
1918 : 705691 : F2x_equal(GEN V, GEN W) { return Flx_equal(V,W); }
1919 : : INLINE GEN
1920 : 0 : F2v_copy(GEN x) { return leafcopy(x); }
1921 : : INLINE GEN
1922 : 648355 : Flv_copy(GEN x) { return leafcopy(x); }
1923 : : INLINE GEN
1924 : 23992911 : Flx_copy(GEN x) { return leafcopy(x); }
1925 : : INLINE GEN
1926 : 11793804 : vecsmall_copy(GEN x) { return leafcopy(x); }
1927 : : INLINE int
1928 [ + + ][ + + ]: 1936402 : Flx_equal1(GEN x) { return degpol(x)==0 && x[2] == 1; }
1929 : : INLINE int
1930 [ + + ][ + + ]: 9113 : ZX_equal1(GEN x) { return degpol(x)==0 && equali1(gel(x,2)); }
1931 : :
1932 : : INLINE GEN
1933 : 47612964 : ZX_renormalize(GEN x, long lx) { return ZXX_renormalize(x,lx); }
1934 : : INLINE GEN
1935 : 54054257 : FpX_renormalize(GEN x, long lx) { return ZXX_renormalize(x,lx); }
1936 : : INLINE GEN
1937 : 143987 : FpXX_renormalize(GEN x, long lx) { return ZXX_renormalize(x,lx); }
1938 : : INLINE GEN
1939 : 285782 : FpXQX_renormalize(GEN x, long lx) { return ZXX_renormalize(x,lx); }
1940 : : INLINE GEN
1941 : 18167132 : F2x_renormalize(GEN x, long lx) { return Flx_renormalize(x,lx); }
1942 : : INLINE GEN
1943 : 4384 : F2v_to_F2x(GEN x, long sv) {
1944 : 4384 : GEN y = leafcopy(x);
1945 : 4384 : y[1] = sv; F2x_renormalize(y, lg(y)); return y;
1946 : : }
1947 : :
1948 : : INLINE GEN
1949 : 0 : ZX_ZXY_resultant(GEN a, GEN b) { return ZX_ZXY_rnfequation(a,b,NULL); }
1950 : : INLINE long
1951 : 5 : sturm(GEN x) { return sturmpart(x, NULL, NULL); }
1952 : : INLINE GEN
1953 : 17612 : resultant(GEN x, GEN y) { return resultant_all(x,y,NULL); }
1954 : :
1955 : : INLINE long
1956 : 1655 : gval(GEN x, long v) {
1957 : 1655 : pari_sp av = avma;
1958 : 1655 : long n = gvaluation(x, pol_x(v));
1959 : 1655 : avma = av; return n;
1960 : : }
1961 : :
1962 : : INLINE void
1963 : 358155 : RgX_shift_inplace_init(long v)
1964 [ + + ]: 358155 : { if (v) (void)cgetg(v, t_VECSMALL); }
1965 : : /* shift polynomial in place. assume v free cells have been left before x */
1966 : : INLINE GEN
1967 : 358155 : RgX_shift_inplace(GEN x, long v)
1968 : : {
1969 : : long i, lx;
1970 : : GEN y, z;
1971 [ + + ]: 358155 : if (!v) return x;
1972 : 198868 : lx = lg(x);
1973 [ - + ]: 198868 : if (lx == 2) return x;
1974 : 198868 : y = x + v;
1975 : 198868 : z = x + lx;
1976 : : /* stackdummy from normalizepol: move it up */
1977 [ - + ]: 198868 : if (lg(z) != v) x[lx + v] = z[0];
1978 [ + + ]: 3643977 : for (i = lx-1; i >= 2; i--) gel(y,i) = gel(x,i);
1979 [ + + ]: 556046 : for (i = v+1; i >= 2; i--) gel(x,i) = gen_0;
1980 : : /* leave x[1] alone: it is correct */
1981 : 358155 : x[0] = evaltyp(t_POL) | evallg(lx+v); return x;
1982 : : }
1983 : :
1984 : :
1985 : : /* LINEAR ALGEBRA */
1986 : : INLINE GEN
1987 : 3040 : zv_to_ZV(GEN x) { return vecsmall_to_vec(x); }
1988 : : INLINE GEN
1989 : 324523 : zc_to_ZC(GEN x) { return vecsmall_to_col(x); }
1990 : : INLINE GEN
1991 : 137726 : ZV_to_zv(GEN x) { return vec_to_vecsmall(x); }
1992 : : INLINE GEN
1993 : 0 : zx_to_zv(GEN x, long N) { return Flx_to_Flv(x,N); }
1994 : : INLINE GEN
1995 : 0 : zv_to_zx(GEN x, long sv) { return Flv_to_Flx(x,sv); }
1996 : : INLINE GEN
1997 : 0 : zm_to_zxV(GEN x, long sv) { return Flm_to_FlxV(x,sv); }
1998 : : INLINE GEN
1999 : 0 : zero_zm(long x, long y) { return zero_Flm(x,y); }
2000 : : INLINE GEN
2001 : 5201646 : zero_zv(long x) { return zero_Flv(x); }
2002 : : INLINE GEN
2003 : 65 : zm_transpose(GEN x) { return Flm_transpose(x); }
2004 : : INLINE GEN
2005 : 0 : zm_copy(GEN x) { return Flm_copy(x); }
2006 : : INLINE GEN
2007 : 506678 : zv_copy(GEN x) { return Flv_copy(x); }
2008 : : INLINE GEN
2009 : 0 : row_zm(GEN x, long i) { return row_Flm(x,i); }
2010 : :
2011 : : INLINE GEN
2012 : 606679 : ZC_hnfrem(GEN x, GEN y) { return ZC_hnfremdiv(x,y,NULL); }
2013 : : INLINE GEN
2014 : 18121 : ZM_hnfrem(GEN x, GEN y) { return ZM_hnfdivrem(x,y,NULL); }
2015 : : INLINE GEN
2016 : 932242 : ZM_lll(GEN x, double D, long f) { return ZM_lll_norms(x,D,f,NULL); }
2017 : : INLINE void
2018 [ + + ]: 81389 : RgM_dimensions(GEN x, long *m, long *n) { *n = lg(x)-1; *m = *n? nbrows(x): 0; }
2019 : : INLINE GEN
2020 : 19592 : RgM_inv(GEN a) { return RgM_solve(a, NULL); }
2021 : : INLINE GEN
2022 : 3905984 : RgM_shallowcopy(GEN x)
2023 : : {
2024 : : long l;
2025 : 3905984 : GEN y = cgetg_copy(x, &l);
2026 [ + + ]: 21344282 : while (--l > 0) gel(y,l) = leafcopy(gel(x,l));
2027 : 3905984 : return y;
2028 : : }
2029 : : INLINE GEN
2030 : 1028 : F2m_copy(GEN x) { return RgM_shallowcopy(x); }
2031 : :
2032 : : INLINE GEN
2033 : 326060 : Flm_copy(GEN x) { return RgM_shallowcopy(x); }
2034 : :
2035 : : /* divisibility: return 1 if y[i] | x[i] for all i, 0 otherwise. Assume
2036 : : * x,y are ZV of the same length */
2037 : : INLINE int
2038 : 16570 : ZV_dvd(GEN x, GEN y)
2039 : : {
2040 : 16570 : long i, l = lg(x);
2041 [ + + ]: 26175 : for (i=1; i < l; i++)
2042 [ + + ]: 21080 : if ( ! dvdii( gel(x,i), gel(y,i) ) ) return 0;
2043 : 16570 : return 1;
2044 : : }
2045 : :
2046 : : /* Fq */
2047 : : INLINE GEN
2048 : 1190321 : Fq_red(GEN x, GEN T, GEN p)
2049 [ + + ]: 1190321 : { return typ(x)==t_INT? Fp_red(x,p): FpXQ_red(x,T,p); }
2050 : : INLINE GEN
2051 : 278 : gener_Fq_local(GEN T, GEN p, GEN L)
2052 : 278 : { return T? gener_FpXQ_local(T,p, L)
2053 [ + + ]: 278 : : pgener_Fp_local(p, L); }
2054 : :
2055 : : /* FpXQX */
2056 : : INLINE GEN
2057 : 0 : FpXQX_div(GEN x, GEN y, GEN T, GEN p) { return FpXQX_divrem(x, y, T, p, NULL); }
2058 : : INLINE GEN
2059 : 35267 : FlxqX_rem(GEN x, GEN y, GEN T, ulong p) { return FlxqX_divrem(x, y, T, p, ONLY_REM); }
2060 : : INLINE GEN
2061 : 3455 : FlxqX_div(GEN x, GEN y, GEN T, ulong p) { return FlxqX_divrem(x, y, T, p, NULL); }
2062 : :
2063 : : /* FqX */
2064 : : INLINE GEN
2065 [ + - ]: 2120 : FqX_red(GEN z, GEN T, GEN p) { return T? FpXQX_red(z, T, p): FpX_red(z, p); }
2066 : : INLINE GEN
2067 [ + + ]: 491680 : FqX_add(GEN x,GEN y,GEN T,GEN p) { return T? FpXX_add(x,y,p): FpX_add(x,y,p); }
2068 : : INLINE GEN
2069 [ + + ]: 2670 : FqX_neg(GEN x,GEN T,GEN p) { return T? FpXX_neg(x,p): FpX_neg(x,p); }
2070 : : INLINE GEN
2071 [ + + ]: 54015 : FqX_sub(GEN x,GEN y,GEN T,GEN p) { return T? FpXX_sub(x,y,p): FpX_sub(x,y,p); }
2072 : : INLINE GEN
2073 : 312110 : FqX_Fp_mul(GEN P, GEN u, GEN T, GEN p)
2074 [ + + ]: 312110 : { return T? FpXX_Fp_mul(P, u, p): FpX_Fp_mul(P, u, p); }
2075 : : INLINE GEN
2076 : 320848 : FqX_Fq_mul(GEN P, GEN U, GEN T, GEN p)
2077 [ + + ]: 320848 : { return typ(U)==t_INT ? FqX_Fp_mul(P, U, T, p): FpXQX_FpXQ_mul(P, U, T, p); }
2078 : : INLINE GEN
2079 : 31055 : FqX_mul(GEN x, GEN y, GEN T, GEN p)
2080 [ + + ]: 31055 : { return T? FpXQX_mul(x, y, T, p): FpX_mul(x, y, p); }
2081 : : INLINE GEN
2082 : 250038 : FqX_mulu(GEN x, ulong y, GEN T, GEN p)
2083 [ + + ]: 250038 : { return T? FpXX_mulu(x, y, p): FpX_mulu(x, y, p); }
2084 : : INLINE GEN
2085 : 1115 : FqX_sqr(GEN x, GEN T, GEN p)
2086 [ + + ]: 1115 : { return T? FpXQX_sqr(x, T, p): FpX_sqr(x, p); }
2087 : : INLINE GEN
2088 : 2303 : FqX_div(GEN x, GEN y, GEN T, GEN p)
2089 [ + + ]: 2303 : { return T? FpXQX_divrem(x,y,T,p,NULL): FpX_divrem(x,y,p,NULL); }
2090 : : INLINE GEN
2091 : 8120 : FqX_rem(GEN x, GEN y, GEN T, GEN p)
2092 [ + + ]: 8120 : { return T? FpXQX_rem(x,y,T,p): FpX_rem(x,y,p); }
2093 : : INLINE GEN
2094 : 0 : FqX_divrem(GEN x, GEN y, GEN T, GEN p, GEN *z)
2095 [ # # ]: 0 : { return T? FpXQX_divrem(x,y,T,p,z): FpX_divrem(x,y,p,z); }
2096 : : INLINE GEN
2097 : 7248 : FqX_gcd(GEN P,GEN Q,GEN T,GEN p)
2098 [ + + ]: 7248 : {return T? FpXQX_gcd(P,Q,T,p): FpX_gcd(P,Q,p);}
2099 : : INLINE GEN
2100 : 21259 : FqX_extgcd(GEN P,GEN Q,GEN T,GEN p, GEN *U, GEN *V)
2101 [ + + ]: 21259 : { return T? FpXQX_extgcd(P,Q,T,p,U,V): FpX_extgcd(P,Q,p,U,V); }
2102 : :
2103 : : /*FqXQ*/
2104 : : INLINE GEN
2105 : 0 : FqXQ_add(GEN x, GEN y, GEN S/*unused*/, GEN T, GEN p)
2106 [ # # ]: 0 : { (void)S; return T? FpXX_add(x,y,p): FpX_add(x,y,p); }
2107 : : INLINE GEN
2108 : 0 : FqXQ_sub(GEN x, GEN y, GEN S/*unused*/, GEN T, GEN p)
2109 [ # # ]: 0 : { (void)S; return T? FpXX_sub(x,y,p): FpX_sub(x,y,p); }
2110 : : INLINE GEN
2111 : 11160 : FqXQ_div(GEN x, GEN y, GEN S, GEN T, GEN p)
2112 [ + + ]: 11160 : { return T? FpXQXQ_div(x,y,S,T,p): FpXQ_div(x,y,S,p); }
2113 : : INLINE GEN
2114 : 0 : FqXQ_inv(GEN x, GEN S, GEN T, GEN p)
2115 [ # # ]: 0 : { return T? FpXQXQ_inv(x,S,T,p): FpXQ_inv(x,S,p); }
2116 : : INLINE GEN
2117 : 0 : FqXQ_invsafe(GEN x, GEN S, GEN T, GEN p)
2118 [ # # ]: 0 : { return T? FpXQXQ_invsafe(x,S,T,p): FpXQ_inv(x,S,p); }
2119 : : INLINE GEN
2120 : 26190 : FqXQ_mul(GEN x, GEN y, GEN S, GEN T, GEN p)
2121 [ + + ]: 26190 : { return T? FpXQXQ_mul(x,y,S,T,p): FpXQ_mul(x,y,S,p); }
2122 : : INLINE GEN
2123 : 11365 : FqXQ_sqr(GEN x, GEN S, GEN T, GEN p)
2124 [ + + ]: 11365 : { return T? FpXQXQ_sqr(x,S,T,p): FpXQ_sqr(x,S,p); }
2125 : : INLINE GEN
2126 : 0 : FqXQ_pow(GEN x, GEN n, GEN S, GEN T, GEN p)
2127 [ # # ]: 0 : { return T? FpXQXQ_pow(x,n,S,T,p): FpXQ_pow(x,n,S,p); }
2128 : :
2129 : : /*FpXQ*/
2130 : : INLINE GEN
2131 : 0 : FpXQ_add(GEN x,GEN y,GEN T/*unused*/,GEN p)
2132 : 0 : { (void)T; return FpX_add(x,y,p); }
2133 : : INLINE GEN
2134 : 0 : FpXQ_sub(GEN x,GEN y,GEN T/*unused*/,GEN p)
2135 : 0 : { (void)T; return FpX_sub(x,y,p); }
2136 : :
2137 : : /*Flxq*/
2138 : : INLINE GEN
2139 : 0 : Flxq_add(GEN x,GEN y,GEN T/*unused*/,ulong p)
2140 : 0 : { (void)T; return Flx_add(x,y,p); }
2141 : : INLINE GEN
2142 : 0 : Flxq_sub(GEN x,GEN y,GEN T/*unused*/,ulong p)
2143 : 0 : { (void)T; return Flx_sub(x,y,p); }
2144 : :
2145 : : /* F2x */
2146 : :
2147 : : INLINE ulong
2148 : 57627954 : F2x_coeff(GEN x,long v)
2149 : : {
2150 : 57627954 : ulong u=(ulong)x[2+divsBIL(v)];
2151 : 57627954 : return (u>>remsBIL(v))&1UL;
2152 : : }
2153 : :
2154 : : INLINE void
2155 : 1324208 : F2x_clear(GEN x,long v)
2156 : : {
2157 : 1324208 : ulong* u=(ulong*)&x[2+divsBIL(v)];
2158 : 1324208 : *u&=~(1UL<<remsBIL(v));
2159 : 1324208 : }
2160 : :
2161 : : INLINE void
2162 : 14894329 : F2x_set(GEN x,long v)
2163 : : {
2164 : 14894329 : ulong* u=(ulong*)&x[2+divsBIL(v)];
2165 : 14894329 : *u|=1UL<<remsBIL(v);
2166 : 14894329 : }
2167 : :
2168 : : INLINE void
2169 : 229258 : F2x_flip(GEN x,long v)
2170 : : {
2171 : 229258 : ulong* u=(ulong*)&x[2+divsBIL(v)];
2172 : 229258 : *u^=1UL<<remsBIL(v);
2173 : 229258 : }
2174 : :
2175 : : /* F2v */
2176 : :
2177 : : INLINE ulong
2178 : 57375131 : F2v_coeff(GEN x,long v) { return F2x_coeff(x,v-1); }
2179 : :
2180 : : INLINE void
2181 : 1324208 : F2v_clear(GEN x,long v) { F2x_clear(x,v-1); }
2182 : :
2183 : : INLINE void
2184 : 10351711 : F2v_set(GEN x,long v) { F2x_set(x,v-1); }
2185 : :
2186 : : INLINE void
2187 : 229258 : F2v_flip(GEN x,long v) { F2x_flip(x,v-1); }
2188 : :
2189 : : /* F2m */
2190 : :
2191 : : INLINE ulong
2192 : 9986316 : F2m_coeff(GEN x, long a, long b) { return F2v_coeff(gel(x,b), a); }
2193 : :
2194 : : INLINE void
2195 : 0 : F2m_clear(GEN x, long a, long b) { F2v_clear(gel(x,b), a); }
2196 : :
2197 : : INLINE void
2198 : 1586412 : F2m_set(GEN x, long a, long b) { F2v_set(gel(x,b), a); }
2199 : :
2200 : : INLINE void
2201 : 229258 : F2m_flip(GEN x, long a, long b) { F2v_flip(gel(x,b), a); }
2202 : :
2203 : : /* ARITHMETIC */
2204 : : INLINE GEN
2205 : 195 : matpascal(long n) { return matqpascal(n, NULL); }
2206 : : INLINE long
2207 : 164342 : Z_issquare(GEN x) { return Z_issquareall(x, NULL); }
2208 : : INLINE long
2209 : 10 : Z_ispower(GEN x, ulong k) { return Z_ispowerall(x, k, NULL); }
2210 : : INLINE GEN
2211 : 1729017 : sqrti(GEN x) { return sqrtremi(x,NULL); }
2212 : : INLINE GEN
2213 : 1003136 : gaddgs(GEN y, long s) { return gaddsg(s,y); }
2214 : : INLINE int
2215 : 6975 : gcmpgs(GEN y, long s) { return -gcmpsg(s,y); }
2216 : : INLINE int
2217 : 3990 : gequalgs(GEN y, long s) { return gequalsg(s,y); }
2218 : : INLINE GEN
2219 : 0 : gmaxsg(long s, GEN y) { return gmaxgs(y,s); }
2220 : : INLINE GEN
2221 : 0 : gminsg(long s, GEN y) { return gmings(y,s); }
2222 : : INLINE GEN
2223 : 1437883 : gmulgs(GEN y, long s) { return gmulsg(s,y); }
2224 : : INLINE GEN
2225 : 259997 : gsubgs(GEN y, long s) { return gaddgs(y, -s); }
2226 : : INLINE GEN
2227 : 73190 : gdivsg(long s, GEN y) { return gdiv(stoi(s), y); }
2228 : :
2229 : : /* x t_COMPLEX */
2230 : : INLINE GEN
2231 : 6978645 : cxnorm(GEN x) { return gadd(gsqr(gel(x,1)), gsqr(gel(x,2))); }
2232 : : /* q t_QUAD */
2233 : : INLINE GEN
2234 : 760 : quadnorm(GEN q)
2235 : : {
2236 : 760 : GEN X = gel(q,1), b = gel(X,3), c = gel(X,2);
2237 : 760 : GEN z, u = gel(q,3), v = gel(q,2);
2238 [ + + ][ + - ]: 760 : if (typ(u) == t_INT && typ(v) == t_INT) /* generic case */
2239 : : {
2240 [ + + ]: 305 : z = signe(b)? mulii(v, addii(u,v)): sqri(v);
2241 : 305 : return addii(z, mulii(c, sqri(u)));
2242 : : }
2243 : : else
2244 : : {
2245 [ + - ]: 455 : z = signe(b)? gmul(v, gadd(u,v)): gsqr(v);
2246 : 760 : return gadd(z, gmul(c, gsqr(u)));
2247 : : }
2248 : : }
2249 : : /* x a t_QUAD, return the associated discriminant */
2250 : : INLINE GEN
2251 : 130 : quad_disc(GEN x)
2252 : : {
2253 : 130 : GEN Q = gel(x,1), b = gel(Q,3), c = gel(Q,2), c4;
2254 [ + + ]: 130 : if (is_pm1(b))
2255 : : {
2256 : 110 : pari_sp av = avma; (void)new_chunk(lgefint(c) + 1);
2257 : 110 : c4 = shifti(c,2); avma = av; return subsi(1, c4);
2258 : : }
2259 : 130 : c4 = shifti(c,2); togglesign_safe(&c4); return c4;
2260 : : }
2261 : : INLINE GEN
2262 : 2540891 : qfb_disc3(GEN x, GEN y, GEN z) { return subii(sqri(y), shifti(mulii(x,z),2)); }
2263 : : INLINE GEN
2264 : 2490686 : qfb_disc(GEN x) { return qfb_disc3(gel(x,1), gel(x,2), gel(x,3)); }
2265 : :
2266 : : INLINE GEN
2267 : 74767 : sqrfrac(GEN x)
2268 : : {
2269 : 74767 : GEN z = cgetg(3,t_FRAC);
2270 : 74767 : gel(z,1) = sqri(gel(x,1));
2271 : 74767 : gel(z,2) = sqri(gel(x,2)); return z;
2272 : : }
2273 : :
2274 : : INLINE void
2275 : 2902418 : normalize_frac(GEN z) {
2276 [ + + ]: 2902418 : if (signe(gel(z,2)) < 0) { togglesign(gel(z,1)); setabssign(gel(z,2)); }
2277 : 2902418 : }
2278 : :
2279 : : INLINE GEN
2280 : 249310 : powii(GEN x, GEN n)
2281 : : {
2282 : 249310 : long ln = lgefint(n);
2283 [ + + ]: 249310 : if (ln == 3) {
2284 : : GEN z;
2285 [ + + ]: 248442 : if (signe(n) > 0) return powiu(x, n[2]);
2286 : 230 : z = cgetg(3, t_FRAC);
2287 : 230 : gel(z,1) = gen_1;
2288 : 230 : gel(z,2) = powiu(x, n[2]);
2289 : 230 : return z;
2290 : : }
2291 [ + - ]: 868 : if (ln == 2) return gen_1; /* rare */
2292 : : /* should never happen */
2293 : 249310 : return powgi(x, n); /* overflow unless x = 0, 1, -1 */
2294 : : }
2295 : : INLINE GEN
2296 : 530 : powIs(long n) {
2297 [ + + + + ]: 530 : switch(n & 3)
2298 : : {
2299 : 5 : case 1: return mkcomplex(gen_0,gen_1);
2300 : 225 : case 2: return gen_m1;
2301 : 270 : case 3: return mkcomplex(gen_0,gen_m1);
2302 : : }
2303 : 530 : return gen_1;
2304 : : }
2305 : :
2306 : : /*******************************************************************/
2307 : : /* */
2308 : : /* ASSIGNMENTS */
2309 : : /* */
2310 : : /*******************************************************************/
2311 : 0 : INLINE void mpexpz(GEN x, GEN z)
2312 : 0 : { pari_sp av = avma; gaffect(mpexp(x), z); avma = av; }
2313 : 0 : INLINE void mplogz(GEN x, GEN z)
2314 : 0 : { pari_sp av = avma; gaffect(mplog(x), z); avma = av; }
2315 : 0 : INLINE void mpcosz(GEN x, GEN z)
2316 : 0 : { pari_sp av = avma; gaffect(mpcos(x), z); avma = av; }
2317 : 0 : INLINE void mpsinz(GEN x, GEN z)
2318 : 0 : { pari_sp av = avma; gaffect(mpsin(x), z); avma = av; }
2319 : 0 : INLINE void gnegz(GEN x, GEN z)
2320 : 0 : { pari_sp av = avma; gaffect(gneg(x), z); avma = av; }
2321 : 0 : INLINE void gabsz(GEN x, long prec, GEN z)
2322 : 0 : { pari_sp av = avma; gaffect(gabs(x,prec), z); avma = av; }
2323 : 32988 : INLINE void gaddz(GEN x, GEN y, GEN z)
2324 : 32988 : { pari_sp av = avma; gaffect(gadd(x,y), z); avma = av; }
2325 : 0 : INLINE void gsubz(GEN x, GEN y, GEN z)
2326 : 0 : { pari_sp av = avma; gaffect(gsub(x,y), z); avma = av; }
2327 : 16514 : INLINE void gmulz(GEN x, GEN y, GEN z)
2328 : 16514 : { pari_sp av = avma; gaffect(gmul(x,y), z); avma = av; }
2329 : 0 : INLINE void gdivz(GEN x, GEN y, GEN z)
2330 : 0 : { pari_sp av = avma; gaffect(gdiv(x,y), z); avma = av; }
2331 : 0 : INLINE void gdiventz(GEN x, GEN y, GEN z)
2332 : 0 : { pari_sp av = avma; gaffect(gdivent(x,y), z); avma = av; }
2333 : 0 : INLINE void gmodz(GEN x, GEN y, GEN z)
2334 : 0 : { pari_sp av = avma; gaffect(gmod(x,y), z); avma = av; }
2335 : 0 : INLINE void gmul2nz(GEN x, long s, GEN z)
2336 : 0 : { pari_sp av = avma; gaffect(gmul2n(x,s), z); avma = av; }
2337 : 0 : INLINE void gshiftz(GEN x, long s, GEN z)
2338 : 0 : { pari_sp av = avma; gaffect(gshift(x,s), z); avma = av; }
2339 : :
2340 : : /*******************************************************************/
2341 : : /* */
2342 : : /* ELLIPTIC CURVES */
2343 : : /* */
2344 : : /*******************************************************************/
2345 : 1396921 : INLINE GEN ell_get_a1(GEN e) { return gel(e,1); }
2346 : 1006056 : INLINE GEN ell_get_a2(GEN e) { return gel(e,2); }
2347 : 1408646 : INLINE GEN ell_get_a3(GEN e) { return gel(e,3); }
2348 : 1444031 : INLINE GEN ell_get_a4(GEN e) { return gel(e,4); }
2349 : 1736981 : INLINE GEN ell_get_a6(GEN e) { return gel(e,5); }
2350 : 1426022 : INLINE GEN ell_get_b2(GEN e) { return gel(e,6); }
2351 : 311227 : INLINE GEN ell_get_b4(GEN e) { return gel(e,7); }
2352 : 590707 : INLINE GEN ell_get_b6(GEN e) { return gel(e,8); }
2353 : 491445 : INLINE GEN ell_get_b8(GEN e) { return gel(e,9); }
2354 : 3351688 : INLINE GEN ell_get_c4(GEN e) { return gel(e,10); }
2355 : 3608723 : INLINE GEN ell_get_c6(GEN e) { return gel(e,11); }
2356 : 4568158 : INLINE GEN ell_get_disc(GEN e) { return gel(e,12); }
2357 : 628845 : INLINE GEN ell_get_j(GEN e) { return gel(e,13); }
2358 : 4952182 : INLINE long ell_get_type(GEN e) { return mael(e,14,1); }
2359 : 411510 : INLINE GEN ellff_get_field(GEN x) { return gmael(x, 15, 1); }
2360 : 182680 : INLINE GEN ellff_get_a4a6(GEN x) { return gmael(x, 15, 2); }
2361 : 240 : INLINE GEN ellQp_get_zero(GEN x) { return gmael(x, 15, 1); }
2362 : 60 : INLINE long ellQp_get_prec(GEN E) { GEN z = ellQp_get_zero(E); return valp(z); }
2363 : 175 : INLINE GEN ellQp_get_p(GEN E) { GEN z = ellQp_get_zero(E); return gel(z,2); }
2364 : 180 : INLINE long ellR_get_prec(GEN x) { return nbits2prec(mael3(x, 15, 1, 1)); }
2365 : 484 : INLINE long ellR_get_sign(GEN x) { return mael3(x, 15, 1, 2); }
2366 : 35025 : INLINE GEN ellnf_get_nf(GEN x) { return gmael(x, 15, 1); }
2367 : :
2368 : 13659497 : INLINE int ell_is_inf(GEN z) { return lg(z) == 2; }
2369 : 277460 : INLINE GEN ellinf(void) { return mkvec(gen_0); }
2370 : :
2371 : : /*******************************************************************/
2372 : : /* */
2373 : : /* ALGEBRAIC NUMBER THEORY */
2374 : : /* */
2375 : : /*******************************************************************/
2376 : 11239039 : INLINE GEN pr_get_p(GEN pr) { return gel(pr,1); }
2377 : 1368803 : INLINE GEN pr_get_gen(GEN pr){ return gel(pr,2); }
2378 : : /* .[2] instead of itos works: e and f are small positive integers */
2379 : 900178 : INLINE long pr_get_e(GEN pr) { return gel(pr,3)[2]; }
2380 : 5801811 : INLINE long pr_get_f(GEN pr) { return gel(pr,4)[2]; }
2381 : 8931387 : INLINE GEN pr_get_tau(GEN pr){ return gel(pr,5); }
2382 : : INLINE int
2383 : 395028 : pr_is_inert(GEN P) { return pr_get_f(P) == lg(pr_get_gen(P))-1; }
2384 : : INLINE GEN
2385 : 54409 : pr_norm(GEN pr) { return powiu(pr_get_p(pr), pr_get_f(pr)); }
2386 : :
2387 : : /* assume nf a genuine nf */
2388 : : INLINE long
2389 : 2253 : nf_get_varn(GEN nf) { return varn(gel(nf,1)); }
2390 : : INLINE GEN
2391 : 4274596 : nf_get_pol(GEN nf) { return gel(nf,1); }
2392 : : INLINE long
2393 : 1979691 : nf_get_degree(GEN nf) { return degpol( nf_get_pol(nf) ); }
2394 : : INLINE long
2395 : 867640 : nf_get_r1(GEN nf) { GEN x = gel(nf,2); return itou(gel(x,1)); }
2396 : : INLINE long
2397 : 195 : nf_get_r2(GEN nf) { GEN x = gel(nf,2); return itou(gel(x,2)); }
2398 : : INLINE GEN
2399 : 12633 : nf_get_disc(GEN nf) { return gel(nf,3); }
2400 : : INLINE GEN
2401 : 338463 : nf_get_index(GEN nf) { return gel(nf,4); }
2402 : : INLINE GEN
2403 : 805526 : nf_get_M(GEN nf) { return gmael(nf,5,1); }
2404 : : INLINE GEN
2405 : 26862 : nf_get_G(GEN nf) { return gmael(nf,5,2); }
2406 : : INLINE GEN
2407 : 268416 : nf_get_roundG(GEN nf) { return gmael(nf,5,3); }
2408 : : INLINE GEN
2409 : 515 : nf_get_Tr(GEN nf) { return gmael(nf,5,4); }
2410 : : INLINE GEN
2411 : 510 : nf_get_diff(GEN nf) { return gmael(nf,5,5); }
2412 : : INLINE GEN
2413 : 29069 : nf_get_roots(GEN nf) { return gel(nf,6); }
2414 : : INLINE GEN
2415 : 4509999 : nf_get_zk(GEN nf) { return gel(nf,7); }
2416 : : INLINE GEN
2417 : 832405 : nf_get_invzk(GEN nf) { return gel(nf,8); }
2418 : : INLINE void
2419 : 2535 : nf_get_sign(GEN nf, long *r1, long *r2)
2420 : : {
2421 : 2535 : GEN x = gel(nf,2);
2422 : 2535 : *r1 = itou(gel(x,1));
2423 : 2535 : *r2 = itou(gel(x,2));
2424 : 2535 : }
2425 : :
2426 : : INLINE GEN
2427 : 5634 : abgrp_get_no(GEN x) { return gel(x,1); }
2428 : : INLINE GEN
2429 : 798710 : abgrp_get_cyc(GEN x) { return gel(x,2); }
2430 : : INLINE GEN
2431 : 198279 : abgrp_get_gen(GEN x) { return gel(x,3); }
2432 : : INLINE GEN
2433 : 788380 : bnf_get_nf(GEN bnf) { return gel(bnf,7); }
2434 : : INLINE GEN
2435 : 402466 : bnf_get_clgp(GEN bnf) { return gmael(bnf,8,1); }
2436 : : INLINE GEN
2437 : 435 : bnf_get_no(GEN bnf) { return abgrp_get_no(bnf_get_clgp(bnf)); }
2438 : : INLINE GEN
2439 : 207825 : bnf_get_cyc(GEN bnf) { return abgrp_get_cyc(bnf_get_clgp(bnf)); }
2440 : : INLINE GEN
2441 : 194101 : bnf_get_gen(GEN bnf) { return abgrp_get_gen(bnf_get_clgp(bnf)); }
2442 : : INLINE GEN
2443 : 280 : bnf_get_reg(GEN bnf) { return gmael(bnf,8,2); }
2444 : : INLINE GEN
2445 : 318134 : bnf_get_logfu(GEN bnf) { return gel(bnf,3); }
2446 : : INLINE GEN
2447 : 4048 : bnf_get_tuU(GEN bnf) { return gmael3(bnf,8,4,2); }
2448 : : INLINE long
2449 : 5143 : bnf_get_tuN(GEN bnf) { return gmael3(bnf,8,4,1)[2]; }
2450 : : INLINE GEN
2451 : 4388 : bnf_get_fu(GEN bnf) {
2452 : 4388 : GEN fu = bnf_get_fu_nocheck(bnf);
2453 [ - + ]: 4388 : if (typ(fu) == t_MAT) pari_err(e_MISC,"missing units in bnf");
2454 : 4388 : return fu;
2455 : : }
2456 : : INLINE GEN
2457 : 8097 : bnf_get_fu_nocheck(GEN bnf) { return gmael(bnf,8,5); }
2458 : :
2459 : : INLINE GEN
2460 : 317659 : bnr_get_bnf(GEN bnr) { return gel(bnr,1); }
2461 : : INLINE GEN
2462 : 158155 : bnr_get_bid(GEN bnr) { return gel(bnr,2); }
2463 : : INLINE GEN
2464 : 6211 : bnr_get_mod(GEN bnr) { return gmael(bnr,2,1); }
2465 : : INLINE GEN
2466 : 1370 : bnr_get_nf(GEN bnr) { return gmael(bnr,1,7); }
2467 : : INLINE GEN
2468 : 175119 : bnr_get_clgp(GEN bnr) { return gel(bnr,5); }
2469 : : INLINE GEN
2470 : 5199 : bnr_get_no(GEN bnr) { return abgrp_get_no(bnr_get_clgp(bnr)); }
2471 : : INLINE GEN
2472 : 168942 : bnr_get_cyc(GEN bnr) { return abgrp_get_cyc(bnr_get_clgp(bnr)); }
2473 : : INLINE GEN
2474 : 45 : bnr_get_gen_nocheck(GEN bnr) { return abgrp_get_gen(bnr_get_clgp(bnr)); }
2475 : : INLINE GEN
2476 : 933 : bnr_get_gen(GEN bnr) {
2477 : 933 : GEN G = bnr_get_clgp(bnr);
2478 [ - + ]: 933 : if (lg(G) != 4)
2479 : 0 : pari_err(e_MISC,"missing bnr generators: please use bnrinit(,,1)");
2480 : 933 : return gel(G,3);
2481 : : }
2482 : :
2483 : : INLINE GEN
2484 : 255031 : bid_get_mod(GEN bid) { return gel(bid,1); }
2485 : : INLINE GEN
2486 : 65752 : bid_get_ideal(GEN bid) { return gmael(bid,1,1); }
2487 : : INLINE GEN
2488 : 91221 : bid_get_arch(GEN bid) { return gmael(bid,1,2); }
2489 : : INLINE GEN
2490 : 425336 : bid_get_grp(GEN bid) { return gel(bid,2); }
2491 : : INLINE GEN
2492 : 0 : bid_get_no(GEN bid) { return abgrp_get_no(bid_get_grp(bid)); }
2493 : : INLINE GEN
2494 : 421203 : bid_get_cyc(GEN bid) { return abgrp_get_cyc(bid_get_grp(bid)); }
2495 : : INLINE GEN
2496 : 0 : bid_get_gen_nocheck(GEN bid) { return abgrp_get_gen(bid_get_grp(bid)); }
2497 : : INLINE GEN
2498 : 3393 : bid_get_gen(GEN bid) {
2499 : 3393 : GEN G = bid_get_grp(bid);
2500 [ - + ]: 3393 : if (lg(G) != 4) pari_err(e_MISC,"missing bid generators. Use idealstar(,,2)");
2501 : 3393 : return abgrp_get_gen(G);
2502 : : }
2503 : : INLINE GEN
2504 : 620 : gal_get_pol(GEN gal) { return gel(gal,1); }
2505 : : INLINE GEN
2506 : 660 : gal_get_p(GEN gal) { return gmael(gal,2,1); }
2507 : : INLINE GEN
2508 : 30 : gal_get_e(GEN gal) { return gmael(gal,2,2); }
2509 : : INLINE GEN
2510 : 1087 : gal_get_mod(GEN gal) { return gmael(gal,2,3); }
2511 : : INLINE GEN
2512 : 1342 : gal_get_roots(GEN gal) { return gel(gal,3); }
2513 : : INLINE GEN
2514 : 1097 : gal_get_invvdm(GEN gal) { return gel(gal,4); }
2515 : : INLINE GEN
2516 : 1097 : gal_get_den(GEN gal) { return gel(gal,5); }
2517 : : INLINE GEN
2518 : 565 : gal_get_group(GEN gal) { return gel(gal,6); }
2519 : : INLINE GEN
2520 : 625 : gal_get_gen(GEN gal) { return gel(gal,7); }
2521 : : INLINE GEN
2522 : 295 : gal_get_orders(GEN gal) { return gel(gal,8); }
2523 : :
2524 : : /* assume rnf a genuine rnf */
2525 : : INLINE long
2526 : 655 : rnf_get_degree(GEN rnf) { return degpol(rnf_get_pol(rnf)); }
2527 : : INLINE long
2528 : 385 : rnf_get_nfdegree(GEN rnf) { return degpol(nf_get_pol(rnf_get_nf(rnf))); }
2529 : : INLINE long
2530 : 130 : rnf_get_absdegree(GEN rnf) { return degpol(gmael(rnf,11,1)); }
2531 : : INLINE GEN
2532 : 3530 : rnf_get_nf(GEN rnf) { return gel(rnf,10); }
2533 : : INLINE void
2534 : 525 : rnf_get_nfzk(GEN rnf, GEN *b, GEN *cb) {*b=gmael(rnf,2,1); *cb=gmael(rnf,2,2);}
2535 : : INLINE GEN
2536 : 1300 : rnf_get_polabs(GEN rnf) { return gmael(rnf,11,1); }
2537 : : INLINE GEN
2538 : 5055 : rnf_get_pol(GEN rnf) { return gel(rnf,1); }
2539 : : INLINE GEN
2540 : 100 : rnf_get_disc(GEN rnf) { return gel(rnf,3); }
2541 : : INLINE GEN
2542 : 75 : rnf_get_index(GEN rnf) { return gel(rnf,4); }
2543 : : INLINE long
2544 : 0 : rnf_get_varn(GEN rnf) { return varn(gel(rnf,1)); }
2545 : : INLINE GEN
2546 : 3310 : rnf_get_nfpol(GEN rnf) { return gmael(rnf,10,1); }
2547 : : INLINE long
2548 : 40 : rnf_get_nfvarn(GEN rnf) { return varn(gmael(rnf,10,1)); }
2549 : : INLINE GEN
2550 : 1375 : rnf_get_zk(GEN rnf) { return gel(rnf,7); }
2551 : : INLINE GEN
2552 : 960 : rnf_get_map(GEN rnf) { return gel(rnf,11); }
2553 : : INLINE GEN
2554 : 755 : rnf_get_invzk(GEN rnf) { return gel(rnf,8); }
2555 : :
2556 : : /* I integral (not necessarily HNF), G ZM, rounded Cholesky form of a weighted
2557 : : * T2 matrix. Return m in I with T2(m) small */
2558 : : INLINE GEN
2559 : 101225 : idealpseudomin(GEN I, GEN G)
2560 : : {
2561 : 101225 : GEN u = ZM_lll(ZM_mul(G, I), 0.99, LLL_IM);
2562 : 101225 : return ZM_ZC_mul(I, gel(u,1));
2563 : : }
2564 : : /* I, G as in idealpseudomin. Return an irrational m in I with T2(m) small */
2565 : : INLINE GEN
2566 : 194676 : idealpseudomin_nonscalar(GEN I, GEN G)
2567 : : {
2568 : 194676 : GEN u = ZM_lll(ZM_mul(G, I), 0.99, LLL_IM);
2569 : 194676 : GEN m = ZM_ZC_mul(I, gel(u,1));
2570 [ + + ][ + - ]: 194676 : if (ZV_isscalar(m) && lg(u) > 2) m = ZM_ZC_mul(I, gel(u,2));
2571 : 194676 : return m;
2572 : : }
2573 : :
2574 : : INLINE GEN
2575 : 221 : idealred_elt(GEN nf, GEN I) {
2576 : 221 : pari_sp av = avma;
2577 : 221 : GEN u = idealpseudomin(I, nf_get_roundG(nf));
2578 : 221 : return gerepileupto(av, u);
2579 : : }
2580 : : INLINE GEN
2581 : 100615 : idealred(GEN nf, GEN I) { return idealred0(nf, I, NULL); }
2582 : :
2583 : : /*******************************************************************/
2584 : : /* */
2585 : : /* CLOSURES */
2586 : : /* */
2587 : : /*******************************************************************/
2588 : 62504529 : INLINE long closure_arity(GEN C) { return ((ulong)C[1])&ARITYBITS; }
2589 : 7785575 : INLINE long closure_is_variadic(GEN C) { return !!(((ulong)C[1])&VARARGBITS); }
2590 : 54713453 : INLINE const char *closure_codestr(GEN C) { return GSTR(gel(C,2))-1; }
2591 : 0 : INLINE GEN closure_get_code(GEN C) { return gel(C,2); }
2592 : 54713453 : INLINE GEN closure_get_oper(GEN C) { return gel(C,3); }
2593 : 54711477 : INLINE GEN closure_get_data(GEN C) { return gel(C,4); }
2594 : 2094 : INLINE GEN closure_get_dbg(GEN C) { return gel(C,5); }
2595 : 4621 : INLINE GEN closure_get_text(GEN C) { return gel(C,6); }
2596 : 730 : INLINE GEN closure_get_frame(GEN C) { return gel(C,7); }
2597 : :
2598 : : /*******************************************************************/
2599 : : /* */
2600 : : /* ERRORS */
2601 : : /* */
2602 : : /*******************************************************************/
2603 : : INLINE long
2604 : 14189 : err_get_num(GEN e) { return e[1]; }
2605 : : INLINE GEN
2606 : 55 : err_get_compo(GEN e, long i) { return gel(e, i+1); }
2607 : :
2608 : : INLINE void
2609 : 0 : pari_err_BUG(const char *f) { pari_err(e_BUG,f); }
2610 : : INLINE void
2611 : 5 : pari_err_CONSTPOL(const char *f) { pari_err(e_CONSTPOL, f); }
2612 : : INLINE void
2613 : 30 : pari_err_COPRIME(const char *f, GEN x, GEN y) { pari_err(e_COPRIME, f,x,y); }
2614 : : INLINE void
2615 : 129 : pari_err_DIM(const char *f) { pari_err(e_DIM, f); }
2616 : : INLINE void
2617 : 0 : pari_err_FILE(const char *f, const char *g) { pari_err(e_FILE, f,g); }
2618 : : INLINE void
2619 : 5 : pari_err_FLAG(const char *f) { pari_err(e_FLAG,f); }
2620 : : INLINE void
2621 : 80 : pari_err_IMPL(const char *f) { pari_err(e_IMPL,f); }
2622 : : INLINE void
2623 : 465 : pari_err_INV(const char *f, GEN x) { pari_err(e_INV,f,x); }
2624 : : INLINE void
2625 : 10 : pari_err_IRREDPOL(const char *f, GEN x) { pari_err(e_IRREDPOL, f,x); }
2626 : : INLINE void
2627 : 849 : pari_err_DOMAIN(const char *f, const char *v, const char *op, GEN l, GEN x) { pari_err(e_DOMAIN, f,v,op,l,x); }
2628 : : INLINE void
2629 : 145 : pari_err_COMPONENT(const char *f, const char *op, GEN l, GEN x) { pari_err(e_COMPONENT, f,op,l,x); }
2630 : : INLINE void
2631 : 0 : pari_err_MAXPRIME(ulong c) { pari_err(e_MAXPRIME, c); }
2632 : : INLINE void
2633 : 220 : pari_err_OP(const char *f, GEN x, GEN y) { pari_err(e_OP, f,x,y); }
2634 : : INLINE void
2635 : 32 : pari_err_OVERFLOW(const char *f) { pari_err(e_OVERFLOW, f); }
2636 : : INLINE void
2637 : 162 : pari_err_PREC(const char *f) { pari_err(e_PREC,f); }
2638 : : INLINE void
2639 : 0 : pari_err_PACKAGE(const char *f) { pari_err(e_PACKAGE,f); }
2640 : : INLINE void
2641 : 25 : pari_err_PRIME(const char *f, GEN x) { pari_err(e_PRIME, f,x); }
2642 : : INLINE void
2643 : 505 : pari_err_MODULUS(const char *f, GEN x, GEN y) { pari_err(e_MODULUS, f,x,y); }
2644 : : INLINE void
2645 : 25 : pari_err_ROOTS0(const char *f) { pari_err(e_ROOTS0, f); }
2646 : : INLINE void
2647 : 50 : pari_err_SQRTN(const char *f, GEN x) { pari_err(e_SQRTN, f,x); }
2648 : : INLINE void
2649 : 7221 : pari_err_TYPE(const char *f, GEN x) { pari_err(e_TYPE, f,x); }
2650 : : INLINE void
2651 : 1990 : pari_err_TYPE2(const char *f, GEN x, GEN y) { pari_err(e_TYPE2, f,x,y); }
2652 : : INLINE void
2653 : 350 : pari_err_VAR(const char *f, GEN x, GEN y) { pari_err(e_VAR, f,x,y); }
2654 : : INLINE void
2655 : 45 : pari_err_PRIORITY(const char *f, GEN x, const char *op, long v)
2656 : 45 : { pari_err(e_PRIORITY, f,x,op,v); }
|
