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 retmkcol6(x,y,z,t,u,v)\
102 : : do { GEN _v = cgetg(7, t_COL);\
103 : : gel(_v,1) = (x);\
104 : : gel(_v,2) = (y);\
105 : : gel(_v,3) = (z);\
106 : : gel(_v,4) = (t);\
107 : : gel(_v,5) = (u);\
108 : : gel(_v,6) = (v); return _v; } while(0)
109 : : #define retmkmat(x)\
110 : : do { GEN _v = cgetg(2, t_MAT);\
111 : : gel(_v,1) = (x); return _v; } while(0)
112 : : #define retmkmat2(x,y)\
113 : : do { GEN _v = cgetg(3, t_MAT);\
114 : : gel(_v,1) = (x);\
115 : : gel(_v,2) = (y); return _v; } while(0)
116 : : #define retmkmat3(x,y,z)\
117 : : do { GEN _v = cgetg(4, t_MAT);\
118 : : gel(_v,1) = (x);\
119 : : gel(_v,2) = (y);\
120 : : gel(_v,3) = (z); return _v; } while(0)
121 : : #define retmkmat4(x,y,z,t)\
122 : : do { GEN _v = cgetg(5, t_MAT);\
123 : : gel(_v,1) = (x);\
124 : : gel(_v,2) = (y);\
125 : : gel(_v,3) = (z);\
126 : : gel(_v,4) = (t); return _v; } while(0)
127 : : #define retmkmat5(x,y,z,t,u)\
128 : : do { GEN _v = cgetg(6, t_MAT);\
129 : : gel(_v,1) = (x);\
130 : : gel(_v,2) = (y);\
131 : : gel(_v,3) = (z);\
132 : : gel(_v,4) = (t);\
133 : : gel(_v,5) = (u); return _v; } while(0)
134 : :
135 : : INLINE GEN
136 : 380578 : mkintmod(GEN x, GEN y) { retmkintmod(x,y); }
137 : : INLINE GEN
138 : 3675 : mkintmodu(ulong x, ulong y) {
139 : 3675 : GEN v = cgetg(3,t_INTMOD);
140 : 3675 : gel(v,1) = utoipos(y);
141 : 3675 : gel(v,2) = utoi(x); return v;
142 : : }
143 : : INLINE GEN
144 : 208159 : mkpolmod(GEN x, GEN y) { retmkpolmod(x,y); }
145 : : INLINE GEN
146 : 43293 : mkfrac(GEN x, GEN y) { retmkfrac(x,y); }
147 : : INLINE GEN
148 : 1544117 : mkfraccopy(GEN x, GEN y) { retmkfrac(icopy(x), icopy(y)); }
149 : : INLINE GEN
150 : 7 : mkrfrac(GEN x, GEN y) { GEN v = cgetg(3, t_RFRAC);
151 : 7 : gel(v,1) = x; gel(v,2) = y; return v; }
152 : : INLINE GEN
153 : 14 : mkrfraccopy(GEN x, GEN y) { GEN v = cgetg(3, t_RFRAC);
154 : 14 : gel(v,1) = gcopy(x); gel(v,2) = gcopy(y); return v; }
155 : : INLINE GEN
156 : 2980003 : mkcomplex(GEN x, GEN y) { retmkcomplex(x,y); }
157 : : INLINE GEN
158 : 165221 : gen_I(void) { return mkcomplex(gen_0, gen_1); }
159 : : INLINE GEN
160 : 47633 : cgetc(long l) { retmkcomplex(cgetr(l), cgetr(l)); }
161 : : INLINE GEN
162 : 42 : mkquad(GEN n, GEN x, GEN y) { GEN v = cgetg(4, t_QUAD);
163 : 42 : gel(v,1) = n; gel(v,2) = x; gel(v,3) = y; return v; }
164 : : /* vecsmall */
165 : : INLINE GEN
166 : 25515975 : mkvecsmall(long x) { GEN v = cgetg(2, t_VECSMALL); v[1] = x; return v; }
167 : : INLINE GEN
168 : 95199134 : mkvecsmall2(long x,long y) { GEN v = cgetg(3, t_VECSMALL);
169 : 95199134 : v[1]=x; v[2]=y; return v; }
170 : : INLINE GEN
171 : 35277527 : mkvecsmall3(long x,long y,long z) { GEN v = cgetg(4, t_VECSMALL);
172 : 35277527 : v[1]=x; v[2]=y; v[3]=z; return v; }
173 : : INLINE GEN
174 : 1480915 : mkvecsmall4(long x,long y,long z,long t) { GEN v = cgetg(5, t_VECSMALL);
175 : 1480915 : v[1]=x; v[2]=y; v[3]=z; v[4]=t; return v; }
176 : : INLINE GEN
177 : 104709 : mkvecsmall5(long x,long y,long z,long t,long u) { GEN v = cgetg(6, t_VECSMALL);
178 : 104709 : v[1]=x; v[2]=y; v[3]=z; v[4]=t; v[5]=u; return v; }
179 : :
180 : : INLINE GEN
181 : 158109 : mkqfi(GEN x, GEN y, GEN z) { retmkqfi(x,y,z); }
182 : : /* vec */
183 : : INLINE GEN
184 : 2404814 : mkvec(GEN x) { retmkvec(x); }
185 : : INLINE GEN
186 : 10312927 : mkvec2(GEN x, GEN y) { retmkvec2(x,y); }
187 : : INLINE GEN
188 : 30007546 : mkvec3(GEN x, GEN y, GEN z) { retmkvec3(x,y,z); }
189 : : INLINE GEN
190 : 3587179 : mkvec4(GEN x, GEN y, GEN z, GEN t) { retmkvec4(x,y,z,t); }
191 : : INLINE GEN
192 : 11478570 : mkvec5(GEN x, GEN y, GEN z, GEN t, GEN u) { retmkvec5(x,y,z,t,u); }
193 : : INLINE GEN
194 : 7 : mkvecs(long x) { retmkvec(stoi(x)); }
195 : : INLINE GEN
196 : 9926 : mkvec2s(long x, long y) { retmkvec2(stoi(x),stoi(y)); }
197 : : INLINE GEN
198 : 492702 : mkvec3s(long x, long y, long z) { retmkvec3(stoi(x),stoi(y),stoi(z)); }
199 : : INLINE GEN
200 : 7 : mkvec4s(long x, long y, long z, long t) { retmkvec4(stoi(x),stoi(y),stoi(z),stoi(t)); }
201 : : INLINE GEN
202 : 35756 : mkveccopy(GEN x) { GEN v = cgetg(2, t_VEC); gel(v,1) = gcopy(x); return v; }
203 : : INLINE GEN
204 : 167325 : mkvec2copy(GEN x, GEN y) {
205 : 167325 : GEN v = cgetg(3,t_VEC); gel(v,1) = gcopy(x); gel(v,2) = gcopy(y); return v; }
206 : : /* col */
207 : : INLINE GEN
208 : 624494 : mkcol(GEN x) { retmkcol(x); }
209 : : INLINE GEN
210 : 11591391 : mkcol2(GEN x, GEN y) { retmkcol2(x,y); }
211 : : INLINE GEN
212 : 40369 : mkcol3(GEN x, GEN y, GEN z) { retmkcol3(x,y,z); }
213 : : INLINE GEN
214 : 0 : mkcol4(GEN x, GEN y, GEN z, GEN t) { retmkcol4(x,y,z,t); }
215 : : INLINE GEN
216 : 0 : mkcol5(GEN x, GEN y, GEN z, GEN t, GEN u) { retmkcol5(x,y,z,t,u); }
217 : : INLINE GEN
218 : 337 : mkcol6(GEN x, GEN y, GEN z, GEN t, GEN u, GEN v) { retmkcol6(x,y,z,t,u,v); }
219 : : INLINE GEN
220 : 0 : mkcols(long x) { retmkcol(stoi(x)); }
221 : : INLINE GEN
222 : 0 : mkcol2s(long x, long y) { retmkcol2(stoi(x),stoi(y)); }
223 : : INLINE GEN
224 : 0 : mkcol3s(long x, long y, long z) { retmkcol3(stoi(x),stoi(y),stoi(z)); }
225 : : INLINE GEN
226 : 0 : mkcol4s(long x, long y, long z, long t) { retmkcol4(stoi(x),stoi(y),stoi(z),stoi(t)); }
227 : : INLINE GEN
228 : 27141 : mkcolcopy(GEN x) { GEN v = cgetg(2, t_COL); gel(v,1) = gcopy(x); return v; }
229 : : /* mat */
230 : : INLINE GEN
231 : 186534 : mkmat(GEN x) { retmkmat(x); }
232 : : INLINE GEN
233 : 9310380 : mkmat2(GEN x, GEN y) { retmkmat2(x,y); }
234 : : INLINE GEN
235 : 2345 : mkmat3(GEN x, GEN y, GEN z) { retmkmat3(x,y,z); }
236 : : INLINE GEN
237 : 0 : mkmat4(GEN x, GEN y, GEN z, GEN t) { retmkmat4(x,y,z,t); }
238 : : INLINE GEN
239 : 0 : mkmat5(GEN x, GEN y, GEN z, GEN t, GEN u) { retmkmat5(x,y,z,t,u); }
240 : : INLINE GEN
241 : 6979 : mkmatcopy(GEN x) { GEN v = cgetg(2, t_MAT); gel(v,1) = gcopy(x); return v; }
242 : : INLINE GEN
243 : 0 : mkerr(long x) { GEN v = cgetg(2, t_ERROR); v[1] = x; return v; }
244 : : INLINE GEN
245 : 7918 : mkoo() { GEN v = cgetg(2, t_INFINITY); gel(v,1) = gen_1; return v; }
246 : : INLINE GEN
247 : 4759 : mkmoo() { GEN v = cgetg(2, t_INFINITY); gel(v,1) = gen_m1; return v; }
248 : : INLINE long
249 : 15283 : inf_get_sign(GEN x) { return signe(gel(x,1)); }
250 : : /* pol */
251 : : INLINE GEN
252 : 314300 : pol_x(long v) {
253 : 314300 : GEN p = cgetg(4, t_POL);
254 : 314300 : p[1] = evalsigne(1)|evalvarn(v);
255 : 314300 : gel(p,2) = gen_0;
256 : 314300 : gel(p,3) = gen_1; return p;
257 : : }
258 : : INLINE GEN
259 : 636436 : pol_1(long v) {
260 : 636436 : GEN p = cgetg(3, t_POL);
261 : 636436 : p[1] = evalsigne(1)|evalvarn(v);
262 : 636436 : gel(p,2) = gen_1; return p;
263 : : }
264 : : INLINE GEN
265 : 11220135 : pol_0(long v)
266 : : {
267 : 11220135 : GEN x = cgetg(2,t_POL);
268 : 11220135 : x[1] = evalvarn(v); return x;
269 : : }
270 : : #define retconst_vec(n,x)\
271 : : do { long _i, _n = (n);\
272 : : GEN _v = cgetg(n+1, t_VEC), _x = (x);\
273 : : for (_i = 1; _i <= _n; _i++) gel(_v,_i) = _x;\
274 : : return _v; } while(0)
275 : : INLINE GEN
276 [ + + ]: 29548355 : const_vec(long n, GEN x) { retconst_vec(n, x); }
277 : : #define retconst_col(n,x)\
278 : : do { long _i, _n = (n);\
279 : : GEN _v = cgetg(n+1, t_COL), _x = (x);\
280 : : for (_i = 1; _i <= _n; _i++) gel(_v,_i) = _x;\
281 : : return _v; } while(0)
282 : : INLINE GEN
283 [ + + ]: 84984 : const_col(long n, GEN x) { retconst_col(n, x); }
284 : : INLINE GEN
285 : 3223701 : const_vecsmall(long n, long c)
286 : : {
287 : : long i;
288 : 3223701 : GEN V = cgetg(n+1,t_VECSMALL);
289 [ + + ]: 14450931 : for(i=1;i<=n;i++) V[i] = c;
290 : 3223701 : return V;
291 : : }
292 : :
293 : : /*** ZERO ***/
294 : : /* O(p^e) */
295 : : INLINE GEN
296 : 10787 : zeropadic(GEN p, long e)
297 : : {
298 : 10787 : GEN y = cgetg(5,t_PADIC);
299 : 10787 : gel(y,4) = gen_0;
300 : 10787 : gel(y,3) = gen_1;
301 : 10787 : gel(y,2) = icopy(p);
302 : 10787 : y[1] = evalvalp(e) | _evalprecp(0);
303 : 10787 : return y;
304 : : }
305 : : INLINE GEN
306 : 315 : zeropadic_shallow(GEN p, long e)
307 : : {
308 : 315 : GEN y = cgetg(5,t_PADIC);
309 : 315 : gel(y,4) = gen_0;
310 : 315 : gel(y,3) = gen_1;
311 : 315 : gel(y,2) = p;
312 : 315 : y[1] = evalvalp(e) | _evalprecp(0);
313 : 315 : return y;
314 : : }
315 : : /* O(pol_x(v)^e) */
316 : : INLINE GEN
317 : 4704 : zeroser(long v, long e)
318 : : {
319 : 4704 : GEN x = cgetg(2, t_SER);
320 : 4704 : x[1] = evalvalp(e) | evalvarn(v); return x;
321 : : }
322 : : INLINE int
323 : 607310 : ser_isexactzero(GEN x)
324 : : {
325 [ + + ]: 607310 : if (!signe(x)) switch(lg(x))
[ + + + ]
326 : : {
327 : 4249 : case 2: return 1;
328 : 112 : case 3: return isexactzero(gel(x,2));
329 : : }
330 : 607310 : return 0;
331 : : }
332 : : /* 0 * pol_x(v) */
333 : : INLINE GEN
334 : 4206927 : zeropol(long v) { return pol_0(v); }
335 : : /* vector(n) */
336 : : INLINE GEN
337 : 21605610 : zerocol(long n)
338 : : {
339 : 21605610 : GEN y = cgetg(n+1,t_COL);
340 [ + + ]: 216529195 : long i; for (i=1; i<=n; i++) gel(y,i) = gen_0;
341 : 21605610 : return y;
342 : : }
343 : : /* vectorv(n) */
344 : : INLINE GEN
345 : 5735257 : zerovec(long n)
346 : : {
347 : 5735257 : GEN y = cgetg(n+1,t_VEC);
348 [ + + ]: 51830397 : long i; for (i=1; i<=n; i++) gel(y,i) = gen_0;
349 : 5735257 : return y;
350 : : }
351 : : /* matrix(m, n) */
352 : : INLINE GEN
353 : 5579 : zeromat(long m, long n)
354 : : {
355 : 5579 : GEN y = cgetg(n+1,t_MAT);
356 : 5579 : GEN v = zerocol(m);
357 [ + + ]: 19733 : long i; for (i=1; i<=n; i++) gel(y,i) = v;
358 : 5579 : return y;
359 : : }
360 : : /* = zero_zx, sv is a evalvarn()*/
361 : : INLINE GEN
362 : 77341 : zero_Flx(long sv) { return pol0_Flx(sv); }
363 : : INLINE GEN
364 : 19012193 : zero_Flv(long n)
365 : : {
366 : 19012193 : GEN y = cgetg(n+1,t_VECSMALL);
367 [ + + ]: 224547458 : long i; for (i=1; i<=n; i++) y[i] = 0;
368 : 19012193 : return y;
369 : : }
370 : : /* matrix(m, n) */
371 : : INLINE GEN
372 : 315 : zero_Flm(long m, long n)
373 : : {
374 : 315 : GEN y = cgetg(n+1,t_MAT);
375 : 315 : GEN v = zero_Flv(m);
376 [ + + ]: 2464 : long i; for (i=1; i<=n; i++) gel(y,i) = v;
377 : 315 : return y;
378 : : }
379 : : /* matrix(m, n) */
380 : : INLINE GEN
381 : 23532 : zero_Flm_copy(long m, long n)
382 : : {
383 : 23532 : GEN y = cgetg(n+1,t_MAT);
384 [ + + ]: 355385 : long i; for (i=1; i<=n; i++) gel(y,i) = zero_Flv(m);
385 : 23532 : return y;
386 : : }
387 : :
388 : : INLINE GEN
389 : 658204 : zero_F2v(long m)
390 : : {
391 : 658204 : long l = nbits2nlong(m);
392 : 658204 : GEN v = zero_Flv(l+1);
393 : 658204 : v[1] = m;
394 : 658204 : return v;
395 : : }
396 : :
397 : : INLINE GEN
398 : 0 : zero_F2m(long m, long n)
399 : : {
400 : : long i;
401 : 0 : GEN M = cgetg(n+1, t_MAT);
402 : 0 : GEN v = zero_F2v(m);
403 [ # # ]: 0 : for (i = 1; i <= n; i++)
404 : 0 : gel(M,i) = v;
405 : 0 : return M;
406 : : }
407 : :
408 : :
409 : : INLINE GEN
410 : 95843 : zero_F2m_copy(long m, long n)
411 : : {
412 : : long i;
413 : 95843 : GEN M = cgetg(n+1, t_MAT);
414 [ + + ]: 396147 : for (i = 1; i <= n; i++)
415 : 300304 : gel(M,i)= zero_F2v(m);
416 : 95843 : return M;
417 : : }
418 : :
419 : : /* matrix(m, n) */
420 : : INLINE GEN
421 : 1948498 : zeromatcopy(long m, long n)
422 : : {
423 : 1948498 : GEN y = cgetg(n+1,t_MAT);
424 [ + + ]: 8651205 : long i; for (i=1; i<=n; i++) gel(y,i) = zerocol(m);
425 : 1948498 : return y;
426 : : }
427 : :
428 : : /* i-th vector in the standard basis */
429 : : INLINE GEN
430 : 1151908 : col_ei(long n, long i) { GEN e = zerocol(n); gel(e,i) = gen_1; return e; }
431 : : INLINE GEN
432 : 305040 : vec_ei(long n, long i) { GEN e = zerovec(n); gel(e,i) = gen_1; return e; }
433 : : INLINE GEN
434 : 7 : F2v_ei(long n, long i) { GEN e = zero_F2v(n); F2v_set(e,i); return e; }
435 : : INLINE GEN
436 : 7224 : vecsmall_ei(long n, long i) { GEN e = zero_zv(n); e[i] = 1; return e; }
437 : : INLINE GEN
438 : 3267152 : Rg_col_ei(GEN x, long n, long i) { GEN e = zerocol(n); gel(e,i) = x; return e; }
439 : :
440 : : INLINE GEN
441 : 200964 : shallowcopy(GEN x)
442 [ + + ]: 200964 : { return typ(x) == t_MAT ? RgM_shallowcopy(x): leafcopy(x); }
443 : :
444 : : /* routines for naive growarrays */
445 : : INLINE GEN
446 : 700278 : vectrunc_init(long l)
447 : : {
448 : 700278 : GEN z = new_chunk(l);
449 : 700278 : z[0] = evaltyp(t_VEC) | _evallg(1); return z;
450 : : }
451 : : INLINE void
452 : 1110678 : vectrunc_append(GEN x, GEN t)
453 : 1110678 : { long l = lg(x); gel(x,l) = t; setlg(x, l+1); }
454 : : INLINE void
455 : 0 : vectrunc_append_batch(GEN x, GEN y)
456 : : {
457 : 0 : long i, l = lg(x), ly = lg(y);
458 : 0 : GEN z = x + l-1;
459 [ # # ]: 0 : for (i = 1; i < ly; i++) gel(z,i) = gel(y,i);
460 : 0 : setlg(x, l+ly-1);
461 : 0 : }
462 : : INLINE GEN
463 : 1201773 : vecsmalltrunc_init(long l)
464 : : {
465 : 1201773 : GEN z = new_chunk(l);
466 : 1201773 : z[0] = evaltyp(t_VECSMALL) | _evallg(1); return z;
467 : : }
468 : : INLINE void
469 : 2279797 : vecsmalltrunc_append(GEN x, long t)
470 : 2279797 : { long l = lg(x); x[l] = t; setlg(x, l+1); }
471 : :
472 : : /*******************************************************************/
473 : : /* */
474 : : /* VEC / COL / VECSMALL */
475 : : /* */
476 : : /*******************************************************************/
477 : : /* shallow*/
478 : : INLINE GEN
479 : 0 : vec_shorten(GEN v, long n)
480 : : {
481 : : long i;
482 : 0 : GEN V = cgetg(n+1,t_VEC);
483 [ # # ]: 0 : for(i=1;i<=n;i++) gel(V,i) = gel(v,i);
484 : 0 : return V;
485 : : }
486 : : /* shallow*/
487 : : INLINE GEN
488 : 7574 : vec_lengthen(GEN v, long n)
489 : : {
490 : : long i;
491 : 7574 : long l=lg(v);
492 : 7574 : GEN V = cgetg(n+1,t_VEC);
493 [ + + ]: 100485 : for(i=1;i<l;i++) gel(V,i) = gel(v,i);
494 : 7574 : return V;
495 : : }
496 : : /* shallow*/
497 : : INLINE GEN
498 : 54894 : vec_append(GEN V, GEN s)
499 : : {
500 : 54894 : long i, l2 = lg(V);
501 : 54894 : GEN res = cgetg(l2+1, typ(V));
502 [ + + ]: 90244 : for (i = 1; i < l2; ++i) gel(res, i) = gel(V,i);
503 : 54894 : gel(res,l2) = s; return res;
504 : : }
505 : : /* shallow*/
506 : : INLINE GEN
507 : 1750 : vec_setconst(GEN v, GEN x)
508 : : {
509 : 1750 : long i, l = lg(v);
510 [ + + ]: 6860 : for (i = 1; i < l; i++) gel(v,i) = x;
511 : 1750 : return v;
512 : : }
513 : : INLINE GEN
514 : 4508 : vecsmall_shorten(GEN v, long n)
515 : : {
516 : : long i;
517 : 4508 : GEN V = cgetg(n+1,t_VECSMALL);
518 [ + + ]: 21154 : for(i=1;i<=n;i++) V[i] = v[i];
519 : 4508 : return V;
520 : : }
521 : : INLINE GEN
522 : 448 : vecsmall_lengthen(GEN v, long n)
523 : : {
524 : 448 : long i, l = lg(v);
525 : 448 : GEN V = cgetg(n+1,t_VECSMALL);
526 [ + + ]: 42364 : for(i=1;i<l;i++) V[i] = v[i];
527 : 448 : return V;
528 : : }
529 : :
530 : : INLINE GEN
531 : 203460 : vec_to_vecsmall(GEN z)
532 : : {
533 : 203460 : long i, l = lg(z);
534 : 203460 : GEN x = cgetg(l, t_VECSMALL);
535 [ + + ]: 3190044 : for (i=1; i<l; i++) x[i] = itos(gel(z,i));
536 : 203460 : return x;
537 : : }
538 : : INLINE GEN
539 : 7391 : vecsmall_to_vec(GEN z)
540 : : {
541 : 7391 : long i, l = lg(z);
542 : 7391 : GEN x = cgetg(l,t_VEC);
543 [ + + ]: 21584 : for (i=1; i<l; i++) gel(x,i) = stoi(z[i]);
544 : 7391 : return x;
545 : : }
546 : : INLINE GEN
547 : 445592 : vecsmall_to_col(GEN z)
548 : : {
549 : 445592 : long i, l = lg(z);
550 : 445592 : GEN x = cgetg(l,t_COL);
551 [ + + ]: 2476102 : for (i=1; i<l; i++) gel(x,i) = stoi(z[i]);
552 : 445592 : return x;
553 : : }
554 : :
555 : : INLINE int
556 : 2586374 : vecsmall_lexcmp(GEN x, GEN y)
557 : : {
558 : : long lx,ly,l,i;
559 : 2586374 : lx = lg(x);
560 : 2586374 : ly = lg(y); l = minss(lx,ly);
561 [ + + ]: 14200249 : for (i=1; i<l; i++)
562 [ + + ][ + + ]: 13516538 : if (x[i] != y[i]) return x[i]<y[i]? -1: 1;
563 [ + - ]: 683711 : if (lx == ly) return 0;
564 [ # # ]: 2586374 : return (lx < ly)? -1 : 1;
565 : : }
566 : :
567 : : INLINE int
568 : 35286195 : vecsmall_prefixcmp(GEN x, GEN y)
569 : : {
570 : 35286195 : long i, lx = lg(x), ly = lg(y), l = minss(lx,ly);
571 [ + + ]: 111081488 : for (i=1; i<l; i++)
572 [ + + ][ + + ]: 100349200 : if (x[i] != y[i]) return x[i]<y[i]? -1: 1;
573 : 35286195 : return 0;
574 : : }
575 : :
576 : : /*Can be used on t_VEC, but coeffs not gcopy-ed*/
577 : : INLINE GEN
578 : 784 : vecsmall_prepend(GEN V, long s)
579 : : {
580 : 784 : long i, l2 = lg(V);
581 : 784 : GEN res = cgetg(l2+1, typ(V));
582 : 784 : res[1] = s;
583 [ + + ]: 1813 : for (i = 2; i <= l2; ++i) res[i] = V[i - 1];
584 : 784 : return res;
585 : : }
586 : :
587 : : INLINE GEN
588 : 355369 : vecsmall_append(GEN V, long s)
589 : : {
590 : 355369 : long i, l2 = lg(V);
591 : 355369 : GEN res = cgetg(l2+1, t_VECSMALL);
592 [ + + ]: 893627 : for (i = 1; i < l2; ++i) res[i] = V[i];
593 : 355369 : res[l2] = s; return res;
594 : : }
595 : :
596 : : INLINE GEN
597 : 192388 : vecsmall_concat(GEN u, GEN v)
598 : : {
599 : 192388 : long i, l1 = lg(u)-1, l2 = lg(v)-1;
600 : 192388 : GEN res = cgetg(l1+l2+1, t_VECSMALL);
601 [ + + ]: 1236326 : for (i = 1; i <= l1; ++i) res[i] = u[i];
602 [ + + ]: 600187 : for (i = 1; i <= l2; ++i) res[i+l1] = v[i];
603 : 192388 : return res;
604 : : }
605 : :
606 : : /* return the number of indices where u and v are equal */
607 : : INLINE long
608 : 0 : vecsmall_coincidence(GEN u, GEN v)
609 : : {
610 : 0 : long i, s = 0, l = minss(lg(u),lg(v));
611 [ # # ]: 0 : for(i=1; i<l; i++)
612 [ # # ]: 0 : if(u[i] == v[i]) s++;
613 : 0 : return s;
614 : : }
615 : :
616 : : /* returns the first index i<=n such that x=v[i] if it exists, 0 otherwise */
617 : : INLINE long
618 : 111174 : vecsmall_isin(GEN v, long x)
619 : : {
620 : 111174 : long i, l = lg(v);
621 [ + - ]: 24431062 : for (i = 1; i < l; i++)
622 [ + + ]: 24431062 : if (v[i] == x) return i;
623 : 111174 : return 0;
624 : : }
625 : :
626 : : INLINE long
627 : 84 : vecsmall_pack(GEN V, long base, long mod)
628 : : {
629 : 84 : long i, s = 0;
630 [ + + ]: 273 : for(i=1; i<lg(V); i++) s = (base*s + V[i]) % mod;
631 : 84 : return s;
632 : : }
633 : :
634 : : INLINE long
635 : 14 : vecsmall_indexmax(GEN x)
636 : : {
637 : 14 : long i, i0 = 1, t = x[1], lx = lg(x);
638 [ + + ]: 56 : for (i=2; i<lx; i++)
639 [ + + ]: 42 : if (x[i] > t) t = x[i0=i];
640 : 14 : return i0;
641 : : }
642 : :
643 : : INLINE long
644 : 2499 : vecsmall_max(GEN x)
645 : : {
646 : 2499 : long i, t = x[1], lx = lg(x);
647 [ + + ]: 8484 : for (i=2; i<lx; i++)
648 [ + + ]: 5985 : if (x[i] > t) t = x[i];
649 : 2499 : return t;
650 : : }
651 : :
652 : : INLINE long
653 : 14 : vecsmall_indexmin(GEN x)
654 : : {
655 : 14 : long i, i0 = 1, t = x[1], lx =lg(x);
656 [ + + ]: 56 : for (i=2; i<lx; i++)
657 [ - + ]: 42 : if (x[i] < t) t = x[i0=i];
658 : 14 : return i0;
659 : : }
660 : :
661 : : INLINE long
662 : 0 : vecsmall_min(GEN x)
663 : : {
664 : 0 : long i, t = x[1], lx =lg(x);
665 [ # # ]: 0 : for (i=2; i<lx; i++)
666 [ # # ]: 0 : if (x[i] < t) t = x[i];
667 : 0 : return t;
668 : : }
669 : :
670 : : INLINE int
671 : 1566154 : ZV_isscalar(GEN x)
672 : : {
673 : 1566154 : long l = lg(x);
674 [ + + ]: 4837581 : while (--l > 1)
675 [ + + ]: 4467696 : if (signe(gel(x, l))) return 0;
676 : 1566154 : return 1;
677 : : }
678 : : INLINE int
679 : 5460706 : QV_isscalar(GEN x)
680 : : {
681 : 5460706 : long lx = lg(x),i;
682 [ + + ]: 7571149 : for (i=2; i<lx; i++)
683 [ + + ]: 7230454 : if (!isintzero(gel(x, i))) return 0;
684 : 5460706 : return 1;
685 : : }
686 : : INLINE int
687 : 6385 : RgV_isscalar(GEN x)
688 : : {
689 : 6385 : long lx = lg(x),i;
690 [ + + ]: 15219 : for (i=2; i<lx; i++)
691 [ + + ]: 10396 : if (!gequal0(gel(x, i))) return 0;
692 : 6385 : return 1;
693 : : }
694 : : INLINE int
695 : 0 : RgX_isscalar(GEN x)
696 : : {
697 : : long i;
698 [ # # ]: 0 : for (i=lg(x)-1; i>2; i--)
699 [ # # ]: 0 : if (!gequal0(gel(x, i))) return 0;
700 : 0 : return 1;
701 : : }
702 : : INLINE long
703 [ + + ][ + + ]: 3944227 : RgX_equal_var(GEN x, GEN y) { return varn(x) == varn(y) && RgX_equal(x,y); }
704 : :
705 : : INLINE int
706 : 2198 : RgX_is_rational(GEN x)
707 : : {
708 : : long i;
709 [ + + ]: 22267 : for (i = lg(x)-1; i > 1; i--)
710 [ + + ]: 21133 : if (!is_rational_t(typ(gel(x,i)))) return 0;
711 : 2198 : return 1;
712 : : }
713 : : INLINE int
714 : 54483139 : RgX_is_ZX(GEN x)
715 : : {
716 : : long i;
717 [ + + ]: 235192083 : for (i = lg(x)-1; i > 1; i--)
718 [ + + ]: 185950983 : if (typ(gel(x,i)) != t_INT) return 0;
719 : 54483139 : return 1;
720 : : }
721 : : INLINE int
722 : 86289 : RgX_is_QX(GEN x)
723 : : {
724 : 86289 : long k = lg(x)-1;
725 [ + + ]: 293853 : for ( ; k>1; k--)
726 [ + + ]: 207718 : if (!is_rational_t(typ(gel(x,k)))) return 0;
727 : 86289 : return 1;
728 : : }
729 : : INLINE int
730 : 14640662 : RgX_is_monomial(GEN x)
731 : : {
732 : : long i;
733 [ + + ]: 14640662 : if (!signe(x)) return 0;
734 [ + + ]: 23559248 : for (i=lg(x)-2; i>1; i--)
735 [ + + ]: 16289857 : if (!isexactzero(gel(x,i))) return 0;
736 : 14640662 : return 1;
737 : : }
738 : : INLINE int
739 : 1272151 : RgV_is_ZV(GEN x)
740 : : {
741 : : long i;
742 [ + + ]: 4693894 : for (i = lg(x)-1; i > 0; i--)
743 [ + + ]: 3422016 : if (typ(gel(x,i)) != t_INT) return 0;
744 : 1272151 : return 1;
745 : : }
746 : : INLINE int
747 : 0 : RgV_is_QV(GEN x)
748 : : {
749 : : long i;
750 [ # # ]: 0 : for (i = lg(x)-1; i > 0; i--)
751 [ # # ]: 0 : if (!is_rational_t(typ(gel(x,i)))) return 0;
752 : 0 : return 1;
753 : : }
754 : :
755 : : /********************************************************************/
756 : : /** **/
757 : : /** Dynamic arrays implementation **/
758 : : /** **/
759 : : /********************************************************************/
760 : : INLINE void **
761 : 216496434 : pari_stack_base(pari_stack *s) { return s->data; }
762 : :
763 : : INLINE void
764 : 24867 : pari_stack_init(pari_stack *s, size_t size, void **data)
765 : : {
766 : 24867 : s->data = data;
767 : 24867 : *data = NULL;
768 : 24867 : s->n = 0;
769 : 24867 : s->alloc = 0;
770 : 24867 : s->size = size;
771 : 24867 : }
772 : :
773 : : INLINE void
774 : 216470352 : pari_stack_alloc(pari_stack *s, long nb)
775 : : {
776 : 216470352 : void **sdat = pari_stack_base(s);
777 [ + + ]: 216526679 : if (s->n+nb <= s->alloc) return;
778 [ + + ]: 56327 : if (!s->alloc)
779 : 18915 : s->alloc = nb;
780 : : else
781 : : {
782 [ + + ]: 74957 : while (s->n+nb > s->alloc) s->alloc <<= 1;
783 : : }
784 : 56327 : *sdat = pari_realloc(*sdat,s->alloc*s->size);
785 : : }
786 : :
787 : : INLINE long
788 : 189207982 : pari_stack_new(pari_stack *s) { pari_stack_alloc(s, 1); return s->n++; }
789 : :
790 : : INLINE void
791 : 19727 : pari_stack_delete(pari_stack *s)
792 : : {
793 : 19727 : void **sdat = pari_stack_base(s);
794 [ + + ]: 19727 : if (*sdat) free(*sdat);
795 : 19727 : }
796 : :
797 : : INLINE void
798 : 6355 : pari_stack_pushp(pari_stack *s, void *u)
799 : : {
800 : 6355 : long n = pari_stack_new(s);
801 : 6355 : void **sdat =(void**) *pari_stack_base(s);
802 : 6355 : sdat[n] = u;
803 : 6355 : }
804 : :
805 : : /*******************************************************************/
806 : : /* */
807 : : /* EXTRACT */
808 : : /* */
809 : : /*******************************************************************/
810 : : INLINE GEN
811 : 1694461 : vecslice(GEN A, long y1, long y2)
812 : : {
813 : 1694461 : long i,lB = y2 - y1 + 2;
814 : 1694461 : GEN B = cgetg(lB, typ(A));
815 [ + + ]: 9279669 : for (i=1; i<lB; i++) B[i] = A[y1-1+i];
816 : 1694461 : return B;
817 : : }
818 : : INLINE GEN
819 : 86632 : vecslicepermute(GEN A, GEN p, long y1, long y2)
820 : : {
821 : 86632 : long i,lB = y2 - y1 + 2;
822 : 86632 : GEN B = cgetg(lB, typ(A));
823 [ + + ]: 4397991 : for (i=1; i<lB; i++) B[i] = A[p[y1-1+i]];
824 : 86632 : return B;
825 : : }
826 : : /* rowslice(rowpermute(A,p), x1, x2) */
827 : : INLINE GEN
828 : 19698 : rowslicepermute(GEN A, GEN p, long x1, long x2)
829 : : {
830 : 19698 : long i, lB = lg(A);
831 : 19698 : GEN B = cgetg(lB, typ(A));
832 [ + + ]: 106330 : for (i=1; i<lB; i++) gel(B,i) = vecslicepermute(gel(A,i),p,x1,x2);
833 : 19698 : return B;
834 : : }
835 : : INLINE GEN
836 : 101994 : rowslice(GEN A, long x1, long x2)
837 : : {
838 : 101994 : long i, lB = lg(A);
839 : 101994 : GEN B = cgetg(lB, typ(A));
840 [ + + ]: 675218 : for (i=1; i<lB; i++) gel(B,i) = vecslice(gel(A,i),x1,x2);
841 : 101994 : return B;
842 : : }
843 : :
844 : : /* shallow, remove coeff of index j */
845 : : INLINE GEN
846 : 4984 : vecsplice(GEN a, long j)
847 : : {
848 : 4984 : long i, k, l = lg(a);
849 : : GEN b;
850 [ - + ]: 4984 : if (l == 1) pari_err(e_MISC, "incorrect component in vecsplice");
851 : 4984 : b = cgetg(l-1, typ(a));
852 [ + + ]: 27608 : for (i = k = 1; i < l; i++)
853 [ + + ]: 22624 : if (i != j) gel(b, k++) = gel(a,i);
854 : 4984 : return b;
855 : : }
856 : : /* shallow */
857 : : INLINE GEN
858 : 504 : RgM_minor(GEN a, long i, long j)
859 : : {
860 : 504 : GEN b = vecsplice(a, j);
861 : 504 : long k, l = lg(b);
862 [ + + ]: 2268 : for (k = 1; k < l; k++) gel(b,k) = vecsplice(gel(b,k), i);
863 : 504 : return b;
864 : : }
865 : :
866 : : /* A[x0,] */
867 : : INLINE GEN
868 : 113231 : row(GEN A, long x0)
869 : : {
870 : 113231 : long i, lB = lg(A);
871 : 113231 : GEN B = cgetg(lB, t_VEC);
872 [ + + ]: 843323 : for (i=1; i<lB; i++) gel(B, i) = gcoeff(A, x0, i);
873 : 113231 : return B;
874 : : }
875 : : INLINE GEN
876 : 23761 : row_Flm(GEN A, long x0)
877 : : {
878 : 23761 : long i, lB = lg(A);
879 : 23761 : GEN B = cgetg(lB, t_VECSMALL);
880 [ + + ]: 254291 : for (i=1; i<lB; i++) B[i] = coeff(A, x0, i);
881 : 23761 : return B;
882 : : }
883 : : /* A[x0,] */
884 : : INLINE GEN
885 : 21 : rowcopy(GEN A, long x0)
886 : : {
887 : 21 : long i, lB = lg(A);
888 : 21 : GEN B = cgetg(lB, t_VEC);
889 [ + + ]: 63 : for (i=1; i<lB; i++) gel(B, i) = gcopy(gcoeff(A, x0, i));
890 : 21 : return B;
891 : : }
892 : : /* A[x0, x1..x2] */
893 : : INLINE GEN
894 : 2093 : row_i(GEN A, long x0, long x1, long x2)
895 : : {
896 : 2093 : long i, lB = x2 - x1 + 2;
897 : 2093 : GEN B = cgetg(lB, t_VEC);
898 [ + + ]: 5943 : for (i=x1; i<=x2; i++) gel(B, i) = gcoeff(A, x0, i);
899 : 2093 : return B;
900 : : }
901 : :
902 : : INLINE GEN
903 : 49966 : vecreverse(GEN A)
904 : : {
905 : : long i, l;
906 : 49966 : GEN B = cgetg_copy(A, &l);
907 [ + + ]: 153566 : for (i=1; i<l; i++) gel(B, i) = gel(A, l-i);
908 : 49966 : return B;
909 : : }
910 : :
911 : : INLINE void
912 : 218 : vecreverse_inplace(GEN y)
913 : : {
914 : 218 : long ly = lg(y), lim = ly>>1, i;
915 [ + + ]: 612 : for (i = 1; i <= lim; i++)
916 : : {
917 : 394 : GEN z = gel(y,i);
918 : 394 : gel(y,i) = gel(y,ly-i);
919 : 394 : gel(y,ly-i) = z;
920 : : }
921 : 218 : }
922 : :
923 : : INLINE GEN
924 : 17631429 : vecsmallpermute(GEN A, GEN p) { return perm_mul(A, p); }
925 : :
926 : : INLINE GEN
927 : 4338163 : vecpermute(GEN A, GEN p)
928 : : {
929 : 4338163 : long i,lB = lg(p);
930 : 4338163 : GEN B = cgetg(lB, typ(A));
931 [ + + ]: 67118884 : for (i=1; i<lB; i++) gel(B, i) = gel(A, p[i]);
932 : 4338163 : return B;
933 : : }
934 : : INLINE GEN
935 : 141104 : rowpermute(GEN A, GEN p)
936 : : {
937 : 141104 : long i, lB = lg(A);
938 : 141104 : GEN B = cgetg(lB, typ(A));
939 [ + + ]: 1739610 : for (i=1; i<lB; i++)
940 [ + + ]: 1598506 : gel(B, i) = typ(gel(A,i)) == t_VECSMALL ? vecsmallpermute(gel(A, i), p):
941 : 1576561 : vecpermute(gel(A, i), p);
942 : 141104 : return B;
943 : : }
944 : : /*******************************************************************/
945 : : /* */
946 : : /* PERMUTATIONS */
947 : : /* */
948 : : /*******************************************************************/
949 : : /* identity permutation */
950 : : INLINE GEN
951 : 64260 : identity_perm(long n)
952 : : {
953 : 64260 : GEN perm = cgetg(n+1, t_VECSMALL);
954 : : long i;
955 [ + + ]: 2628444 : for (i = 1; i <= n; i++) perm[i] = i;
956 : 64260 : return perm;
957 : : }
958 : :
959 : : /* assume d <= n */
960 : : INLINE GEN
961 : 0 : cyclic_perm(long n, long d)
962 : : {
963 : 0 : GEN perm = cgetg(n+1, t_VECSMALL);
964 : : long i;
965 [ # # ]: 0 : for (i = 1; i <= n-d; i++) perm[i] = i+d;
966 [ # # ]: 0 : for ( ; i <= n; i++) perm[i] = i-n+d;
967 : 0 : return perm;
968 : : }
969 : :
970 : : /* Multiply (compose) two permutations */
971 : : INLINE GEN
972 : 17938638 : perm_mul(GEN s, GEN t)
973 : : {
974 : : GEN u;
975 : 17938638 : long i, l = lg(t);
976 : 17938638 : u = cgetg(l, t_VECSMALL);
977 [ + + ]: 90057310 : for (i = 1; i < l; i++) u[i] = s[ t[i] ];
978 : 17938638 : return u;
979 : : }
980 : : /* Compute the inverse (reciprocal) of a permutation. */
981 : : INLINE GEN
982 : 98 : perm_inv(GEN x)
983 : : {
984 : : long i, lx;
985 : 98 : GEN y = cgetg_copy(x, &lx);
986 [ + + ]: 1771 : for (i=1; i<lx; i++) y[ x[i] ] = i;
987 : 98 : return y;
988 : : }
989 : : /* Return s*t*s^-1 */
990 : : INLINE GEN
991 : 35 : perm_conj(GEN s, GEN t)
992 : : {
993 : : long i, l;
994 : 35 : GEN v = cgetg_copy(s, &l);
995 [ + + ]: 875 : for (i = 1; i < l; i++) v[ s[i] ] = s[ t[i] ];
996 : 35 : return v;
997 : : }
998 : :
999 : : /*********************************************************************/
1000 : : /* MALLOC/FREE WRAPPERS */
1001 : : /*********************************************************************/
1002 : : #define BLOCK_SIGALRM_START \
1003 : : { \
1004 : : int block=PARI_SIGINT_block; \
1005 : : PARI_SIGINT_block = 2; \
1006 : : MT_SIGINT_BLOCK(block);
1007 : :
1008 : : #define BLOCK_SIGINT_START \
1009 : : { \
1010 : : int block=PARI_SIGINT_block; \
1011 : : PARI_SIGINT_block = 1; \
1012 : : MT_SIGINT_BLOCK(block);
1013 : :
1014 : : #define BLOCK_SIGINT_END \
1015 : : PARI_SIGINT_block = block; \
1016 : : MT_SIGINT_UNBLOCK(block); \
1017 : : if (!block && PARI_SIGINT_pending) \
1018 : : { \
1019 : : int sig = PARI_SIGINT_pending; \
1020 : : PARI_SIGINT_pending = 0; \
1021 : : raise(sig); \
1022 : : } \
1023 : : }
1024 : :
1025 : : INLINE void
1026 : 34623798 : pari_free(void *pointer)
1027 : : {
1028 [ + + ]: 34623798 : BLOCK_SIGINT_START;
1029 : 34623798 : free(pointer);
1030 [ + + ][ - + ]: 34623798 : BLOCK_SIGINT_END;
[ + + ][ - + ]
1031 : 34623798 : }
1032 : : INLINE void*
1033 : 104940625 : pari_malloc(size_t size)
1034 : : {
1035 [ + - ]: 104940625 : if (size)
1036 : : {
1037 : : char *tmp;
1038 [ + - ]: 104940625 : BLOCK_SIGINT_START;
1039 : 104940625 : tmp = (char*)malloc(size);
1040 [ + - ][ - + ]: 104940625 : BLOCK_SIGINT_END;
[ + - ][ - + ]
1041 [ - + ]: 104940625 : if (!tmp) pari_err(e_MEM);
1042 : 104940625 : return tmp;
1043 : : }
1044 [ # # ]: 0 : if (DEBUGMEM) pari_warn(warner,"mallocing NULL object");
1045 : 104940625 : return NULL;
1046 : : }
1047 : : INLINE void*
1048 : 61940 : pari_realloc(void *pointer, size_t size)
1049 : : {
1050 : : char *tmp;
1051 : :
1052 [ + + ]: 61940 : BLOCK_SIGINT_START;
1053 [ + + ]: 61940 : if (!pointer) tmp = (char *) malloc(size);
1054 : 41297 : else tmp = (char *) realloc(pointer,size);
1055 [ + + ][ - + ]: 61940 : BLOCK_SIGINT_END;
[ + + ][ - + ]
1056 [ - + ]: 61940 : if (!tmp) pari_err(e_MEM);
1057 : 61940 : return tmp;
1058 : : }
1059 : : INLINE void*
1060 : 24751 : pari_calloc(size_t size)
1061 : : {
1062 : 24751 : void *t = pari_malloc(size);
1063 : 24751 : memset(t, 0, size); return t;
1064 : : }
1065 : : INLINE GEN
1066 : 2647 : cgetalloc(long t, size_t l)
1067 : : {
1068 : 2647 : GEN x = (GEN)pari_malloc(l * sizeof(long));
1069 : 2647 : x[0] = evaltyp(t) | evallg(l); return x;
1070 : : }
1071 : :
1072 : : /*******************************************************************/
1073 : : /* */
1074 : : /* GARBAGE COLLECTION */
1075 : : /* */
1076 : : /*******************************************************************/
1077 : : /* copy integer x as if we had avma = av */
1078 : : INLINE GEN
1079 : 897046176 : icopy_avma(GEN x, pari_sp av)
1080 : : {
1081 : 897046176 : long i = lgefint(x), lx = i;
1082 : 897046176 : GEN y = ((GEN)av) - i;
1083 [ + + ]: 7004502827 : while (--i > 0) y[i] = x[i];
1084 : 897046176 : y[0] = evaltyp(t_INT)|evallg(lx);
1085 : 897046176 : return y;
1086 : : }
1087 : : /* copy leaf x as if we had avma = av */
1088 : : INLINE GEN
1089 : 46250088 : leafcopy_avma(GEN x, pari_sp av)
1090 : : {
1091 : 46250088 : long i = lg(x);
1092 : 46250088 : GEN y = ((GEN)av) - i;
1093 [ + + ]: 321507809 : while (--i > 0) y[i] = x[i];
1094 : 46250088 : y[0] = x[0] & (~CLONEBIT);
1095 : 46250088 : return y;
1096 : : }
1097 : : INLINE GEN
1098 : 242374788 : gerepileuptoleaf(pari_sp av, GEN x)
1099 : : {
1100 : : long lx;
1101 : : GEN q;
1102 : :
1103 [ + + ][ + + ]: 242374788 : if (!isonstack(x) || (GEN)av<=x) { avma = av; return x; }
1104 : 242317139 : lx = lg(x);
1105 : 242317139 : q = ((GEN)av) - lx;
1106 : 242317139 : avma = (pari_sp)q;
1107 [ + + ]: 2508530128 : while (--lx >= 0) q[lx] = x[lx];
1108 : 242374788 : return q;
1109 : : }
1110 : : INLINE GEN
1111 : 945871510 : gerepileuptoint(pari_sp av, GEN x)
1112 : : {
1113 [ + + ][ + + ]: 945871510 : if (!isonstack(x) || (GEN)av<=x) { avma = av; return x; }
1114 : 532465388 : avma = (pari_sp)icopy_avma(x, av);
1115 : 945871510 : return (GEN)avma;
1116 : : }
1117 : : INLINE GEN
1118 : 393909133 : gerepileupto(pari_sp av, GEN x)
1119 : : {
1120 [ + + ][ + + ]: 393909133 : if (!isonstack(x) || (GEN)av<=x) { avma = av; return x; }
1121 [ + + + ]: 353568343 : switch(typ(x))
1122 : : { /* non-default = !is_recursive_t(tq) */
1123 : 67940692 : case t_INT: return gerepileuptoint(av, x);
1124 : : case t_REAL:
1125 : : case t_STR:
1126 : 52727800 : case t_VECSMALL: return gerepileuptoleaf(av,x);
1127 : : default:
1128 : : /* NB: x+i --> ((long)x) + i*sizeof(long) */
1129 : 393909133 : return gerepile(av, (pari_sp) (x+lg(x)), x);
1130 : : }
1131 : : }
1132 : :
1133 : : /* gerepileupto(av, gcopy(x)) */
1134 : : INLINE GEN
1135 : 19208495 : gerepilecopy(pari_sp av, GEN x)
1136 : : {
1137 [ + + ]: 19208495 : if (is_recursive_t(typ(x)))
1138 : : {
1139 : 18141891 : GENbin *p = copy_bin(x);
1140 : 18141891 : avma = av; return bin_copy(p);
1141 : : }
1142 : : else
1143 : : {
1144 : 1066604 : avma = av;
1145 [ + + ]: 1066604 : if (x < (GEN)av) {
1146 [ + + ]: 1007982 : if (x < (GEN)pari_mainstack->bot) new_chunk(lg(x));
1147 : 1007982 : x = leafcopy_avma(x, av);
1148 : 1007982 : avma = (pari_sp)x;
1149 : : } else
1150 : 58622 : x = leafcopy(x);
1151 : 19208495 : return x;
1152 : : }
1153 : : }
1154 : :
1155 : : /* Takes an array of pointers to GENs, of length n. Copies all
1156 : : * objects to contiguous locations and cleans up the stack between
1157 : : * av and avma. */
1158 : : INLINE void
1159 : 37056 : gerepilemany(pari_sp av, GEN* gptr[], int n)
1160 : : {
1161 : : int i;
1162 [ + + ]: 132635 : for (i=0; i<n; i++) *gptr[i] = (GEN)copy_bin(*gptr[i]);
1163 : 37056 : avma = av;
1164 [ + + ]: 132635 : for (i=0; i<n; i++) *gptr[i] = bin_copy((GENbin*)*gptr[i]);
1165 : 37056 : }
1166 : :
1167 : : INLINE void
1168 : 4085670 : gerepileall(pari_sp av, int n, ...)
1169 : : {
1170 : : int i;
1171 : 4085670 : va_list a; va_start(a, n);
1172 [ + - ]: 4085670 : if (n < 10)
1173 : : {
1174 : : GEN *gptr[10];
1175 [ + + ]: 12345670 : for (i=0; i<n; i++)
1176 [ + + ]: 8260000 : { gptr[i] = va_arg(a,GEN*); *gptr[i] = (GEN)copy_bin(*gptr[i]); }
1177 : 4085670 : avma = av;
1178 [ + + ]: 12345670 : for (--i; i>=0; i--) *gptr[i] = bin_copy((GENbin*)*gptr[i]);
1179 : :
1180 : : }
1181 : : else
1182 : : {
1183 : 0 : GEN **gptr = (GEN**) pari_malloc(n*sizeof(GEN*));
1184 [ # # ]: 0 : for (i=0; i<n; i++)
1185 [ # # ]: 0 : { gptr[i] = va_arg(a,GEN*); *gptr[i] = (GEN)copy_bin(*gptr[i]); }
1186 : 0 : avma = av;
1187 [ # # ]: 0 : for (--i; i>=0; i--) *gptr[i] = bin_copy((GENbin*)*gptr[i]);
1188 : 0 : pari_free(gptr);
1189 : : }
1190 : 4085670 : }
1191 : :
1192 : : INLINE void
1193 : 8 : gerepilecoeffs(pari_sp av, GEN x, int n)
1194 : : {
1195 : : int i;
1196 [ + + ]: 875 : for (i=0; i<n; i++) gel(x,i) = (GEN)copy_bin(gel(x,i));
1197 : 8 : avma = av;
1198 [ + + ]: 875 : for (i=0; i<n; i++) gel(x,i) = bin_copy((GENbin*)x[i]);
1199 : 8 : }
1200 : :
1201 : : /* p from copy_bin. Copy p->x back to stack, then destroy p */
1202 : : INLINE GEN
1203 : 26513142 : bin_copy(GENbin *p)
1204 : : {
1205 : : GEN x, y, base;
1206 : : long dx, len;
1207 : :
1208 [ + + ]: 26513142 : x = p->x; if (!x) { pari_free(p); return gen_0; }
1209 : 26511190 : len = p->len;
1210 : 26511190 : base= p->base; dx = x - base;
1211 : 26511190 : y = (GEN)memcpy((void*)new_chunk(len), (void*)GENbinbase(p), len*sizeof(long));
1212 : 26511190 : y += dx;
1213 [ - + ]: 26511190 : if (p->canon)
1214 : 0 : shiftaddress_canon(y, (y-x)*sizeof(long));
1215 : : else
1216 : 26511190 : shiftaddress(y, (y-x)*sizeof(long));
1217 : 26513142 : pari_free(p); return y;
1218 : : }
1219 : :
1220 : : INLINE GEN
1221 : 53024332 : GENbinbase(GENbin *p) { return (GEN)(p + 1); }
1222 : :
1223 : : INLINE void
1224 : 46813200 : cgiv(GEN x)
1225 : : {
1226 : 46813200 : pari_sp av = (pari_sp)(x+lg(x));
1227 [ + + ]: 46813200 : if (isonstack((GEN)av)) avma = av;
1228 : 46813200 : }
1229 : :
1230 : : INLINE void
1231 : 956217 : killblock(GEN x) { gunclone(x); }
1232 : :
1233 : : INLINE int
1234 [ + - ][ + + ]: 18191898 : is_universal_constant(GEN x) { return (x >= gen_0 && x <= ghalf); }
1235 : :
1236 : : /*******************************************************************/
1237 : : /* */
1238 : : /* CONVERSION / ASSIGNMENT */
1239 : : /* */
1240 : : /*******************************************************************/
1241 : : /* z is a type which may be a t_COMPLEX component (not a t_QUAD) */
1242 : : INLINE GEN
1243 : 1369037 : cxcompotor(GEN z, long prec)
1244 : : {
1245 [ + + + - ]: 1369037 : switch(typ(z))
1246 : : {
1247 : 873325 : case t_INT: return itor(z, prec);
1248 : 16653 : case t_FRAC: return fractor(z, prec);
1249 : 479059 : case t_REAL: return rtor(z, prec);
1250 : 1369037 : default: pari_err_TYPE("cxcompotor",z); return NULL; /* not reached */
1251 : : }
1252 : : }
1253 : : INLINE GEN
1254 : 683501 : cxtofp(GEN x, long prec)
1255 : 683501 : { retmkcomplex(cxcompotor(gel(x,1),prec), cxcompotor(gel(x,2),prec)); }
1256 : :
1257 : : INLINE double
1258 : 6168216 : gtodouble(GEN x)
1259 : : {
1260 [ + + ]: 6168216 : if (typ(x)!=t_REAL) {
1261 : 440201 : pari_sp av = avma;
1262 : 440201 : x = gtofp(x, DEFAULTPREC);
1263 [ - + ]: 440201 : if (typ(x)!=t_REAL) pari_err_TYPE("gtodouble [t_REAL expected]", x);
1264 : 440201 : avma = av;
1265 : : }
1266 : 6168216 : return rtodbl(x);
1267 : : }
1268 : : INLINE long
1269 : 29720257 : gtos(GEN x) {
1270 [ + + ]: 29720257 : if (typ(x) != t_INT) pari_err_TYPE("gtos [integer expected]",x);
1271 : 29720250 : return itos(x);
1272 : : }
1273 : :
1274 : : INLINE ulong
1275 : 0 : gtou(GEN x) {
1276 [ # # ][ # # ]: 0 : if (typ(x) != t_INT || signe(x)<0)
1277 : 0 : pari_err_TYPE("gtou [integer >=0 expected]",x);
1278 : 0 : return itou(x);
1279 : : }
1280 : :
1281 : : INLINE GEN
1282 : 1301613 : absfrac(GEN x)
1283 : : {
1284 : 1301613 : GEN y = cgetg(3, t_FRAC);
1285 : 1301613 : gel(y,1) = absi(gel(x,1));
1286 : 1301613 : gel(y,2) = icopy(gel(x,2)); return y;
1287 : : }
1288 : : INLINE GEN
1289 : 11564 : absfrac_shallow(GEN x)
1290 [ + + ]: 11564 : { return signe(gel(x,1))>0? x: mkfrac(negi(gel(x,1)), gel(x,2)); }
1291 : : INLINE GEN
1292 [ - + ]: 305151 : Q_abs(GEN x) { return (typ(x) == t_INT)? absi(x): absfrac(x); }
1293 : : INLINE GEN
1294 : 37547 : Q_abs_shallow(GEN x)
1295 [ + + ]: 37547 : { return (typ(x) == t_INT)? absi_shallow(x): absfrac_shallow(x); }
1296 : :
1297 : : /* Force z to be of type real/complex with floating point components */
1298 : : INLINE GEN
1299 : 8618584 : gtofp(GEN z, long prec)
1300 : : {
1301 [ + + + + : 8618584 : switch(typ(z))
- - ]
1302 : : {
1303 : 6359500 : case t_INT: return itor(z, prec);
1304 : 50387 : case t_FRAC: return fractor(z, prec);
1305 : 1548284 : case t_REAL: return rtor(z, prec);
1306 : : case t_COMPLEX: {
1307 : 660413 : GEN a = gel(z,1), b = gel(z,2);
1308 [ + + ]: 660413 : if (isintzero(b)) return cxcompotor(a, prec);
1309 [ + + ]: 659121 : if (isintzero(a)) {
1310 : 701 : GEN y = cgetg(3, t_COMPLEX);
1311 : 701 : b = cxcompotor(b, prec);
1312 : 701 : gel(y,1) = real_0_bit(expo(b) - prec2nbits(prec));
1313 : 701 : gel(y,2) = b; return y;
1314 : : }
1315 : 658420 : return cxtofp(z, prec);
1316 : : }
1317 : 0 : case t_QUAD: return quadtofp(z, prec);
1318 : 8618584 : default: pari_err_TYPE("gtofp",z); return NULL; /* not reached */
1319 : : }
1320 : : }
1321 : : /* Force z to be of type real / int */
1322 : : INLINE GEN
1323 : 22400 : gtomp(GEN z, long prec)
1324 : : {
1325 [ + + - - : 22400 : switch(typ(z))
- ]
1326 : : {
1327 : 14 : case t_INT: return z;
1328 : 22386 : case t_FRAC: return fractor(z, prec);
1329 : 0 : case t_REAL: return rtor(z, prec);
1330 : 0 : case t_QUAD: z = quadtofp(z, prec);
1331 [ # # ]: 0 : if (typ(z) == t_REAL) return z;
1332 : 22400 : default: pari_err_TYPE("gtomp",z); return NULL; /* not reached */
1333 : : }
1334 : : }
1335 : :
1336 : : INLINE GEN
1337 : 419980 : RgX_gtofp(GEN x, long prec)
1338 : : {
1339 : : long l;
1340 : 419980 : GEN y = cgetg_copy(x, &l);
1341 [ + + ]: 2730226 : while (--l > 1) gel(y,l) = gtofp(gel(x,l), prec);
1342 : 419980 : y[1] = x[1]; return y;
1343 : : }
1344 : : INLINE GEN
1345 : 376803 : RgC_gtofp(GEN x, long prec)
1346 : : {
1347 : 376803 : long l = lg(x);
1348 : 376803 : GEN y = cgetg(l, t_COL);
1349 [ + + ]: 4862667 : while (--l > 0) gel(y,l) = gtofp(gel(x,l), prec);
1350 : 376803 : return y;
1351 : : }
1352 : : INLINE GEN
1353 : 18640 : RgM_gtofp(GEN x, long prec)
1354 : : {
1355 : : long l;
1356 : 18640 : GEN y = cgetg_copy(x, &l);
1357 [ + + ]: 151701 : while (--l > 0) gel(y,l) = RgC_gtofp(gel(x,l), prec);
1358 : 18640 : return y;
1359 : : }
1360 : : INLINE GEN
1361 : 560 : RgC_gtomp(GEN x, long prec)
1362 : : {
1363 : 560 : long l = lg(x);
1364 : 560 : GEN y = cgetg(l, t_COL);
1365 [ + + ]: 22960 : while (--l > 0) gel(y,l) = gtomp(gel(x,l), prec);
1366 : 560 : return y;
1367 : : }
1368 : : INLINE GEN
1369 : 14 : RgM_gtomp(GEN x, long prec)
1370 : : {
1371 : : long l;
1372 : 14 : GEN y = cgetg_copy(x, &l);
1373 [ + + ]: 574 : while (--l > 0) gel(y,l) = RgC_gtomp(gel(x,l), prec);
1374 : 14 : return y;
1375 : : }
1376 : :
1377 : : INLINE GEN
1378 : 10169 : RgX_fpnorml2(GEN x, long prec)
1379 : : {
1380 : 10169 : pari_sp av = avma;
1381 : 10169 : return gerepileupto(av, gnorml2(RgX_gtofp(x, prec)));
1382 : : }
1383 : : INLINE GEN
1384 : 242466 : RgC_fpnorml2(GEN x, long prec)
1385 : : {
1386 : 242466 : pari_sp av = avma;
1387 : 242466 : return gerepileupto(av, gnorml2(RgC_gtofp(x, prec)));
1388 : : }
1389 : : INLINE GEN
1390 : 1484 : RgM_fpnorml2(GEN x, long prec)
1391 : : {
1392 : 1484 : pari_sp av = avma;
1393 : 1484 : return gerepileupto(av, gnorml2(RgM_gtofp(x, prec)));
1394 : : }
1395 : :
1396 : : /* y a t_REAL */
1397 : : INLINE void
1398 : 3172046 : affgr(GEN x, GEN y)
1399 : : {
1400 : : pari_sp av;
1401 [ + + + - : 3172046 : switch(typ(x)) {
- ]
1402 : 31 : case t_INT: affir(x,y); break;
1403 : 176631 : case t_REAL: affrr(x,y); break;
1404 : 2995384 : case t_FRAC: rdiviiz(gel(x,1),gel(x,2), y); break;
1405 : 0 : case t_QUAD: av = avma; affgr(quadtofp(x,realprec(y)), y); avma = av; break;
1406 : 0 : default: pari_err_TYPE2("=",x,y);
1407 : : }
1408 : 3172046 : }
1409 : :
1410 : : INLINE GEN
1411 : 26558 : affc_fixlg(GEN x, GEN res)
1412 : : {
1413 [ + + ]: 26558 : if (typ(x) == t_COMPLEX)
1414 : : {
1415 : 25158 : affrr_fixlg(gel(x,1), gel(res,1));
1416 : 25158 : affrr_fixlg(gel(x,2), gel(res,2));
1417 : : }
1418 : : else
1419 : : {
1420 : 1400 : avma = (pari_sp)(res+3);
1421 : 1400 : res = cgetr(realprec(gel(res,1)));
1422 : 1400 : affrr_fixlg(x, res);
1423 : : }
1424 : 26558 : return res;
1425 : : }
1426 : :
1427 : : INLINE GEN
1428 : 0 : trunc_safe(GEN x) { long e; return gcvtoi(x,&e); }
1429 : :
1430 : : /*******************************************************************/
1431 : : /* */
1432 : : /* LENGTH CONVERSIONS */
1433 : : /* */
1434 : : /*******************************************************************/
1435 : : INLINE long
1436 : 13013 : ndec2nlong(long x) { return 1 + (long)((x)*(LOG2_10/BITS_IN_LONG)); }
1437 : : INLINE long
1438 : 13013 : ndec2prec(long x) { return 2 + ndec2nlong(x); }
1439 : : /* Fast implementation of ceil(x / (8*sizeof(long))); typecast to (ulong)
1440 : : * to avoid overflow. Faster than 1 + ((x-1)>>TWOPOTBITS_IN_LONG)) :
1441 : : * addl, shrl instead of subl, sarl, addl */
1442 : : INLINE long
1443 : 664689 : nbits2nlong(long x) {
1444 : 664689 : return (long)(((ulong)x+BITS_IN_LONG-1) >> TWOPOTBITS_IN_LONG);
1445 : : }
1446 : :
1447 : : INLINE long
1448 : 232323022 : nbits2extraprec(long x) {
1449 : 232323022 : return (long)(((ulong)x+BITS_IN_LONG-1) >> TWOPOTBITS_IN_LONG);
1450 : : }
1451 : :
1452 : : /* Fast implementation of 2 + nbits2nlong(x) */
1453 : : INLINE long
1454 : 73895049 : nbits2prec(long x) {
1455 : 73895049 : return (long)(((ulong)x+3*BITS_IN_LONG-1) >> TWOPOTBITS_IN_LONG);
1456 : : }
1457 : : INLINE long
1458 : 2519557 : nbits2lg(long x) {
1459 : 2519557 : return (long)(((ulong)x+3*BITS_IN_LONG-1) >> TWOPOTBITS_IN_LONG);
1460 : : }
1461 : : /* ceil(x / sizeof(long)) */
1462 : : INLINE long
1463 : 8081007 : nchar2nlong(long x) {
1464 : 8081007 : return (long)(((ulong)x+sizeof(long)-1) >> (TWOPOTBITS_IN_LONG-3L));
1465 : : }
1466 : : INLINE long
1467 : 1037157085 : bit_accuracy(long x) { return (x-2) * BITS_IN_LONG; }
1468 : : INLINE double
1469 : 3287726 : bit_accuracy_mul(long x, double y) { return (x-2) * (BITS_IN_LONG*y); }
1470 : : INLINE double
1471 : 48006 : prec2nbits_mul(long x, double y) { return (x-2) * (BITS_IN_LONG*y); }
1472 : : INLINE long
1473 : 23559425 : bit_prec(GEN x) { return bit_accuracy(realprec(x)); }
1474 : : INLINE long
1475 : 46478866 : prec2nbits(long x) { return bit_accuracy(x); }
1476 : : INLINE long
1477 : 3653 : prec2ndec(long x) { return (long)prec2nbits_mul(x, LOG10_2); }
1478 : : INLINE long
1479 : 1667 : precdbl(long x) {return (x - 1) << 1;}
1480 : : INLINE long
1481 : 3031876654 : divsBIL(long n) { return n >> TWOPOTBITS_IN_LONG; }
1482 : : INLINE long
1483 : 2959542092 : remsBIL(long n) { return n & (BITS_IN_LONG-1); }
1484 : :
1485 : : /*********************************************************************/
1486 : : /** **/
1487 : : /** OPERATIONS MODULO m **/
1488 : : /** **/
1489 : : /*********************************************************************/
1490 : : /* Assume m > 0, more efficient if 0 <= a, b < m */
1491 : :
1492 : : INLINE GEN
1493 : 2882523 : Fp_red(GEN a, GEN m) { return modii(a, m); }
1494 : : INLINE GEN
1495 : 45814337 : Fp_add(GEN a, GEN b, GEN m)
1496 : : {
1497 : 45814337 : pari_sp av=avma;
1498 : 45814337 : GEN p = addii(a,b);
1499 : 45814337 : long s = signe(p);
1500 [ + + ]: 45814337 : if (!s) return p; /* = gen_0 */
1501 [ + + ]: 39998427 : if (s > 0) /* general case */
1502 : : {
1503 : 39799782 : GEN t = subii(p, m);
1504 : 39799782 : s = signe(t);
1505 [ + + ]: 39799782 : if (!s) { avma = av; return gen_0; }
1506 [ + + ]: 35062598 : if (s < 0) { avma = (pari_sp)p; return p; }
1507 [ + + ]: 13561388 : if (cmpii(t, m) < 0) return gerepileuptoint(av, t); /* general case ! */
1508 : 1019249 : p = remii(t, m);
1509 : : }
1510 : : else
1511 : 198645 : p = modii(p, m);
1512 : 45814337 : return gerepileuptoint(av, p);
1513 : : }
1514 : : INLINE GEN
1515 : 53698635 : Fp_sub(GEN a, GEN b, GEN m)
1516 : : {
1517 : 53698635 : pari_sp av=avma;
1518 : 53698635 : GEN p = subii(a,b);
1519 : 53698635 : long s = signe(p);
1520 [ + + ]: 53698635 : if (!s) return p; /* = gen_0 */
1521 [ + + ]: 51762219 : if (s > 0)
1522 : : {
1523 [ + + ]: 25671191 : if (cmpii(p, m) < 0) return p; /* general case ! */
1524 : 733099 : p = remii(p, m);
1525 : : }
1526 : : else
1527 : : {
1528 : 26091028 : GEN t = addii(p, m);
1529 [ - + ]: 26091028 : if (!s) { avma = av; return gen_0; }
1530 [ - + ]: 26091028 : if (s > 0) return gerepileuptoint(av, t); /* general case ! */
1531 : 26091028 : p = modii(t, m);
1532 : : }
1533 : 53698635 : return gerepileuptoint(av, p);
1534 : : }
1535 : : INLINE GEN
1536 : 9278357 : Fp_neg(GEN b, GEN m)
1537 : : {
1538 : 9278357 : pari_sp av = avma;
1539 : 9278357 : long s = signe(b);
1540 : : GEN p;
1541 [ + + ]: 9278357 : if (!s) return gen_0;
1542 [ + - ]: 6535139 : if (s > 0)
1543 : : {
1544 : 6535139 : p = subii(m, b);
1545 [ + + ]: 6535139 : if (signe(p) >= 0) return p; /* general case ! */
1546 : 27303 : p = modii(p, m);
1547 : : } else
1548 : 0 : p = remii(negi(b), m);
1549 : 9278357 : return gerepileuptoint(av, p);
1550 : : }
1551 : :
1552 : : INLINE GEN
1553 : 15925 : Fp_halve(GEN a, GEN p)
1554 : : {
1555 [ + + ]: 15925 : if (mpodd(a)) a = addii(a,p);
1556 : 15925 : return shifti(a,-1);
1557 : : }
1558 : :
1559 : : /* assume 0 <= u < p and ps2 = p>>1 */
1560 : : INLINE GEN
1561 : 3081428 : Fp_center(GEN u, GEN p, GEN ps2)
1562 [ + + ]: 3081428 : { return absi_cmp(u,ps2)<=0? icopy(u): subii(u,p); }
1563 : :
1564 : : /* x + y*z mod p */
1565 : : INLINE GEN
1566 : 2373529 : Fp_addmul(GEN x, GEN y, GEN z, GEN p)
1567 : : {
1568 : : pari_sp av;
1569 [ + + ][ + + ]: 2373529 : if (!signe(y) || !signe(z)) return Fp_red(x, p);
1570 [ + + ]: 2288703 : if (!signe(x)) return Fp_mul(z,y, p);
1571 : 2004180 : av = avma;
1572 : 2373529 : return gerepileuptoint(av, modii(addii(x, mulii(y,z)), p));
1573 : : }
1574 : :
1575 : : INLINE GEN
1576 : 33638433 : Fp_mul(GEN a, GEN b, GEN m)
1577 : : {
1578 : 33638433 : pari_sp av=avma;
1579 : : GEN p; /*HACK: assume modii use <=lg(p)+(lg(m)<<1) space*/
1580 : 33638433 : (void)new_chunk(lg(a)+lg(b)+(lg(m)<<1));
1581 : 33638433 : p = mulii(a,b);
1582 : 33638433 : avma = av; return modii(p,m);
1583 : : }
1584 : : INLINE GEN
1585 : 2852967 : Fp_sqr(GEN a, GEN m)
1586 : : {
1587 : 2852967 : pari_sp av=avma;
1588 : : GEN p; /*HACK: assume modii use <=lg(p)+(lg(m)<<1) space*/
1589 : 2852967 : (void)new_chunk((lg(a)+lg(m))<<1);
1590 : 2852967 : p = sqri(a);
1591 : 2852967 : avma = av; return modii(p,m);
1592 : : }
1593 : : INLINE GEN
1594 : 23472199 : Fp_mulu(GEN a, ulong b, GEN m)
1595 : : {
1596 : 23472199 : long l = lgefint(m);
1597 [ + + ]: 23472199 : if (l == 3)
1598 : : {
1599 : 18616182 : ulong mm = m[2];
1600 : 18616182 : return utoi( Fl_mul(umodiu(a, mm), b, mm) );
1601 : : } else {
1602 : 4856017 : pari_sp av = avma;
1603 : : GEN p; /*HACK: assume modii use <=lg(p)+(lg(m)<<1) space*/
1604 : 4856017 : (void)new_chunk(lg(a)+1+(l<<1));
1605 : 4856017 : p = muliu(a,b);
1606 : 23472199 : avma = av; return modii(p,m);
1607 : : }
1608 : : }
1609 : : INLINE GEN
1610 : 231 : Fp_muls(GEN a, long b, GEN m)
1611 : : {
1612 : 231 : long l = lgefint(m);
1613 [ + - ]: 231 : if (l == 3)
1614 : : {
1615 : 231 : ulong mm = m[2];
1616 [ + - ]: 231 : if (b < 0)
1617 : : {
1618 : 231 : ulong t = Fl_mul(umodiu(a, mm), -b, mm);
1619 [ + - ]: 231 : return t? utoipos(mm - t): gen_0;
1620 : : }
1621 : : else
1622 : 0 : return utoi( Fl_mul(umodiu(a, mm), b, mm) );
1623 : : } else {
1624 : 0 : pari_sp av = avma;
1625 : : GEN p; /*HACK: assume modii use <=lg(p)+(lg(m)<<1) space*/
1626 : 0 : (void)new_chunk(lg(a)+1+(l<<1));
1627 : 0 : p = mulis(a,b);
1628 : 231 : avma = av; return modii(p,m);
1629 : : }
1630 : : }
1631 : :
1632 : : INLINE GEN
1633 : 5142137 : Fp_inv(GEN a, GEN m)
1634 : : {
1635 : : GEN res;
1636 [ + + ]: 5142137 : if (! invmod(a,m,&res)) pari_err_INV("Fp_inv", mkintmod(res,m));
1637 : 5142052 : return res;
1638 : : }
1639 : : INLINE GEN
1640 : 324697 : Fp_invsafe(GEN a, GEN m)
1641 : : {
1642 : : GEN res;
1643 [ - + ]: 324697 : if (! invmod(a,m,&res)) return NULL;
1644 : 324697 : return res;
1645 : : }
1646 : : INLINE GEN
1647 : 2365781 : Fp_div(GEN a, GEN b, GEN m)
1648 : : {
1649 : 2365781 : pari_sp av=avma;
1650 : : GEN p; /*HACK: assume modii use <=lg(p)+(lg(m)<<1) space*/
1651 : 2365781 : (void)new_chunk(lg(a)+(lg(m)<<1));
1652 : 2365781 : p = mulii(a, Fp_inv(b,m));
1653 : 2365767 : avma = av; return modii(p,m);
1654 : : }
1655 : :
1656 : : INLINE GEN
1657 : 200026 : Flx_mulu(GEN x, ulong a, ulong p) { return Flx_Fl_mul(x,a%p,p); }
1658 : :
1659 : : /*******************************************************************/
1660 : : /* */
1661 : : /* ADDMULII / SUBMULII */
1662 : : /* */
1663 : : /*******************************************************************/
1664 : : /* x - y*z */
1665 : : INLINE GEN
1666 : 41114077 : submulii(GEN x, GEN y, GEN z)
1667 : : {
1668 : 41114077 : long lx = lgefint(x), ly, lz;
1669 : : pari_sp av;
1670 : : GEN t;
1671 [ + + ]: 41114077 : if (lx == 2) { t = mulii(z,y); togglesign(t); return t; }
1672 : 35030124 : ly = lgefint(y);
1673 [ + + ]: 35030124 : if (ly == 2) return icopy(x);
1674 : 33602201 : lz = lgefint(z);
1675 : 33602201 : av = avma; (void)new_chunk(lx+ly+lz); /* HACK */
1676 : 33602201 : t = mulii(z, y);
1677 : 41114077 : avma = av; return subii(x,t);
1678 : : }
1679 : : /* y*z - x */
1680 : : INLINE GEN
1681 : 1718114 : mulsubii(GEN y, GEN z, GEN x)
1682 : : {
1683 : 1718114 : long lx = lgefint(x), ly, lz;
1684 : : pari_sp av;
1685 : : GEN t;
1686 [ + + ]: 1718114 : if (lx == 2) return mulii(z,y);
1687 : 1135651 : ly = lgefint(y);
1688 [ + + ]: 1135651 : if (ly == 2) return negi(x);
1689 : 1097675 : lz = lgefint(z);
1690 : 1097675 : av = avma; (void)new_chunk(lx+ly+lz); /* HACK */
1691 : 1097675 : t = mulii(z, y);
1692 : 1718114 : avma = av; return subii(t,x);
1693 : : }
1694 : :
1695 : : /* x - u*y */
1696 : : INLINE GEN
1697 : 7000 : submuliu(GEN x, GEN y, ulong u)
1698 : : {
1699 : : pari_sp av;
1700 : 7000 : long ly = lgefint(y);
1701 [ - + ]: 7000 : if (ly == 2) return icopy(x);
1702 : 7000 : av = avma;
1703 : 7000 : (void)new_chunk(3+ly+lgefint(x)); /* HACK */
1704 : 7000 : y = mului(u,y);
1705 : 7000 : avma = av; return subii(x, y);
1706 : : }
1707 : : /* x + u*y */
1708 : : INLINE GEN
1709 : 7000 : addmuliu(GEN x, GEN y, ulong u)
1710 : : {
1711 : : pari_sp av;
1712 : 7000 : long ly = lgefint(y);
1713 [ - + ]: 7000 : if (ly == 2) return icopy(x);
1714 : 7000 : av = avma;
1715 : 7000 : (void)new_chunk(3+ly+lgefint(x)); /* HACK */
1716 : 7000 : y = mului(u,y);
1717 : 7000 : avma = av; return addii(x, y);
1718 : : }
1719 : : /* x - u*y */
1720 : : INLINE GEN
1721 : 264326297 : submuliu_inplace(GEN x, GEN y, ulong u)
1722 : : {
1723 : : pari_sp av;
1724 : 264326297 : long ly = lgefint(y);
1725 [ + + ]: 264326297 : if (ly == 2) return x;
1726 : 225942776 : av = avma;
1727 : 225942776 : (void)new_chunk(3+ly+lgefint(x)); /* HACK */
1728 : 225942776 : y = mului(u,y);
1729 : 264326297 : avma = av; return subii(x, y);
1730 : : }
1731 : : /* x + u*y */
1732 : : INLINE GEN
1733 : 263757722 : addmuliu_inplace(GEN x, GEN y, ulong u)
1734 : : {
1735 : : pari_sp av;
1736 : 263757722 : long ly = lgefint(y);
1737 [ + + ]: 263757722 : if (ly == 2) return x;
1738 : 226058342 : av = avma;
1739 : 226058342 : (void)new_chunk(3+ly+lgefint(x)); /* HACK */
1740 : 226058342 : y = mului(u,y);
1741 : 263757722 : avma = av; return addii(x, y);
1742 : : }
1743 : : /* ux + vy */
1744 : : INLINE GEN
1745 : 17830344 : lincombii(GEN u, GEN v, GEN x, GEN y)
1746 : : {
1747 : 17830344 : long lx = lgefint(x), ly;
1748 : : GEN p1, p2;
1749 : : pari_sp av;
1750 [ + + ]: 17830344 : if (lx == 2) return mulii(v,y);
1751 : 11058481 : ly = lgefint(y);
1752 [ + + ]: 11058481 : if (ly == 2) return mulii(u,x);
1753 : 10322077 : av = avma; (void)new_chunk(lx+ly+lgefint(u)+lgefint(v)); /* HACK */
1754 : 10322077 : p1 = mulii(u,x);
1755 : 10322077 : p2 = mulii(v,y);
1756 : 17830344 : avma = av; return addii(p1,p2);
1757 : : }
1758 : :
1759 : : /*******************************************************************/
1760 : : /* */
1761 : : /* GEN SUBTYPES */
1762 : : /* */
1763 : : /*******************************************************************/
1764 : :
1765 : : INLINE int
1766 : 671359922 : is_const_t(long t) { return (t < t_POLMOD); }
1767 : : INLINE int
1768 : 589050 : is_extscalar_t(long t) { return (t <= t_POL); }
1769 : : INLINE int
1770 : 515952 : is_intreal_t(long t) { return (t <= t_REAL); }
1771 : : INLINE int
1772 [ + + ][ + + ]: 297994493 : is_matvec_t(long t) { return (t >= t_VEC && t <= t_MAT); }
1773 : : INLINE int
1774 : 50211427 : is_noncalc_t(long tx) { return (tx) >= t_LIST; }
1775 : : INLINE int
1776 [ + + ][ + + ]: 349017 : is_rational_t(long t) { return (t == t_INT || t == t_FRAC); }
1777 : : INLINE int
1778 : 1900387109 : is_recursive_t(long t) { return lontyp[t]; }
1779 : : INLINE int
1780 : 150502215 : is_scalar_t(long t) { return (t < t_POL); }
1781 : : INLINE int
1782 [ + + ][ + + ]: 257552 : is_vec_t(long t) { return (t == t_VEC || t == t_COL); }
1783 : :
1784 : : /*******************************************************************/
1785 : : /* */
1786 : : /* TRANSCENDENTAL */
1787 : : /* */
1788 : : /*******************************************************************/
1789 : : INLINE GEN
1790 : 6674248 : sqrtr(GEN x) {
1791 : 6674248 : long s = signe(x);
1792 [ + + ]: 6674248 : if (s == 0) return real_0_bit(expo(x) >> 1);
1793 [ + + ]: 6641741 : if (s >= 0) return sqrtr_abs(x);
1794 : 6674248 : retmkcomplex(gen_0, sqrtr_abs(x));
1795 : : }
1796 : : INLINE GEN
1797 : 11313 : cbrtr(GEN x) {
1798 : 11313 : long s = signe(x);
1799 : : GEN r;
1800 [ - + ]: 11313 : if (s == 0) return real_0_bit(expo(x) / 3);
1801 : 11313 : r = cbrtr_abs(x);
1802 [ - + ]: 11313 : if (s < 0) togglesign(r);
1803 : 11313 : return r;
1804 : : }
1805 : : /* x^(1/n) */
1806 : : INLINE GEN
1807 : 31549 : sqrtnr(GEN x, long n) {
1808 [ + + + + ]: 31549 : switch(n)
1809 : : {
1810 : 553 : case 1: return rcopy(x);
1811 : 5016 : case 2: return sqrtr(x);
1812 : 11313 : case 3: return cbrtr(x);
1813 : : }
1814 : 31549 : return mpexp(divrs(mplog(x), n));
1815 : : }
1816 : :
1817 : : /*******************************************************************/
1818 : : /* */
1819 : : /* MISCELLANEOUS */
1820 : : /* */
1821 : : /*******************************************************************/
1822 [ + + ][ + + ]: 515875 : INLINE int ismpzero(GEN x) { return is_intreal_t(typ(x)) && !signe(x); }
1823 [ + + ][ + + ]: 256290528 : INLINE int isintzero(GEN x) { return typ(x) == t_INT && !signe(x); }
1824 [ + + ][ + + ]: 4980852 : INLINE int isint1(GEN x) { return typ(x)==t_INT && equali1(x); }
1825 [ + - ][ + + ]: 245 : INLINE int isintm1(GEN x){ return typ(x)==t_INT && equalim1(x);}
1826 : 162105879 : INLINE int equali1(GEN n)
1827 [ + + ][ + + ]: 162105879 : { return (ulong) n[1] == (evallgefint(3UL) | evalsigne(1)) && n[2] == 1; }
1828 : 62130 : INLINE int equalim1(GEN n)
1829 [ + + ][ + + ]: 62130 : { return (ulong) n[1] == (evallgefint(3UL) | evalsigne(-1)) && n[2] == 1; }
1830 : : /* works only for POSITIVE integers */
1831 : 1077457635 : INLINE int is_pm1(GEN n)
1832 [ + + ][ + + ]: 1077457635 : { return lgefint(n) == 3 && n[2] == 1; }
1833 : 119240585 : INLINE int is_bigint(GEN n)
1834 [ + + ][ + + ]: 119240585 : { long l = lgefint(n); return l > 3 || (l == 3 && (n[2] & HIGHBIT)); }
[ + + ]
1835 : :
1836 : 200375537 : INLINE int odd(long x) { return x & 1; }
1837 : 15061239 : INLINE int both_odd(long x, long y) { return x & y & 1; }
1838 : :
1839 : : INLINE int
1840 : 1628977698 : isonstack(GEN x)
1841 : 1628977698 : { return ((pari_sp)x >= pari_mainstack->bot
1842 [ + + ][ + + ]: 1628977698 : && (pari_sp)x < pari_mainstack->top); }
1843 : :
1844 : : /* assume x != 0 and x t_REAL, return an approximation to log2(|x|) */
1845 : : INLINE double
1846 : 13126236 : dbllog2r(GEN x)
1847 : 13126236 : { return log2((double)(ulong)x[2]) + (double)(expo(x) - (BITS_IN_LONG-1)); }
1848 : :
1849 : : INLINE GEN
1850 : 233303 : mul_content(GEN cx, GEN cy)
1851 : : {
1852 [ + + ]: 233303 : if (!cx) return cy;
1853 [ + + ]: 139046 : if (!cy) return cx;
1854 : 233303 : return gmul(cx,cy);
1855 : : }
1856 : : INLINE GEN
1857 : 176868 : mul_denom(GEN dx, GEN dy)
1858 : : {
1859 [ + + ]: 176868 : if (!dx) return dy;
1860 [ + + ]: 105784 : if (!dy) return dx;
1861 : 176868 : return mulii(dx,dy);
1862 : : }
1863 : :
1864 : : /* POLYNOMIALS */
1865 : : INLINE GEN
1866 [ + + ]: 17427314 : constant_term(GEN x) { return signe(x)? gel(x,2): gen_0; }
1867 : : INLINE GEN
1868 [ + - ]: 58746466 : leading_term(GEN x) { return lg(x) == 2? gen_0: gel(x,lg(x)-1); }
1869 : : INLINE ulong
1870 [ + - ]: 52764 : Flx_lead(GEN x) { return lg(x) == 2? 0: x[lg(x)-1]; }
1871 : : INLINE long
1872 : 1271372142 : degpol(GEN x) { return lg(x)-3; }
1873 : : INLINE long
1874 : 609831944 : lgpol(GEN x) { return lg(x)-2; }
1875 : : INLINE long
1876 : 23015897 : lgcols(GEN x) { return lg(gel(x,1)); }
1877 : : INLINE long
1878 : 12273246 : nbrows(GEN x) { return lg(gel(x,1))-1; }
1879 : : INLINE GEN
1880 : 0 : truecoeff(GEN x, long n) { return polcoeff0(x,n,-1); }
1881 : :
1882 : : INLINE GEN
1883 : 366757 : RgXQ_mul(GEN y, GEN x, GEN T) { return RgX_rem(RgX_mul(y, x), T); }
1884 : : INLINE GEN
1885 : 177920 : RgXQ_sqr(GEN x, GEN T) { return RgX_rem(RgX_sqr(x), T); }
1886 : :
1887 : : INLINE GEN
1888 : 104573 : ZXQ_mul(GEN y, GEN x, GEN T) { return ZX_rem(ZX_mul(y, x), T); }
1889 : : INLINE GEN
1890 : 17423 : ZXQ_sqr(GEN x, GEN T) { return ZX_rem(ZX_sqr(x), T); }
1891 : :
1892 : : INLINE GEN
1893 : 61927781 : RgX_copy(GEN x)
1894 : : {
1895 : : long lx, i;
1896 : 61927781 : GEN y = cgetg_copy(x, &lx); y[1] = x[1];
1897 [ + + ]: 225727504 : for (i = 2; i<lx; i++) gel(y,i) = gcopy(gel(x,i));
1898 : 61927781 : return y;
1899 : : }
1900 : : /* have to use ulong to avoid silly warnings from gcc "assuming signed
1901 : : * overflow does not occur" */
1902 : : INLINE GEN
1903 : 5425 : RgX_coeff(GEN x, long n)
1904 : : {
1905 : 5425 : ulong l = lg(x);
1906 [ + + ][ + + ]: 5425 : return (n < 0 || ((ulong)n+3) > l)? gen_0: gel(x,n+2);
1907 : : }
1908 : : INLINE GEN
1909 : 171017 : RgX_renormalize(GEN x) { return RgX_renormalize_lg(x, lg(x)); }
1910 : : INLINE GEN
1911 : 6053181 : RgX_div(GEN x, GEN y) { return RgX_divrem(x,y,NULL); }
1912 : : INLINE GEN
1913 : 2124085 : RgX_rem(GEN x, GEN y) { return RgX_divrem(x,y,ONLY_REM); }
1914 : : INLINE GEN
1915 : 7 : RgXQX_div(GEN x, GEN y, GEN T) { return RgXQX_divrem(x,y,T,NULL); }
1916 : : INLINE GEN
1917 : 28077 : RgXQX_rem(GEN x, GEN y, GEN T) { return RgXQX_divrem(x,y,T,ONLY_REM); }
1918 : : INLINE GEN
1919 : 518659 : FpX_div(GEN x, GEN y, GEN p) { return FpX_divrem(x,y,p, NULL); }
1920 : : INLINE GEN
1921 : 1390852 : Flx_div(GEN x, GEN y, ulong p) { return Flx_divrem(x,y,p, NULL); }
1922 : : INLINE GEN
1923 : 934836 : F2x_div(GEN x, GEN y) { return F2x_divrem(x,y, NULL); }
1924 : : INLINE GEN
1925 : 0 : FpV_FpC_mul(GEN x, GEN y, GEN p) { return FpV_dotproduct(x,y,p); }
1926 : : INLINE GEN
1927 : 23699464 : pol0_Flx(long sv) { return mkvecsmall(sv); }
1928 : : INLINE GEN
1929 : 9652756 : pol1_Flx(long sv) { return mkvecsmall2(sv, 1); }
1930 : : INLINE GEN
1931 : 5915923 : polx_Flx(long sv) { return mkvecsmall3(sv, 0, 1); }
1932 : : INLINE GEN
1933 : 0 : zero_zx(long sv) { return zero_Flx(sv); }
1934 : : INLINE GEN
1935 : 0 : polx_zx(long sv) { return polx_Flx(sv); }
1936 : : INLINE GEN
1937 : 0 : zx_shift(GEN x, long n) { return Flx_shift(x,n); }
1938 : : INLINE GEN
1939 : 0 : zx_renormalize(GEN x, long l) { return Flx_renormalize(x,l); }
1940 : : INLINE GEN
1941 : 77 : zero_F2x(long sv) { return zero_Flx(sv); }
1942 : : INLINE GEN
1943 : 1715686 : pol0_F2x(long sv) { return pol0_Flx(sv); }
1944 : : INLINE GEN
1945 : 514682 : pol1_F2x(long sv) { return pol1_Flx(sv); }
1946 : : INLINE GEN
1947 : 170192 : polx_F2x(long sv) { return mkvecsmall2(sv, 2); }
1948 : : INLINE int
1949 : 1488 : F2x_equal1(GEN x) { return Flx_equal1(x); }
1950 : : INLINE int
1951 : 906563 : F2x_equal(GEN V, GEN W) { return Flx_equal(V,W); }
1952 : : INLINE GEN
1953 : 0 : F2v_copy(GEN x) { return leafcopy(x); }
1954 : : INLINE GEN
1955 : 982573 : Flv_copy(GEN x) { return leafcopy(x); }
1956 : : INLINE GEN
1957 : 45365759 : Flx_copy(GEN x) { return leafcopy(x); }
1958 : : INLINE GEN
1959 : 21149169 : vecsmall_copy(GEN x) { return leafcopy(x); }
1960 : : INLINE int
1961 [ + + ][ + + ]: 3072438 : Flx_equal1(GEN x) { return degpol(x)==0 && x[2] == 1; }
1962 : : INLINE int
1963 [ + + ][ + + ]: 12669 : ZX_equal1(GEN x) { return degpol(x)==0 && equali1(gel(x,2)); }
1964 : :
1965 : : INLINE GEN
1966 : 70747773 : ZX_renormalize(GEN x, long lx) { return ZXX_renormalize(x,lx); }
1967 : : INLINE GEN
1968 : 82694127 : FpX_renormalize(GEN x, long lx) { return ZXX_renormalize(x,lx); }
1969 : : INLINE GEN
1970 : 467398 : FpXX_renormalize(GEN x, long lx) { return ZXX_renormalize(x,lx); }
1971 : : INLINE GEN
1972 : 621854 : FpXQX_renormalize(GEN x, long lx) { return ZXX_renormalize(x,lx); }
1973 : : INLINE GEN
1974 : 51085177 : F2x_renormalize(GEN x, long lx) { return Flx_renormalize(x,lx); }
1975 : : INLINE GEN
1976 : 6027 : F2v_to_F2x(GEN x, long sv) {
1977 : 6027 : GEN y = leafcopy(x);
1978 : 6027 : y[1] = sv; F2x_renormalize(y, lg(y)); return y;
1979 : : }
1980 : :
1981 : : INLINE GEN
1982 : 0 : ZX_ZXY_resultant(GEN a, GEN b) { return ZX_ZXY_rnfequation(a,b,NULL); }
1983 : : INLINE long
1984 : 322 : sturm(GEN x) { return sturmpart(x, NULL, NULL); }
1985 : : INLINE GEN
1986 : 25668 : resultant(GEN x, GEN y) { return resultant_all(x,y,NULL); }
1987 : :
1988 : : INLINE long
1989 : 406 : gval(GEN x, long v) {
1990 : 406 : pari_sp av = avma;
1991 : 406 : long n = gvaluation(x, pol_x(v));
1992 : 406 : avma = av; return n;
1993 : : }
1994 : :
1995 : : INLINE void
1996 : 484052 : RgX_shift_inplace_init(long v)
1997 [ + + ]: 484052 : { if (v) (void)cgetg(v, t_VECSMALL); }
1998 : : /* shift polynomial in place. assume v free cells have been left before x */
1999 : : INLINE GEN
2000 : 484052 : RgX_shift_inplace(GEN x, long v)
2001 : : {
2002 : : long i, lx;
2003 : : GEN y, z;
2004 [ + + ]: 484052 : if (!v) return x;
2005 : 255228 : lx = lg(x);
2006 [ - + ]: 255228 : if (lx == 2) return x;
2007 : 255228 : y = x + v;
2008 : 255228 : z = x + lx;
2009 : : /* stackdummy from normalizepol: move it up */
2010 [ - + ]: 255228 : if (lg(z) != v) x[lx + v] = z[0];
2011 [ + + ]: 4721098 : for (i = lx-1; i >= 2; i--) gel(y,i) = gel(x,i);
2012 [ + + ]: 682662 : for (i = v+1; i >= 2; i--) gel(x,i) = gen_0;
2013 : : /* leave x[1] alone: it is correct */
2014 : 484052 : x[0] = evaltyp(t_POL) | evallg(lx+v); return x;
2015 : : }
2016 : :
2017 : :
2018 : : /* LINEAR ALGEBRA */
2019 : : INLINE GEN
2020 : 6202 : zv_to_ZV(GEN x) { return vecsmall_to_vec(x); }
2021 : : INLINE GEN
2022 : 426552 : zc_to_ZC(GEN x) { return vecsmall_to_col(x); }
2023 : : INLINE GEN
2024 : 192862 : ZV_to_zv(GEN x) { return vec_to_vecsmall(x); }
2025 : : INLINE GEN
2026 : 0 : zx_to_zv(GEN x, long N) { return Flx_to_Flv(x,N); }
2027 : : INLINE GEN
2028 : 0 : zv_to_zx(GEN x, long sv) { return Flv_to_Flx(x,sv); }
2029 : : INLINE GEN
2030 : 0 : zm_to_zxV(GEN x, long sv) { return Flm_to_FlxV(x,sv); }
2031 : : INLINE GEN
2032 : 0 : zero_zm(long x, long y) { return zero_Flm(x,y); }
2033 : : INLINE GEN
2034 : 13113884 : zero_zv(long x) { return zero_Flv(x); }
2035 : : INLINE GEN
2036 : 91 : zm_transpose(GEN x) { return Flm_transpose(x); }
2037 : : INLINE GEN
2038 : 0 : zm_copy(GEN x) { return Flm_copy(x); }
2039 : : INLINE GEN
2040 : 727608 : zv_copy(GEN x) { return Flv_copy(x); }
2041 : : INLINE GEN
2042 : 0 : row_zm(GEN x, long i) { return row_Flm(x,i); }
2043 : :
2044 : : INLINE GEN
2045 : 801848 : ZC_hnfrem(GEN x, GEN y) { return ZC_hnfremdiv(x,y,NULL); }
2046 : : INLINE GEN
2047 : 26145 : ZM_hnfrem(GEN x, GEN y) { return ZM_hnfdivrem(x,y,NULL); }
2048 : : INLINE GEN
2049 : 1131185 : ZM_lll(GEN x, double D, long f) { return ZM_lll_norms(x,D,f,NULL); }
2050 : : INLINE void
2051 [ + + ]: 115445 : RgM_dimensions(GEN x, long *m, long *n) { *n = lg(x)-1; *m = *n? nbrows(x): 0; }
2052 : : INLINE GEN
2053 : 29748 : RgM_inv(GEN a) { return RgM_solve(a, NULL); }
2054 : : INLINE GEN
2055 : 4831779 : RgM_shallowcopy(GEN x)
2056 : : {
2057 : : long l;
2058 : 4831779 : GEN y = cgetg_copy(x, &l);
2059 [ + + ]: 26258474 : while (--l > 0) gel(y,l) = leafcopy(gel(x,l));
2060 : 4831779 : return y;
2061 : : }
2062 : : INLINE GEN
2063 : 1428 : F2m_copy(GEN x) { return RgM_shallowcopy(x); }
2064 : :
2065 : : INLINE GEN
2066 : 471556 : Flm_copy(GEN x) { return RgM_shallowcopy(x); }
2067 : :
2068 : : /* divisibility: return 1 if y[i] | x[i] for all i, 0 otherwise. Assume
2069 : : * x,y are ZV of the same length */
2070 : : INLINE int
2071 : 23198 : ZV_dvd(GEN x, GEN y)
2072 : : {
2073 : 23198 : long i, l = lg(x);
2074 [ + + ]: 36652 : for (i=1; i < l; i++)
2075 [ + + ]: 29519 : if ( ! dvdii( gel(x,i), gel(y,i) ) ) return 0;
2076 : 23198 : return 1;
2077 : : }
2078 : :
2079 : : /* Fq */
2080 : : INLINE GEN
2081 : 1327560 : Fq_red(GEN x, GEN T, GEN p)
2082 [ + + ]: 1327560 : { return typ(x)==t_INT? Fp_red(x,p): FpXQ_red(x,T,p); }
2083 : : INLINE GEN
2084 : 3572 : Fq_to_FpXQ(GEN x, GEN T, GEN p /*unused*/)
2085 : : {
2086 : : (void) p;
2087 [ + + ]: 3572 : return typ(x)==t_INT ? scalarpol(x, get_FpX_var(T)): x;
2088 : : }
2089 : :
2090 : : INLINE GEN
2091 : 462 : gener_Fq_local(GEN T, GEN p, GEN L)
2092 : 462 : { return T? gener_FpXQ_local(T,p, L)
2093 [ + + ]: 462 : : pgener_Fp_local(p, L); }
2094 : :
2095 : : /* FpXQX */
2096 : : INLINE GEN
2097 : 0 : FpXQX_div(GEN x, GEN y, GEN T, GEN p) { return FpXQX_divrem(x, y, T, p, NULL); }
2098 : : INLINE GEN
2099 : 161038 : FlxqX_rem(GEN x, GEN y, GEN T, ulong p) { return FlxqX_divrem(x, y, T, p, ONLY_REM); }
2100 : : INLINE GEN
2101 : 6146 : FlxqX_div(GEN x, GEN y, GEN T, ulong p) { return FlxqX_divrem(x, y, T, p, NULL); }
2102 : :
2103 : : /* FqX */
2104 : : INLINE GEN
2105 [ + + ]: 7665 : FqX_red(GEN z, GEN T, GEN p) { return T? FpXQX_red(z, T, p): FpX_red(z, p); }
2106 : : INLINE GEN
2107 [ + + ]: 763767 : FqX_add(GEN x,GEN y,GEN T,GEN p) { return T? FpXX_add(x,y,p): FpX_add(x,y,p); }
2108 : : INLINE GEN
2109 [ + + ]: 3972 : FqX_neg(GEN x,GEN T,GEN p) { return T? FpXX_neg(x,p): FpX_neg(x,p); }
2110 : : INLINE GEN
2111 [ + + ]: 103039 : FqX_sub(GEN x,GEN y,GEN T,GEN p) { return T? FpXX_sub(x,y,p): FpX_sub(x,y,p); }
2112 : : INLINE GEN
2113 : 448958 : FqX_Fp_mul(GEN P, GEN u, GEN T, GEN p)
2114 [ + + ]: 448958 : { return T? FpXX_Fp_mul(P, u, p): FpX_Fp_mul(P, u, p); }
2115 : : INLINE GEN
2116 : 464629 : FqX_Fq_mul(GEN P, GEN U, GEN T, GEN p)
2117 [ + + ]: 464629 : { return typ(U)==t_INT ? FqX_Fp_mul(P, U, T, p): FpXQX_FpXQ_mul(P, U, T, p); }
2118 : : INLINE GEN
2119 : 81879 : FqX_mul(GEN x, GEN y, GEN T, GEN p)
2120 [ + + ]: 81879 : { return T? FpXQX_mul(x, y, T, p): FpX_mul(x, y, p); }
2121 : : INLINE GEN
2122 : 386502 : FqX_mulu(GEN x, ulong y, GEN T, GEN p)
2123 [ + + ]: 386502 : { return T? FpXX_mulu(x, y, p): FpX_mulu(x, y, p); }
2124 : : INLINE GEN
2125 : 4179 : FqX_sqr(GEN x, GEN T, GEN p)
2126 [ + + ]: 4179 : { return T? FpXQX_sqr(x, T, p): FpX_sqr(x, p); }
2127 : : INLINE GEN
2128 : 973 : FqX_powu(GEN x, ulong n, GEN T, GEN p)
2129 [ + + ]: 973 : { return T? FpXQX_powu(x, n, T, p): FpX_powu(x, n, p); }
2130 : : INLINE GEN
2131 : 9520 : FqX_div(GEN x, GEN y, GEN T, GEN p)
2132 [ + + ]: 9520 : { return T? FpXQX_divrem(x,y,T,p,NULL): FpX_divrem(x,y,p,NULL); }
2133 : : INLINE GEN
2134 : 25139 : FqX_rem(GEN x, GEN y, GEN T, GEN p)
2135 [ + + ]: 25139 : { return T? FpXQX_rem(x,y,T,p): FpX_rem(x,y,p); }
2136 : : INLINE GEN
2137 : 0 : FqX_divrem(GEN x, GEN y, GEN T, GEN p, GEN *z)
2138 [ # # ]: 0 : { return T? FpXQX_divrem(x,y,T,p,z): FpX_divrem(x,y,p,z); }
2139 : : INLINE GEN
2140 : 5831 : FqX_div_by_X_x(GEN x, GEN y, GEN T, GEN p, GEN *z)
2141 [ + - ]: 5831 : { return T? FpXQX_div_by_X_x(x,y,T,p,z): FpX_div_by_X_x(x,y,p,z); }
2142 : : INLINE GEN
2143 : 38010 : FqX_gcd(GEN P,GEN Q,GEN T,GEN p)
2144 [ + + ]: 38010 : {return T? FpXQX_gcd(P,Q,T,p): FpX_gcd(P,Q,p);}
2145 : : INLINE GEN
2146 : 37114 : FqX_extgcd(GEN P,GEN Q,GEN T,GEN p, GEN *U, GEN *V)
2147 [ + + ]: 37114 : { return T? FpXQX_extgcd(P,Q,T,p,U,V): FpX_extgcd(P,Q,p,U,V); }
2148 : :
2149 : : /*FqXQ*/
2150 : : INLINE GEN
2151 : 0 : FqXQ_add(GEN x, GEN y, GEN S/*unused*/, GEN T, GEN p)
2152 [ # # ]: 0 : { (void)S; return T? FpXX_add(x,y,p): FpX_add(x,y,p); }
2153 : : INLINE GEN
2154 : 0 : FqXQ_sub(GEN x, GEN y, GEN S/*unused*/, GEN T, GEN p)
2155 [ # # ]: 0 : { (void)S; return T? FpXX_sub(x,y,p): FpX_sub(x,y,p); }
2156 : : INLINE GEN
2157 : 16670 : FqXQ_div(GEN x, GEN y, GEN S, GEN T, GEN p)
2158 [ + + ]: 16670 : { return T? FpXQXQ_div(x,y,S,T,p): FpXQ_div(x,y,S,p); }
2159 : : INLINE GEN
2160 : 0 : FqXQ_inv(GEN x, GEN S, GEN T, GEN p)
2161 [ # # ]: 0 : { return T? FpXQXQ_inv(x,S,T,p): FpXQ_inv(x,S,p); }
2162 : : INLINE GEN
2163 : 0 : FqXQ_invsafe(GEN x, GEN S, GEN T, GEN p)
2164 [ # # ]: 0 : { return T? FpXQXQ_invsafe(x,S,T,p): FpXQ_inv(x,S,p); }
2165 : : INLINE GEN
2166 : 105783 : FqXQ_mul(GEN x, GEN y, GEN S, GEN T, GEN p)
2167 [ + + ]: 105783 : { return T? FpXQXQ_mul(x,y,S,T,p): FpXQ_mul(x,y,S,p); }
2168 : : INLINE GEN
2169 : 38976 : FqXQ_sqr(GEN x, GEN S, GEN T, GEN p)
2170 [ + + ]: 38976 : { return T? FpXQXQ_sqr(x,S,T,p): FpXQ_sqr(x,S,p); }
2171 : : INLINE GEN
2172 : 0 : FqXQ_pow(GEN x, GEN n, GEN S, GEN T, GEN p)
2173 [ # # ]: 0 : { return T? FpXQXQ_pow(x,n,S,T,p): FpXQ_pow(x,n,S,p); }
2174 : :
2175 : : /*FpXQ*/
2176 : : INLINE GEN
2177 : 0 : FpXQ_add(GEN x,GEN y,GEN T/*unused*/,GEN p)
2178 : 0 : { (void)T; return FpX_add(x,y,p); }
2179 : : INLINE GEN
2180 : 0 : FpXQ_sub(GEN x,GEN y,GEN T/*unused*/,GEN p)
2181 : 0 : { (void)T; return FpX_sub(x,y,p); }
2182 : :
2183 : : /*Flxq*/
2184 : : INLINE GEN
2185 : 0 : Flxq_add(GEN x,GEN y,GEN T/*unused*/,ulong p)
2186 : 0 : { (void)T; return Flx_add(x,y,p); }
2187 : : INLINE GEN
2188 : 0 : Flxq_sub(GEN x,GEN y,GEN T/*unused*/,ulong p)
2189 : 0 : { (void)T; return Flx_sub(x,y,p); }
2190 : :
2191 : : /* F2x */
2192 : :
2193 : : INLINE ulong
2194 : 64219813 : F2x_coeff(GEN x,long v)
2195 : : {
2196 : 64219813 : ulong u=(ulong)x[2+divsBIL(v)];
2197 : 64219813 : return (u>>remsBIL(v))&1UL;
2198 : : }
2199 : :
2200 : : INLINE void
2201 : 1812656 : F2x_clear(GEN x,long v)
2202 : : {
2203 : 1812656 : ulong* u=(ulong*)&x[2+divsBIL(v)];
2204 : 1812656 : *u&=~(1UL<<remsBIL(v));
2205 : 1812656 : }
2206 : :
2207 : : INLINE void
2208 : 28973490 : F2x_set(GEN x,long v)
2209 : : {
2210 : 28973490 : ulong* u=(ulong*)&x[2+divsBIL(v)];
2211 : 28973490 : *u|=1UL<<remsBIL(v);
2212 : 28973490 : }
2213 : :
2214 : : INLINE void
2215 : 335847 : F2x_flip(GEN x,long v)
2216 : : {
2217 : 335847 : ulong* u=(ulong*)&x[2+divsBIL(v)];
2218 : 335847 : *u^=1UL<<remsBIL(v);
2219 : 335847 : }
2220 : :
2221 : : /* F2v */
2222 : :
2223 : : INLINE ulong
2224 : 63622003 : F2v_coeff(GEN x,long v) { return F2x_coeff(x,v-1); }
2225 : :
2226 : : INLINE void
2227 : 1812656 : F2v_clear(GEN x,long v) { F2x_clear(x,v-1); }
2228 : :
2229 : : INLINE void
2230 : 11457835 : F2v_set(GEN x,long v) { F2x_set(x,v-1); }
2231 : :
2232 : : INLINE void
2233 : 335847 : F2v_flip(GEN x,long v) { F2x_flip(x,v-1); }
2234 : :
2235 : : /* F2m */
2236 : :
2237 : : INLINE ulong
2238 : 8761348 : F2m_coeff(GEN x, long a, long b) { return F2v_coeff(gel(x,b), a); }
2239 : :
2240 : : INLINE void
2241 : 0 : F2m_clear(GEN x, long a, long b) { F2v_clear(gel(x,b), a); }
2242 : :
2243 : : INLINE void
2244 : 1214232 : F2m_set(GEN x, long a, long b) { F2v_set(gel(x,b), a); }
2245 : :
2246 : : INLINE void
2247 : 335847 : F2m_flip(GEN x, long a, long b) { F2v_flip(gel(x,b), a); }
2248 : :
2249 : : /* ARITHMETIC */
2250 : : INLINE GEN
2251 : 273 : matpascal(long n) { return matqpascal(n, NULL); }
2252 : : INLINE long
2253 : 231300 : Z_issquare(GEN x) { return Z_issquareall(x, NULL); }
2254 : : INLINE long
2255 : 14 : Z_ispower(GEN x, ulong k) { return Z_ispowerall(x, k, NULL); }
2256 : : INLINE GEN
2257 : 2448183 : sqrti(GEN x) { return sqrtremi(x,NULL); }
2258 : : INLINE GEN
2259 : 1400550 : gaddgs(GEN y, long s) { return gaddsg(s,y); }
2260 : : INLINE int
2261 : 23750 : gcmpgs(GEN y, long s) { return -gcmpsg(s,y); }
2262 : : INLINE int
2263 : 22435 : gequalgs(GEN y, long s) { return gequalsg(s,y); }
2264 : : INLINE GEN
2265 : 0 : gmaxsg(long s, GEN y) { return gmaxgs(y,s); }
2266 : : INLINE GEN
2267 : 0 : gminsg(long s, GEN y) { return gmings(y,s); }
2268 : : INLINE GEN
2269 : 2684881 : gmulgs(GEN y, long s) { return gmulsg(s,y); }
2270 : : INLINE GEN
2271 : 396404 : gsubgs(GEN y, long s) { return gaddgs(y, -s); }
2272 : : INLINE GEN
2273 : 98061 : gdivsg(long s, GEN y) { return gdiv(stoi(s), y); }
2274 : :
2275 : : /* x t_COMPLEX */
2276 : : INLINE GEN
2277 : 6963267 : cxnorm(GEN x) { return gadd(gsqr(gel(x,1)), gsqr(gel(x,2))); }
2278 : : /* q t_QUAD */
2279 : : INLINE GEN
2280 : 623 : quadnorm(GEN q)
2281 : : {
2282 : 623 : GEN X = gel(q,1), b = gel(X,3), c = gel(X,2);
2283 : 623 : GEN z, u = gel(q,3), v = gel(q,2);
2284 [ + + ][ + - ]: 623 : if (typ(u) == t_INT && typ(v) == t_INT) /* generic case */
2285 : : {
2286 [ + + ]: 308 : z = signe(b)? mulii(v, addii(u,v)): sqri(v);
2287 : 308 : return addii(z, mulii(c, sqri(u)));
2288 : : }
2289 : : else
2290 : : {
2291 [ + - ]: 315 : z = signe(b)? gmul(v, gadd(u,v)): gsqr(v);
2292 : 623 : return gadd(z, gmul(c, gsqr(u)));
2293 : : }
2294 : : }
2295 : : /* x a t_QUAD, return the associated discriminant */
2296 : : INLINE GEN
2297 : 175 : quad_disc(GEN x)
2298 : : {
2299 : 175 : GEN Q = gel(x,1), b = gel(Q,3), c = gel(Q,2), c4;
2300 [ + + ]: 175 : if (is_pm1(b))
2301 : : {
2302 : 147 : pari_sp av = avma; (void)new_chunk(lgefint(c) + 1);
2303 : 147 : c4 = shifti(c,2); avma = av; return subsi(1, c4);
2304 : : }
2305 : 175 : c4 = shifti(c,2); togglesign_safe(&c4); return c4;
2306 : : }
2307 : : INLINE GEN
2308 : 3786475 : qfb_disc3(GEN x, GEN y, GEN z) { return subii(sqri(y), shifti(mulii(x,z),2)); }
2309 : : INLINE GEN
2310 : 3716181 : qfb_disc(GEN x) { return qfb_disc3(gel(x,1), gel(x,2), gel(x,3)); }
2311 : :
2312 : : INLINE GEN
2313 : 135024 : sqrfrac(GEN x)
2314 : : {
2315 : 135024 : GEN z = cgetg(3,t_FRAC);
2316 : 135024 : gel(z,1) = sqri(gel(x,1));
2317 : 135024 : gel(z,2) = sqri(gel(x,2)); return z;
2318 : : }
2319 : :
2320 : : INLINE void
2321 : 5409221 : normalize_frac(GEN z) {
2322 [ + + ]: 5409221 : if (signe(gel(z,2)) < 0) { togglesign(gel(z,1)); setabssign(gel(z,2)); }
2323 : 5409221 : }
2324 : :
2325 : : INLINE GEN
2326 : 312987 : powii(GEN x, GEN n)
2327 : : {
2328 : 312987 : long ln = lgefint(n);
2329 [ + + ]: 312987 : if (ln == 3) {
2330 : : GEN z;
2331 [ + + ]: 311713 : if (signe(n) > 0) return powiu(x, n[2]);
2332 : 1239 : z = cgetg(3, t_FRAC);
2333 : 1239 : gel(z,1) = gen_1;
2334 : 1239 : gel(z,2) = powiu(x, n[2]);
2335 : 1239 : return z;
2336 : : }
2337 [ + - ]: 1274 : if (ln == 2) return gen_1; /* rare */
2338 : : /* should never happen */
2339 : 312987 : return powgi(x, n); /* overflow unless x = 0, 1, -1 */
2340 : : }
2341 : : INLINE GEN
2342 : 805 : powIs(long n) {
2343 [ + + + + ]: 805 : switch(n & 3)
2344 : : {
2345 : 7 : case 1: return mkcomplex(gen_0,gen_1);
2346 : 315 : case 2: return gen_m1;
2347 : 441 : case 3: return mkcomplex(gen_0,gen_m1);
2348 : : }
2349 : 805 : return gen_1;
2350 : : }
2351 : :
2352 : : /*******************************************************************/
2353 : : /* */
2354 : : /* ASSIGNMENTS */
2355 : : /* */
2356 : : /*******************************************************************/
2357 : 0 : INLINE void mpexpz(GEN x, GEN z)
2358 : 0 : { pari_sp av = avma; gaffect(mpexp(x), z); avma = av; }
2359 : 0 : INLINE void mplogz(GEN x, GEN z)
2360 : 0 : { pari_sp av = avma; gaffect(mplog(x), z); avma = av; }
2361 : 0 : INLINE void mpcosz(GEN x, GEN z)
2362 : 0 : { pari_sp av = avma; gaffect(mpcos(x), z); avma = av; }
2363 : 0 : INLINE void mpsinz(GEN x, GEN z)
2364 : 0 : { pari_sp av = avma; gaffect(mpsin(x), z); avma = av; }
2365 : 0 : INLINE void gnegz(GEN x, GEN z)
2366 : 0 : { pari_sp av = avma; gaffect(gneg(x), z); avma = av; }
2367 : 0 : INLINE void gabsz(GEN x, long prec, GEN z)
2368 : 0 : { pari_sp av = avma; gaffect(gabs(x,prec), z); avma = av; }
2369 : 23318 : INLINE void gaddz(GEN x, GEN y, GEN z)
2370 : 23318 : { pari_sp av = avma; gaffect(gadd(x,y), z); avma = av; }
2371 : 0 : INLINE void gsubz(GEN x, GEN y, GEN z)
2372 : 0 : { pari_sp av = avma; gaffect(gsub(x,y), z); avma = av; }
2373 : 11673 : INLINE void gmulz(GEN x, GEN y, GEN z)
2374 : 11673 : { pari_sp av = avma; gaffect(gmul(x,y), z); avma = av; }
2375 : 0 : INLINE void gdivz(GEN x, GEN y, GEN z)
2376 : 0 : { pari_sp av = avma; gaffect(gdiv(x,y), z); avma = av; }
2377 : 0 : INLINE void gdiventz(GEN x, GEN y, GEN z)
2378 : 0 : { pari_sp av = avma; gaffect(gdivent(x,y), z); avma = av; }
2379 : 0 : INLINE void gmodz(GEN x, GEN y, GEN z)
2380 : 0 : { pari_sp av = avma; gaffect(gmod(x,y), z); avma = av; }
2381 : 0 : INLINE void gmul2nz(GEN x, long s, GEN z)
2382 : 0 : { pari_sp av = avma; gaffect(gmul2n(x,s), z); avma = av; }
2383 : 0 : INLINE void gshiftz(GEN x, long s, GEN z)
2384 : 0 : { pari_sp av = avma; gaffect(gshift(x,s), z); avma = av; }
2385 : :
2386 : : /*******************************************************************/
2387 : : /* */
2388 : : /* ELLIPTIC CURVES */
2389 : : /* */
2390 : : /*******************************************************************/
2391 : 1966508 : INLINE GEN ell_get_a1(GEN e) { return gel(e,1); }
2392 : 1409476 : INLINE GEN ell_get_a2(GEN e) { return gel(e,2); }
2393 : 1982286 : INLINE GEN ell_get_a3(GEN e) { return gel(e,3); }
2394 : 2022242 : INLINE GEN ell_get_a4(GEN e) { return gel(e,4); }
2395 : 2432071 : INLINE GEN ell_get_a6(GEN e) { return gel(e,5); }
2396 : 2005858 : INLINE GEN ell_get_b2(GEN e) { return gel(e,6); }
2397 : 433574 : INLINE GEN ell_get_b4(GEN e) { return gel(e,7); }
2398 : 824916 : INLINE GEN ell_get_b6(GEN e) { return gel(e,8); }
2399 : 688457 : INLINE GEN ell_get_b8(GEN e) { return gel(e,9); }
2400 : 4710178 : INLINE GEN ell_get_c4(GEN e) { return gel(e,10); }
2401 : 5069670 : INLINE GEN ell_get_c6(GEN e) { return gel(e,11); }
2402 : 6276599 : INLINE GEN ell_get_disc(GEN e) { return gel(e,12); }
2403 : 897393 : INLINE GEN ell_get_j(GEN e) { return gel(e,13); }
2404 : 6738688 : INLINE long ell_get_type(GEN e) { return mael(e,14,1); }
2405 : 602735 : INLINE GEN ellff_get_field(GEN x) { return gmael(x, 15, 1); }
2406 : 258307 : INLINE GEN ellff_get_a4a6(GEN x) { return gmael(x, 15, 2); }
2407 : 336 : INLINE GEN ellQp_get_zero(GEN x) { return gmael(x, 15, 1); }
2408 : 84 : INLINE long ellQp_get_prec(GEN E) { GEN z = ellQp_get_zero(E); return valp(z); }
2409 : 245 : INLINE GEN ellQp_get_p(GEN E) { GEN z = ellQp_get_zero(E); return gel(z,2); }
2410 : 245 : INLINE long ellR_get_prec(GEN x) { return nbits2prec(mael3(x, 15, 1, 1)); }
2411 : 660 : INLINE long ellR_get_sign(GEN x) { return mael3(x, 15, 1, 2); }
2412 : 52864 : INLINE GEN ellnf_get_nf(GEN x) { return gmael(x, 15, 1); }
2413 : :
2414 : 16122720 : INLINE int ell_is_inf(GEN z) { return lg(z) == 2; }
2415 : 405519 : INLINE GEN ellinf(void) { return mkvec(gen_0); }
2416 : :
2417 : : /*******************************************************************/
2418 : : /* */
2419 : : /* ALGEBRAIC NUMBER THEORY */
2420 : : /* */
2421 : : /*******************************************************************/
2422 : 1707458 : INLINE GEN modpr_get_pr(GEN x) { return gel(x,3); }
2423 : 2317 : INLINE GEN modpr_get_p(GEN x) { return pr_get_p(modpr_get_pr(x)); }
2424 [ + + ]: 762808 : INLINE GEN modpr_get_T(GEN x) { return lg(x) == 4? NULL: gel(x,4); }
2425 : :
2426 : 8239046 : INLINE GEN pr_get_p(GEN pr) { return gel(pr,1); }
2427 : 2338904 : INLINE GEN pr_get_gen(GEN pr){ return gel(pr,2); }
2428 : : /* .[2] instead of itos works: e and f are small positive integers */
2429 : 1205048 : INLINE long pr_get_e(GEN pr) { return gel(pr,3)[2]; }
2430 : 5285316 : INLINE long pr_get_f(GEN pr) { return gel(pr,4)[2]; }
2431 : 4704141 : INLINE GEN pr_get_tau(GEN pr){ return gel(pr,5); }
2432 : : INLINE int
2433 : 489419 : pr_is_inert(GEN P) { return pr_get_f(P) == lg(pr_get_gen(P))-1; }
2434 : : INLINE GEN
2435 : 60887 : pr_norm(GEN pr) { return powiu(pr_get_p(pr), pr_get_f(pr)); }
2436 : :
2437 : : /* assume nf a genuine nf */
2438 : : INLINE long
2439 : 4017 : nf_get_varn(GEN nf) { return varn(gel(nf,1)); }
2440 : : INLINE GEN
2441 : 5616635 : nf_get_pol(GEN nf) { return gel(nf,1); }
2442 : : INLINE long
2443 : 2573842 : nf_get_degree(GEN nf) { return degpol( nf_get_pol(nf) ); }
2444 : : INLINE long
2445 : 964839 : nf_get_r1(GEN nf) { GEN x = gel(nf,2); return itou(gel(x,1)); }
2446 : : INLINE long
2447 : 301 : nf_get_r2(GEN nf) { GEN x = gel(nf,2); return itou(gel(x,2)); }
2448 : : INLINE GEN
2449 : 20413 : nf_get_disc(GEN nf) { return gel(nf,3); }
2450 : : INLINE GEN
2451 : 478933 : nf_get_index(GEN nf) { return gel(nf,4); }
2452 : : INLINE GEN
2453 : 877526 : nf_get_M(GEN nf) { return gmael(nf,5,1); }
2454 : : INLINE GEN
2455 : 42210 : nf_get_G(GEN nf) { return gmael(nf,5,2); }
2456 : : INLINE GEN
2457 : 337494 : nf_get_roundG(GEN nf) { return gmael(nf,5,3); }
2458 : : INLINE GEN
2459 : 784 : nf_get_Tr(GEN nf) { return gmael(nf,5,4); }
2460 : : INLINE GEN
2461 : 798 : nf_get_diff(GEN nf) { return gmael(nf,5,5); }
2462 : : INLINE GEN
2463 : 7 : nf_get_ramified_primes(GEN nf) { return gmael(nf,5,8); }
2464 : : INLINE GEN
2465 : 45800 : nf_get_roots(GEN nf) { return gel(nf,6); }
2466 : : INLINE GEN
2467 : 5560260 : nf_get_zk(GEN nf) { return gel(nf,7); }
2468 : : INLINE GEN
2469 : 1074187 : nf_get_invzk(GEN nf) { return gel(nf,8); }
2470 : : INLINE void
2471 : 3888 : nf_get_sign(GEN nf, long *r1, long *r2)
2472 : : {
2473 : 3888 : GEN x = gel(nf,2);
2474 : 3888 : *r1 = itou(gel(x,1));
2475 : 3888 : *r2 = itou(gel(x,2));
2476 : 3888 : }
2477 : :
2478 : : INLINE GEN
2479 : 7994 : abgrp_get_no(GEN x) { return gel(x,1); }
2480 : : INLINE GEN
2481 : 892608 : abgrp_get_cyc(GEN x) { return gel(x,2); }
2482 : : INLINE GEN
2483 : 227568 : abgrp_get_gen(GEN x) { return gel(x,3); }
2484 : : INLINE GEN
2485 : 927955 : bnf_get_nf(GEN bnf) { return gel(bnf,7); }
2486 : : INLINE GEN
2487 : 465237 : bnf_get_clgp(GEN bnf) { return gmael(bnf,8,1); }
2488 : : INLINE GEN
2489 : 553 : bnf_get_no(GEN bnf) { return abgrp_get_no(bnf_get_clgp(bnf)); }
2490 : : INLINE GEN
2491 : 242548 : bnf_get_cyc(GEN bnf) { return abgrp_get_cyc(bnf_get_clgp(bnf)); }
2492 : : INLINE GEN
2493 : 221996 : bnf_get_gen(GEN bnf) { return abgrp_get_gen(bnf_get_clgp(bnf)); }
2494 : : INLINE GEN
2495 : 601 : bnf_get_reg(GEN bnf) { return gmael(bnf,8,2); }
2496 : : INLINE GEN
2497 : 347063 : bnf_get_logfu(GEN bnf) { return gel(bnf,3); }
2498 : : INLINE GEN
2499 : 6034 : bnf_get_tuU(GEN bnf) { return gmael3(bnf,8,4,2); }
2500 : : INLINE long
2501 : 7560 : bnf_get_tuN(GEN bnf) { return gmael3(bnf,8,4,1)[2]; }
2502 : : INLINE GEN
2503 : 6733 : bnf_get_fu(GEN bnf) {
2504 : 6733 : GEN fu = bnf_get_fu_nocheck(bnf);
2505 [ - + ]: 6733 : if (typ(fu) == t_MAT) pari_err(e_MISC,"missing units in bnf");
2506 : 6733 : return fu;
2507 : : }
2508 : : INLINE GEN
2509 : 12067 : bnf_get_fu_nocheck(GEN bnf) { return gmael(bnf,8,5); }
2510 : :
2511 : : INLINE GEN
2512 : 346027 : bnr_get_bnf(GEN bnr) { return gel(bnr,1); }
2513 : : INLINE GEN
2514 : 172107 : bnr_get_bid(GEN bnr) { return gel(bnr,2); }
2515 : : INLINE GEN
2516 : 9149 : bnr_get_mod(GEN bnr) { return gmael(bnr,2,1); }
2517 : : INLINE GEN
2518 : 2219 : bnr_get_nf(GEN bnr) { return gmael(bnr,1,7); }
2519 : : INLINE GEN
2520 : 196866 : bnr_get_clgp(GEN bnr) { return gel(bnr,5); }
2521 : : INLINE GEN
2522 : 7441 : bnr_get_no(GEN bnr) { return abgrp_get_no(bnr_get_clgp(bnr)); }
2523 : : INLINE GEN
2524 : 187955 : bnr_get_cyc(GEN bnr) { return abgrp_get_cyc(bnr_get_clgp(bnr)); }
2525 : : INLINE GEN
2526 : 70 : bnr_get_gen_nocheck(GEN bnr) { return abgrp_get_gen(bnr_get_clgp(bnr)); }
2527 : : INLINE GEN
2528 : 1400 : bnr_get_gen(GEN bnr) {
2529 : 1400 : GEN G = bnr_get_clgp(bnr);
2530 [ - + ]: 1400 : if (lg(G) != 4)
2531 : 0 : pari_err(e_MISC,"missing bnr generators: please use bnrinit(,,1)");
2532 : 1400 : return gel(G,3);
2533 : : }
2534 : :
2535 : : INLINE GEN
2536 : 287496 : bid_get_mod(GEN bid) { return gel(bid,1); }
2537 : : INLINE GEN
2538 : 72892 : bid_get_ideal(GEN bid) { return gmael(bid,1,1); }
2539 : : INLINE GEN
2540 : 98487 : bid_get_arch(GEN bid) { return gmael(bid,1,2); }
2541 : : INLINE GEN
2542 : 467089 : bid_get_grp(GEN bid) { return gel(bid,2); }
2543 : : INLINE GEN
2544 : 0 : bid_get_no(GEN bid) { return abgrp_get_no(bid_get_grp(bid)); }
2545 : : INLINE GEN
2546 : 461587 : bid_get_cyc(GEN bid) { return abgrp_get_cyc(bid_get_grp(bid)); }
2547 : : INLINE GEN
2548 : 0 : bid_get_gen_nocheck(GEN bid) { return abgrp_get_gen(bid_get_grp(bid)); }
2549 : : INLINE GEN
2550 : 4984 : bid_get_gen(GEN bid) {
2551 : 4984 : GEN G = bid_get_grp(bid);
2552 [ - + ]: 4984 : if (lg(G) != 4) pari_err(e_MISC,"missing bid generators. Use idealstar(,,2)");
2553 : 4984 : return abgrp_get_gen(G);
2554 : : }
2555 : : INLINE GEN
2556 : 875 : gal_get_pol(GEN gal) { return gel(gal,1); }
2557 : : INLINE GEN
2558 : 924 : gal_get_p(GEN gal) { return gmael(gal,2,1); }
2559 : : INLINE GEN
2560 : 42 : gal_get_e(GEN gal) { return gmael(gal,2,2); }
2561 : : INLINE GEN
2562 : 1512 : gal_get_mod(GEN gal) { return gmael(gal,2,3); }
2563 : : INLINE GEN
2564 : 1869 : gal_get_roots(GEN gal) { return gel(gal,3); }
2565 : : INLINE GEN
2566 : 1526 : gal_get_invvdm(GEN gal) { return gel(gal,4); }
2567 : : INLINE GEN
2568 : 1526 : gal_get_den(GEN gal) { return gel(gal,5); }
2569 : : INLINE GEN
2570 : 798 : gal_get_group(GEN gal) { return gel(gal,6); }
2571 : : INLINE GEN
2572 : 875 : gal_get_gen(GEN gal) { return gel(gal,7); }
2573 : : INLINE GEN
2574 : 413 : gal_get_orders(GEN gal) { return gel(gal,8); }
2575 : :
2576 : : /* assume rnf a genuine rnf */
2577 : : INLINE long
2578 : 79996 : rnf_get_degree(GEN rnf) { return degpol(rnf_get_pol(rnf)); }
2579 : : INLINE long
2580 : 14399 : rnf_get_nfdegree(GEN rnf) { return degpol(nf_get_pol(rnf_get_nf(rnf))); }
2581 : : INLINE long
2582 : 27321 : rnf_get_absdegree(GEN rnf) { return degpol(gmael(rnf,11,1)); }
2583 : : INLINE GEN
2584 : 301 : rnf_get_idealdisc(GEN rnf) { return gmael(rnf,3,1); }
2585 : : INLINE GEN
2586 : 413 : rnf_get_k(GEN rnf) { return gmael(rnf,11,3); }
2587 : : INLINE GEN
2588 : 413 : rnf_get_alpha(GEN rnf) { return gmael(rnf, 11, 2); }
2589 : : INLINE GEN
2590 : 82033 : rnf_get_nf(GEN rnf) { return gel(rnf,10); }
2591 : : INLINE void
2592 : 4200 : rnf_get_nfzk(GEN rnf, GEN *b, GEN *cb) {*b=gmael(rnf,2,1); *cb=gmael(rnf,2,2);}
2593 : : INLINE GEN
2594 : 63980 : rnf_get_polabs(GEN rnf) { return gmael(rnf,11,1); }
2595 : : INLINE GEN
2596 : 199892 : rnf_get_pol(GEN rnf) { return gel(rnf,1); }
2597 : : INLINE GEN
2598 : 63 : rnf_get_disc(GEN rnf) { return gel(rnf,3); }
2599 : : INLINE GEN
2600 : 98 : rnf_get_index(GEN rnf) { return gel(rnf,4); }
2601 : : INLINE long
2602 : 0 : rnf_get_varn(GEN rnf) { return varn(gel(rnf,1)); }
2603 : : INLINE GEN
2604 : 87010 : rnf_get_nfpol(GEN rnf) { return gmael(rnf,10,1); }
2605 : : INLINE long
2606 : 448 : rnf_get_nfvarn(GEN rnf) { return varn(gmael(rnf,10,1)); }
2607 : : INLINE GEN
2608 : 2590 : rnf_get_zk(GEN rnf) { return gel(rnf,7); }
2609 : : INLINE GEN
2610 : 25795 : rnf_get_map(GEN rnf) { return gel(rnf,11); }
2611 : : INLINE GEN
2612 : 1057 : rnf_get_invzk(GEN rnf) { return gel(rnf,8); }
2613 : :
2614 : : /* I integral (not necessarily HNF), G ZM, rounded Cholesky form of a weighted
2615 : : * T2 matrix. Return m in I with T2(m) small */
2616 : : INLINE GEN
2617 : 149487 : idealpseudomin(GEN I, GEN G)
2618 : : {
2619 : 149487 : GEN u = ZM_lll(ZM_mul(G, I), 0.99, LLL_IM);
2620 : 149487 : return ZM_ZC_mul(I, gel(u,1));
2621 : : }
2622 : : /* I, G as in idealpseudomin. Return an irrational m in I with T2(m) small */
2623 : : INLINE GEN
2624 : 230278 : idealpseudomin_nonscalar(GEN I, GEN G)
2625 : : {
2626 : 230278 : GEN u = ZM_lll(ZM_mul(G, I), 0.99, LLL_IM);
2627 : 230278 : GEN m = ZM_ZC_mul(I, gel(u,1));
2628 [ + + ][ + - ]: 230278 : if (ZV_isscalar(m) && lg(u) > 2) m = ZM_ZC_mul(I, gel(u,2));
2629 : 230278 : return m;
2630 : : }
2631 : :
2632 : : INLINE GEN
2633 : 315 : idealred_elt(GEN nf, GEN I) {
2634 : 315 : pari_sp av = avma;
2635 : 315 : GEN u = idealpseudomin(I, nf_get_roundG(nf));
2636 : 315 : return gerepileupto(av, u);
2637 : : }
2638 : : INLINE GEN
2639 : 148704 : idealred(GEN nf, GEN I) { return idealred0(nf, I, NULL); }
2640 : :
2641 : : /*******************************************************************/
2642 : : /* */
2643 : : /* CLOSURES */
2644 : : /* */
2645 : : /*******************************************************************/
2646 : 91977911 : INLINE long closure_arity(GEN C) { return ((ulong)C[1])&ARITYBITS; }
2647 : 11767483 : INLINE long closure_is_variadic(GEN C) { return !!(((ulong)C[1])&VARARGBITS); }
2648 : 80206248 : INLINE const char *closure_codestr(GEN C) { return GSTR(gel(C,2))-1; }
2649 : 0 : INLINE GEN closure_get_code(GEN C) { return gel(C,2); }
2650 : 80206248 : INLINE GEN closure_get_oper(GEN C) { return gel(C,3); }
2651 : 80199697 : INLINE GEN closure_get_data(GEN C) { return gel(C,4); }
2652 : 6654 : INLINE GEN closure_get_dbg(GEN C) { return gel(C,5); }
2653 : 13903 : INLINE GEN closure_get_text(GEN C) { return gel(C,6); }
2654 : 4774 : INLINE GEN closure_get_frame(GEN C) { return gel(C,7); }
2655 : :
2656 : : /*******************************************************************/
2657 : : /* */
2658 : : /* ERRORS */
2659 : : /* */
2660 : : /*******************************************************************/
2661 : : INLINE long
2662 : 27435 : err_get_num(GEN e) { return e[1]; }
2663 : : INLINE GEN
2664 : 77 : err_get_compo(GEN e, long i) { return gel(e, i+1); }
2665 : :
2666 : : INLINE void
2667 : 14 : pari_err_BUG(const char *f) { pari_err(e_BUG,f); }
2668 : : INLINE void
2669 : 7 : pari_err_CONSTPOL(const char *f) { pari_err(e_CONSTPOL, f); }
2670 : : INLINE void
2671 : 42 : pari_err_COPRIME(const char *f, GEN x, GEN y) { pari_err(e_COPRIME, f,x,y); }
2672 : : INLINE void
2673 : 191 : pari_err_DIM(const char *f) { pari_err(e_DIM, f); }
2674 : : INLINE void
2675 : 0 : pari_err_FILE(const char *f, const char *g) { pari_err(e_FILE, f,g); }
2676 : : INLINE void
2677 : 14 : pari_err_FLAG(const char *f) { pari_err(e_FLAG,f); }
2678 : : INLINE void
2679 : 175 : pari_err_IMPL(const char *f) { pari_err(e_IMPL,f); }
2680 : : INLINE void
2681 : 658 : pari_err_INV(const char *f, GEN x) { pari_err(e_INV,f,x); }
2682 : : INLINE void
2683 : 14 : pari_err_IRREDPOL(const char *f, GEN x) { pari_err(e_IRREDPOL, f,x); }
2684 : : INLINE void
2685 : 1318 : 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); }
2686 : : INLINE void
2687 : 203 : pari_err_COMPONENT(const char *f, const char *op, GEN l, GEN x) { pari_err(e_COMPONENT, f,op,l,x); }
2688 : : INLINE void
2689 : 0 : pari_err_MAXPRIME(ulong c) { pari_err(e_MAXPRIME, c); }
2690 : : INLINE void
2691 : 308 : pari_err_OP(const char *f, GEN x, GEN y) { pari_err(e_OP, f,x,y); }
2692 : : INLINE void
2693 : 56 : pari_err_OVERFLOW(const char *f) { pari_err(e_OVERFLOW, f); }
2694 : : INLINE void
2695 : 218 : pari_err_PREC(const char *f) { pari_err(e_PREC,f); }
2696 : : INLINE void
2697 : 0 : pari_err_PACKAGE(const char *f) { pari_err(e_PACKAGE,f); }
2698 : : INLINE void
2699 : 35 : pari_err_PRIME(const char *f, GEN x) { pari_err(e_PRIME, f,x); }
2700 : : INLINE void
2701 : 714 : pari_err_MODULUS(const char *f, GEN x, GEN y) { pari_err(e_MODULUS, f,x,y); }
2702 : : INLINE void
2703 : 35 : pari_err_ROOTS0(const char *f) { pari_err(e_ROOTS0, f); }
2704 : : INLINE void
2705 : 77 : pari_err_SQRTN(const char *f, GEN x) { pari_err(e_SQRTN, f,x); }
2706 : : INLINE void
2707 : 10707 : pari_err_TYPE(const char *f, GEN x) { pari_err(e_TYPE, f,x); }
2708 : : INLINE void
2709 : 2793 : pari_err_TYPE2(const char *f, GEN x, GEN y) { pari_err(e_TYPE2, f,x,y); }
2710 : : INLINE void
2711 : 490 : pari_err_VAR(const char *f, GEN x, GEN y) { pari_err(e_VAR, f,x,y); }
2712 : : INLINE void
2713 : 77 : pari_err_PRIORITY(const char *f, GEN x, const char *op, long v)
2714 : 77 : { pari_err(e_PRIORITY, f,x,op,v); }
|
