| /dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/mpoly/ |
| H A D | exp_bits_required.c | 55 flint_bitcnt_t exp_bits; in mpoly_exp_bits_required_ffmpz() local
65 exp_bits = 1 + fmpz_bits(deg); in mpoly_exp_bits_required_ffmpz()
73 exp_bits = FLINT_MAX(exp_bits, fmpz_bits(user_exp + i)); in mpoly_exp_bits_required_ffmpz()
75 exp_bits += 1; in mpoly_exp_bits_required_ffmpz()
78 return exp_bits; in mpoly_exp_bits_required_ffmpz()
89 flint_bitcnt_t exp_bits; in mpoly_exp_bits_required_pfmpz() local
99 exp_bits = 1 + fmpz_bits(deg); in mpoly_exp_bits_required_pfmpz()
104 exp_bits = fmpz_bits(user_exp[0]); in mpoly_exp_bits_required_pfmpz()
107 exp_bits = FLINT_MAX(exp_bits, fmpz_bits(user_exp[i])); in mpoly_exp_bits_required_pfmpz()
109 exp_bits += 1; in mpoly_exp_bits_required_pfmpz()
[all …]
|
| /dports/math/e-antic/flint2-ae7ec89/mpoly/ |
| H A D | exp_bits_required.c | 55 flint_bitcnt_t exp_bits; in mpoly_exp_bits_required_ffmpz() local
65 exp_bits = 1 + fmpz_bits(deg); in mpoly_exp_bits_required_ffmpz()
73 exp_bits = FLINT_MAX(exp_bits, fmpz_bits(user_exp + i)); in mpoly_exp_bits_required_ffmpz()
75 exp_bits += 1; in mpoly_exp_bits_required_ffmpz()
78 return exp_bits; in mpoly_exp_bits_required_ffmpz()
89 flint_bitcnt_t exp_bits; in mpoly_exp_bits_required_pfmpz() local
99 exp_bits = 1 + fmpz_bits(deg); in mpoly_exp_bits_required_pfmpz()
104 exp_bits = fmpz_bits(user_exp[0]); in mpoly_exp_bits_required_pfmpz()
107 exp_bits = FLINT_MAX(exp_bits, fmpz_bits(user_exp[i])); in mpoly_exp_bits_required_pfmpz()
109 exp_bits += 1; in mpoly_exp_bits_required_pfmpz()
[all …]
|
| /dports/math/flint2/flint-2.8.4/mpoly/ |
| H A D | exp_bits_required.c | 55 flint_bitcnt_t exp_bits; in mpoly_exp_bits_required_ffmpz() local
65 exp_bits = 1 + fmpz_bits(deg); in mpoly_exp_bits_required_ffmpz()
73 exp_bits = FLINT_MAX(exp_bits, fmpz_bits(user_exp + i)); in mpoly_exp_bits_required_ffmpz()
75 exp_bits += 1; in mpoly_exp_bits_required_ffmpz()
78 return exp_bits; in mpoly_exp_bits_required_ffmpz()
89 flint_bitcnt_t exp_bits; in mpoly_exp_bits_required_pfmpz() local
99 exp_bits = 1 + fmpz_bits(deg); in mpoly_exp_bits_required_pfmpz()
104 exp_bits = fmpz_bits(user_exp[0]); in mpoly_exp_bits_required_pfmpz()
107 exp_bits = FLINT_MAX(exp_bits, fmpz_bits(user_exp[i])); in mpoly_exp_bits_required_pfmpz()
109 exp_bits += 1; in mpoly_exp_bits_required_pfmpz()
[all …]
|
| /dports/math/flint2/flint-2.8.4/nmod_mpoly/ |
| H A D | pow_ui.c | 17 slong i, exp_bits, N; in nmod_mpoly_pow_ui() local
63 exp_bits = FLINT_MAX(MPOLY_MIN_BITS, exp_bits + 1); in nmod_mpoly_pow_ui()
64 exp_bits = FLINT_MAX(exp_bits, B->bits); in nmod_mpoly_pow_ui()
65 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in nmod_mpoly_pow_ui()
66 N = mpoly_words_per_exp(exp_bits, ctx->minfo); in nmod_mpoly_pow_ui()
73 if (B->bits == exp_bits && B != A) in nmod_mpoly_pow_ui()
88 if (exp_bits > B->bits) in nmod_mpoly_pow_ui()
98 nmod_mpoly_init3(Atemp, B->length, exp_bits, ctx); in nmod_mpoly_pow_ui()
107 nmod_mpoly_init3(T, B->length, exp_bits, ctx); in nmod_mpoly_pow_ui()
110 mpoly_get_cmpmask(cmpmask, N, exp_bits, ctx->minfo); in nmod_mpoly_pow_ui()
[all …]
|
| H A D | push_term_ui_fmpz.c | 21 flint_bitcnt_t exp_bits; in _nmod_mpoly_push_exp_ffmpz() local
23 exp_bits = mpoly_exp_bits_required_ffmpz(exp, ctx->minfo); in _nmod_mpoly_push_exp_ffmpz()
24 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in _nmod_mpoly_push_exp_ffmpz()
25 nmod_mpoly_fit_length_fit_bits(A, old_length + 1, exp_bits, ctx); in _nmod_mpoly_push_exp_ffmpz()
39 flint_bitcnt_t exp_bits; in _nmod_mpoly_push_exp_pfmpz() local
41 exp_bits = mpoly_exp_bits_required_pfmpz(exp, ctx->minfo); in _nmod_mpoly_push_exp_pfmpz()
42 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in _nmod_mpoly_push_exp_pfmpz()
43 nmod_mpoly_fit_length_fit_bits(A, old_length + 1, exp_bits, ctx); in _nmod_mpoly_push_exp_pfmpz()
|
| /dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/nmod_mpoly/ |
| H A D | pow_ui.c | 19 slong i, exp_bits, N; in nmod_mpoly_pow_ui() local
74 exp_bits = FLINT_MAX(MPOLY_MIN_BITS, exp_bits + 1); in nmod_mpoly_pow_ui()
75 exp_bits = FLINT_MAX(exp_bits, B->bits); in nmod_mpoly_pow_ui()
76 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in nmod_mpoly_pow_ui()
81 N = mpoly_words_per_exp(exp_bits, ctx->minfo); in nmod_mpoly_pow_ui()
85 if (exp_bits > B->bits) in nmod_mpoly_pow_ui()
97 nmod_mpoly_fit_bits(A, exp_bits, ctx); in nmod_mpoly_pow_ui()
98 A->bits = exp_bits; in nmod_mpoly_pow_ui()
100 if (exp_bits <= FLINT_BITS) in nmod_mpoly_pow_ui()
117 T->bits = exp_bits; in nmod_mpoly_pow_ui()
[all …]
|
| H A D | push_term_ui_fmpz.c | 19 flint_bitcnt_t exp_bits; in _nmod_mpoly_push_exp_ffmpz() local
21 exp_bits = mpoly_exp_bits_required_ffmpz(exp, ctx->minfo); in _nmod_mpoly_push_exp_ffmpz()
22 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in _nmod_mpoly_push_exp_ffmpz()
23 nmod_mpoly_fit_bits(A, exp_bits, ctx); in _nmod_mpoly_push_exp_ffmpz()
37 flint_bitcnt_t exp_bits; in _nmod_mpoly_push_exp_pfmpz() local
39 exp_bits = mpoly_exp_bits_required_pfmpz(exp, ctx->minfo); in _nmod_mpoly_push_exp_pfmpz()
40 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in _nmod_mpoly_push_exp_pfmpz()
41 nmod_mpoly_fit_bits(A, exp_bits, ctx); in _nmod_mpoly_push_exp_pfmpz()
|
| /dports/math/e-antic/flint2-ae7ec89/nmod_mpoly/ |
| H A D | pow_ui.c | 19 slong i, exp_bits, N; in nmod_mpoly_pow_ui() local
74 exp_bits = FLINT_MAX(MPOLY_MIN_BITS, exp_bits + 1); in nmod_mpoly_pow_ui()
75 exp_bits = FLINT_MAX(exp_bits, B->bits); in nmod_mpoly_pow_ui()
76 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in nmod_mpoly_pow_ui()
81 N = mpoly_words_per_exp(exp_bits, ctx->minfo); in nmod_mpoly_pow_ui()
85 if (exp_bits > B->bits) in nmod_mpoly_pow_ui()
97 nmod_mpoly_fit_bits(A, exp_bits, ctx); in nmod_mpoly_pow_ui()
98 A->bits = exp_bits; in nmod_mpoly_pow_ui()
100 if (exp_bits <= FLINT_BITS) in nmod_mpoly_pow_ui()
117 T->bits = exp_bits; in nmod_mpoly_pow_ui()
[all …]
|
| H A D | push_term_ui_fmpz.c | 19 flint_bitcnt_t exp_bits; in _nmod_mpoly_push_exp_ffmpz() local
21 exp_bits = mpoly_exp_bits_required_ffmpz(exp, ctx->minfo); in _nmod_mpoly_push_exp_ffmpz()
22 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in _nmod_mpoly_push_exp_ffmpz()
23 nmod_mpoly_fit_bits(A, exp_bits, ctx); in _nmod_mpoly_push_exp_ffmpz()
37 flint_bitcnt_t exp_bits; in _nmod_mpoly_push_exp_pfmpz() local
39 exp_bits = mpoly_exp_bits_required_pfmpz(exp, ctx->minfo); in _nmod_mpoly_push_exp_pfmpz()
40 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in _nmod_mpoly_push_exp_pfmpz()
41 nmod_mpoly_fit_bits(A, exp_bits, ctx); in _nmod_mpoly_push_exp_pfmpz()
|
| /dports/math/flexfloat/flexfloat-6db869087a12d763a94d53e9b0a9d52def270865/include/ |
| H A D | flexfloat.hpp | 209 v.desc.exp_bits = exp_bits; in flexfloat()
215 v.desc.exp_bits = exp_bits; in flexfloat()
224 v.desc.exp_bits = exp_bits; in operator =()
243 v.desc.exp_bits = exp_bits; in flexfloat()
259 v.desc.exp_bits = exp_bits; in flexfloat()
300 else ops_stats[make_precision(exp_bits, frac_bits)].minus++; in operator -()
318 else ops_stats[make_precision(exp_bits, frac_bits)].add++; in operator +()
330 else ops_stats[make_precision(exp_bits, frac_bits)].sub++; in operator -()
342 else ops_stats[make_precision(exp_bits, frac_bits)].mul++; in operator *()
354 else ops_stats[make_precision(exp_bits, frac_bits)].div++; in operator /()
[all …]
|
| /dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/fq_nmod_mpoly/ |
| H A D | divrem_monagan_pearce.c | 280 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in fq_nmod_mpoly_divrem_monagan_pearce()
287 if (exp_bits > poly2->bits) in fq_nmod_mpoly_divrem_monagan_pearce()
295 if (exp_bits > poly3->bits) in fq_nmod_mpoly_divrem_monagan_pearce()
316 temp1->bits = exp_bits; in fq_nmod_mpoly_divrem_monagan_pearce()
323 q->bits = exp_bits; in fq_nmod_mpoly_divrem_monagan_pearce()
331 temp2->bits = exp_bits; in fq_nmod_mpoly_divrem_monagan_pearce()
338 r->bits = exp_bits; in fq_nmod_mpoly_divrem_monagan_pearce()
350 slong old_exp_bits = exp_bits; in fq_nmod_mpoly_divrem_monagan_pearce()
352 exp_bits = mpoly_fix_bits(exp_bits + 1, ctx->minfo); in fq_nmod_mpoly_divrem_monagan_pearce()
375 tq->bits = exp_bits; in fq_nmod_mpoly_divrem_monagan_pearce()
[all …]
|
| H A D | push_term_fq_nmod_fmpz.c | 19 flint_bitcnt_t exp_bits; in _fq_nmod_mpoly_push_exp_ffmpz() local
21 exp_bits = mpoly_exp_bits_required_ffmpz(exp, ctx->minfo); in _fq_nmod_mpoly_push_exp_ffmpz()
22 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in _fq_nmod_mpoly_push_exp_ffmpz()
23 fq_nmod_mpoly_fit_bits(A, exp_bits, ctx); in _fq_nmod_mpoly_push_exp_ffmpz()
36 flint_bitcnt_t exp_bits; in _fq_nmod_mpoly_push_exp_pfmpz() local
38 exp_bits = mpoly_exp_bits_required_pfmpz(exp, ctx->minfo); in _fq_nmod_mpoly_push_exp_pfmpz()
39 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in _fq_nmod_mpoly_push_exp_pfmpz()
40 fq_nmod_mpoly_fit_bits(A, exp_bits, ctx); in _fq_nmod_mpoly_push_exp_pfmpz()
|
| H A D | mul_johnson.c | 173 flint_bitcnt_t exp_bits; in fq_nmod_mpoly_mul_johnson() local
202 exp_bits = FLINT_MAX(MPOLY_MIN_BITS, exp_bits + 1); in fq_nmod_mpoly_mul_johnson()
203 exp_bits = FLINT_MAX(exp_bits, poly2->bits); in fq_nmod_mpoly_mul_johnson()
204 exp_bits = FLINT_MAX(exp_bits, poly3->bits); in fq_nmod_mpoly_mul_johnson()
205 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in fq_nmod_mpoly_mul_johnson()
213 N = mpoly_words_per_exp(exp_bits, ctx->minfo); in fq_nmod_mpoly_mul_johnson()
218 if (exp_bits > poly2->bits) in fq_nmod_mpoly_mul_johnson()
226 if (exp_bits > poly3->bits) in fq_nmod_mpoly_mul_johnson()
240 fq_nmod_mpoly_fit_bits(temp, exp_bits, ctx); in fq_nmod_mpoly_mul_johnson()
241 temp->bits = exp_bits; in fq_nmod_mpoly_mul_johnson()
[all …]
|
| /dports/math/e-antic/flint2-ae7ec89/fq_nmod_mpoly/ |
| H A D | divrem_monagan_pearce.c | 280 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in fq_nmod_mpoly_divrem_monagan_pearce()
287 if (exp_bits > poly2->bits) in fq_nmod_mpoly_divrem_monagan_pearce()
295 if (exp_bits > poly3->bits) in fq_nmod_mpoly_divrem_monagan_pearce()
316 temp1->bits = exp_bits; in fq_nmod_mpoly_divrem_monagan_pearce()
323 q->bits = exp_bits; in fq_nmod_mpoly_divrem_monagan_pearce()
331 temp2->bits = exp_bits; in fq_nmod_mpoly_divrem_monagan_pearce()
338 r->bits = exp_bits; in fq_nmod_mpoly_divrem_monagan_pearce()
350 slong old_exp_bits = exp_bits; in fq_nmod_mpoly_divrem_monagan_pearce()
352 exp_bits = mpoly_fix_bits(exp_bits + 1, ctx->minfo); in fq_nmod_mpoly_divrem_monagan_pearce()
375 tq->bits = exp_bits; in fq_nmod_mpoly_divrem_monagan_pearce()
[all …]
|
| H A D | push_term_fq_nmod_fmpz.c | 19 flint_bitcnt_t exp_bits; in _fq_nmod_mpoly_push_exp_ffmpz() local
21 exp_bits = mpoly_exp_bits_required_ffmpz(exp, ctx->minfo); in _fq_nmod_mpoly_push_exp_ffmpz()
22 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in _fq_nmod_mpoly_push_exp_ffmpz()
23 fq_nmod_mpoly_fit_bits(A, exp_bits, ctx); in _fq_nmod_mpoly_push_exp_ffmpz()
36 flint_bitcnt_t exp_bits; in _fq_nmod_mpoly_push_exp_pfmpz() local
38 exp_bits = mpoly_exp_bits_required_pfmpz(exp, ctx->minfo); in _fq_nmod_mpoly_push_exp_pfmpz()
39 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in _fq_nmod_mpoly_push_exp_pfmpz()
40 fq_nmod_mpoly_fit_bits(A, exp_bits, ctx); in _fq_nmod_mpoly_push_exp_pfmpz()
|
| H A D | mul_johnson.c | 173 flint_bitcnt_t exp_bits; in fq_nmod_mpoly_mul_johnson() local
202 exp_bits = FLINT_MAX(MPOLY_MIN_BITS, exp_bits + 1); in fq_nmod_mpoly_mul_johnson()
203 exp_bits = FLINT_MAX(exp_bits, poly2->bits); in fq_nmod_mpoly_mul_johnson()
204 exp_bits = FLINT_MAX(exp_bits, poly3->bits); in fq_nmod_mpoly_mul_johnson()
205 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in fq_nmod_mpoly_mul_johnson()
213 N = mpoly_words_per_exp(exp_bits, ctx->minfo); in fq_nmod_mpoly_mul_johnson()
218 if (exp_bits > poly2->bits) in fq_nmod_mpoly_mul_johnson()
226 if (exp_bits > poly3->bits) in fq_nmod_mpoly_mul_johnson()
240 fq_nmod_mpoly_fit_bits(temp, exp_bits, ctx); in fq_nmod_mpoly_mul_johnson()
241 temp->bits = exp_bits; in fq_nmod_mpoly_mul_johnson()
[all …]
|
| /dports/math/flint2/flint-2.8.4/fq_zech_mpoly/ |
| H A D | divrem_monagan_pearce.c | 269 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in fq_zech_mpoly_divrem_monagan_pearce()
276 if (exp_bits > poly2->bits) in fq_zech_mpoly_divrem_monagan_pearce()
284 if (exp_bits > poly3->bits) in fq_zech_mpoly_divrem_monagan_pearce()
305 temp1->bits = exp_bits; in fq_zech_mpoly_divrem_monagan_pearce()
312 q->bits = exp_bits; in fq_zech_mpoly_divrem_monagan_pearce()
320 temp2->bits = exp_bits; in fq_zech_mpoly_divrem_monagan_pearce()
327 r->bits = exp_bits; in fq_zech_mpoly_divrem_monagan_pearce()
339 slong old_exp_bits = exp_bits; in fq_zech_mpoly_divrem_monagan_pearce()
341 exp_bits = mpoly_fix_bits(exp_bits + 1, ctx->minfo); in fq_zech_mpoly_divrem_monagan_pearce()
364 tq->bits = exp_bits; in fq_zech_mpoly_divrem_monagan_pearce()
[all …]
|
| /dports/math/flint2/flint-2.8.4/fq_nmod_mpoly/ |
| H A D | push_term_fq_nmod_fmpz.c | 22 flint_bitcnt_t exp_bits; in _fq_nmod_mpoly_push_exp_ffmpz() local
24 exp_bits = mpoly_exp_bits_required_ffmpz(exp, ctx->minfo); in _fq_nmod_mpoly_push_exp_ffmpz()
25 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in _fq_nmod_mpoly_push_exp_ffmpz()
26 fq_nmod_mpoly_fit_length_fit_bits(A, old_length + 1, exp_bits, ctx); in _fq_nmod_mpoly_push_exp_ffmpz()
41 flint_bitcnt_t exp_bits; in _fq_nmod_mpoly_push_exp_pfmpz() local
43 exp_bits = mpoly_exp_bits_required_pfmpz(exp, ctx->minfo); in _fq_nmod_mpoly_push_exp_pfmpz()
44 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in _fq_nmod_mpoly_push_exp_pfmpz()
45 fq_nmod_mpoly_fit_length_fit_bits(A, old_length + 1, exp_bits, ctx); in _fq_nmod_mpoly_push_exp_pfmpz()
|
| /dports/math/flint2/flint-2.8.4/fmpz_mod_mpoly/test/ |
| H A D | t-add_sub.c | 31 flint_bitcnt_t exp_bits, exp_bits1, exp_bits2; in main() local
44 exp_bits = n_randint(state, 200) + 2; in main()
79 flint_bitcnt_t exp_bits, exp_bits1, exp_bits2; in main() local
92 exp_bits = n_randint(state, 200) + 2; in main()
127 flint_bitcnt_t exp_bits, exp_bits1, exp_bits2; in main() local
140 exp_bits = n_randint(state, 200) + 2; in main()
176 flint_bitcnt_t exp_bits, exp_bits1, exp_bits2; in main() local
190 exp_bits = n_randint(state, 200) + 2; in main()
229 flint_bitcnt_t exp_bits, exp_bits1, exp_bits2; in main() local
243 exp_bits = n_randint(state, 200) + 2; in main()
[all …]
|
| /dports/math/flexfloat/flexfloat-6db869087a12d763a94d53e9b0a9d52def270865/src/ |
| H A D | flexfloat.c | 428 if(desc.exp_bits != source->desc.exp_bits || desc.frac_bits != source->desc.frac_bits) in ff_cast()
472 (a->desc.exp_bits == b->desc.exp_bits) && (a->desc.frac_bits == b->desc.frac_bits)); in ff_add()
486 (a->desc.exp_bits == b->desc.exp_bits) && (a->desc.frac_bits == b->desc.frac_bits)); in ff_sub()
500 (a->desc.exp_bits == b->desc.exp_bits) && (a->desc.frac_bits == b->desc.frac_bits)); in ff_mul()
514 (a->desc.exp_bits == b->desc.exp_bits) && (a->desc.frac_bits == b->desc.frac_bits)); in ff_div()
541 (a->desc.exp_bits == b->desc.exp_bits) && (a->desc.frac_bits == b->desc.frac_bits)); in ff_min()
560 (a->desc.exp_bits == b->desc.exp_bits) && (a->desc.frac_bits == b->desc.frac_bits)); in ff_max()
580 (b->desc.exp_bits == c->desc.exp_bits) && (b->desc.frac_bits == c->desc.frac_bits)); in ff_fma()
615 assert((a->desc.exp_bits == b->desc.exp_bits) && (a->desc.frac_bits == b->desc.frac_bits)); in ff_eq()
631 assert((a->desc.exp_bits == b->desc.exp_bits) && (a->desc.frac_bits == b->desc.frac_bits)); in ff_le()
[all …]
|
| /dports/math/e-antic/flint2-ae7ec89/fmpz_mpoly/ |
| H A D | integral.c | 104 slong i, len1, exp_bits; in fmpz_mpoly_integral() local
125 exp_bits = _fmpz_vec_max_bits(max_fields, ctx->minfo->nfields); in fmpz_mpoly_integral()
126 exp_bits = FLINT_MAX(MPOLY_MIN_BITS, exp_bits + 1); in fmpz_mpoly_integral()
127 exp_bits = FLINT_MAX(exp_bits, poly2->bits); in fmpz_mpoly_integral()
128 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in fmpz_mpoly_integral()
138 if (exp_bits > poly2->bits) in fmpz_mpoly_integral()
140 slong N = mpoly_words_per_exp(exp_bits, ctx->minfo); in fmpz_mpoly_integral()
153 fmpz_mpoly_fit_bits(temp, exp_bits, ctx); in fmpz_mpoly_integral()
154 temp->bits = exp_bits; in fmpz_mpoly_integral()
166 fmpz_mpoly_fit_bits(poly1, exp_bits, ctx); in fmpz_mpoly_integral()
[all …]
|
| H A D | push_term_fmpz_fmpz.c | 19 flint_bitcnt_t exp_bits; in _fmpz_mpoly_push_exp_ffmpz() local
21 exp_bits = mpoly_exp_bits_required_ffmpz(exp, ctx->minfo); in _fmpz_mpoly_push_exp_ffmpz()
22 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in _fmpz_mpoly_push_exp_ffmpz()
23 fmpz_mpoly_fit_bits(A, exp_bits, ctx); in _fmpz_mpoly_push_exp_ffmpz()
37 flint_bitcnt_t exp_bits; in _fmpz_mpoly_push_exp_pfmpz() local
39 exp_bits = mpoly_exp_bits_required_pfmpz(exp, ctx->minfo); in _fmpz_mpoly_push_exp_pfmpz()
40 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in _fmpz_mpoly_push_exp_pfmpz()
41 fmpz_mpoly_fit_bits(A, exp_bits, ctx); in _fmpz_mpoly_push_exp_pfmpz()
|
| /dports/math/flint2/flint-2.8.4/fmpz_mpoly/ |
| H A D | integral.c | 104 slong i, len1, exp_bits; in fmpz_mpoly_integral() local
125 exp_bits = _fmpz_vec_max_bits(max_fields, ctx->minfo->nfields); in fmpz_mpoly_integral()
126 exp_bits = FLINT_MAX(MPOLY_MIN_BITS, exp_bits + 1); in fmpz_mpoly_integral()
127 exp_bits = FLINT_MAX(exp_bits, poly2->bits); in fmpz_mpoly_integral()
128 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in fmpz_mpoly_integral()
138 if (exp_bits > poly2->bits) in fmpz_mpoly_integral()
140 slong N = mpoly_words_per_exp(exp_bits, ctx->minfo); in fmpz_mpoly_integral()
153 fmpz_mpoly_fit_bits(temp, exp_bits, ctx); in fmpz_mpoly_integral()
154 temp->bits = exp_bits; in fmpz_mpoly_integral()
166 fmpz_mpoly_fit_bits(poly1, exp_bits, ctx); in fmpz_mpoly_integral()
[all …]
|
| /dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/fmpz_mpoly/ |
| H A D | integral.c | 104 slong i, len1, exp_bits; in fmpz_mpoly_integral() local
125 exp_bits = _fmpz_vec_max_bits(max_fields, ctx->minfo->nfields); in fmpz_mpoly_integral()
126 exp_bits = FLINT_MAX(MPOLY_MIN_BITS, exp_bits + 1); in fmpz_mpoly_integral()
127 exp_bits = FLINT_MAX(exp_bits, poly2->bits); in fmpz_mpoly_integral()
128 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in fmpz_mpoly_integral()
138 if (exp_bits > poly2->bits) in fmpz_mpoly_integral()
140 slong N = mpoly_words_per_exp(exp_bits, ctx->minfo); in fmpz_mpoly_integral()
153 fmpz_mpoly_fit_bits(temp, exp_bits, ctx); in fmpz_mpoly_integral()
154 temp->bits = exp_bits; in fmpz_mpoly_integral()
166 fmpz_mpoly_fit_bits(poly1, exp_bits, ctx); in fmpz_mpoly_integral()
[all …]
|
| /dports/math/flint2/flint-2.8.4/fmpz_mod_mpoly/ |
| H A D | push_term_fmpz_fmpz.c | 21 flint_bitcnt_t exp_bits; in _fmpz_mod_mpoly_push_exp_ffmpz() local
23 exp_bits = mpoly_exp_bits_required_ffmpz(exp, ctx->minfo); in _fmpz_mod_mpoly_push_exp_ffmpz()
24 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in _fmpz_mod_mpoly_push_exp_ffmpz()
25 fmpz_mod_mpoly_fit_length_fit_bits(A, old_length + 1, exp_bits, ctx); in _fmpz_mod_mpoly_push_exp_ffmpz()
39 flint_bitcnt_t exp_bits; in _fmpz_mod_mpoly_push_exp_pfmpz() local
41 exp_bits = mpoly_exp_bits_required_pfmpz(exp, ctx->minfo); in _fmpz_mod_mpoly_push_exp_pfmpz()
42 exp_bits = mpoly_fix_bits(exp_bits, ctx->minfo); in _fmpz_mod_mpoly_push_exp_pfmpz()
43 fmpz_mod_mpoly_fit_length_fit_bits(A, old_length + 1, exp_bits, ctx); in _fmpz_mod_mpoly_push_exp_pfmpz()
|