Home
last modified time | relevance | path

Searched refs:Beval (Results 1 – 25 of 48) sorted by relevance

12

/dports/math/flint2/flint-2.8.4/fq_nmod_mpoly/
H A Dgcd_zippel.c34 fq_nmod_mpolyu_t Aeval, Beval, Geval; in fq_nmod_mpolyu_gcdm_zippel_bivar() local
81 fq_nmod_mpolyu_init(Beval, A->bits, ectx); in fq_nmod_mpolyu_gcdm_zippel_bivar()
111 if (Aeval->length == 0 || Beval->length == 0) in fq_nmod_mpolyu_gcdm_zippel_bivar()
115 FLINT_ASSERT(fq_nmod_mpolyu_is_canonical(Beval, ectx)); in fq_nmod_mpolyu_gcdm_zippel_bivar()
201 fq_nmod_mpolyu_clear(Beval, ectx); in fq_nmod_mpolyu_gcdm_zippel_bivar()
297 fq_nmod_mpolyu_init(Beval, A->bits, ectx); in fq_nmod_mpolyu_gcdm_zippel()
332 if (Aeval->length == 0 || Beval->length == 0) in fq_nmod_mpolyu_gcdm_zippel()
336 FLINT_ASSERT(fq_nmod_mpolyu_is_canonical(Beval, ectx)); in fq_nmod_mpolyu_gcdm_zippel()
387 if (Aeval->length == 0 || Beval->length == 0) in fq_nmod_mpolyu_gcdm_zippel()
390 switch (fq_nmod_mpolyu_gcds_zippel(Geval, Aeval, Beval, Gform, in fq_nmod_mpolyu_gcdm_zippel()
[all …]
H A Dmpolyn_gcd_brown.c57 fq_nmod_poly_init(Beval, ctx->fqctx); in fq_nmod_mpolyn_gcd_brown_smprime_bivar()
116 FLINT_ASSERT(Beval->length > 0); in fq_nmod_mpolyn_gcd_brown_smprime_bivar()
233 fq_nmod_poly_clear(Beval, ctx->fqctx); in fq_nmod_mpolyn_gcd_brown_smprime_bivar()
305 fq_nmod_mpolyn_init(Beval, bits, ctx); in fq_nmod_mpolyn_gcd_brown_smprime()
358 FLINT_ASSERT(Beval->length > 0); in fq_nmod_mpolyn_gcd_brown_smprime()
496 fq_nmod_mpolyn_clear(Beval, ctx); in fq_nmod_mpolyn_gcd_brown_smprime()
587 fq_nmod_poly_init(Beval, ectx->fqctx); in fq_nmod_mpolyn_gcd_brown_lgprime_bivar()
619 if (Aeval->length == 0 || Beval->length == 0) in fq_nmod_mpolyn_gcd_brown_lgprime_bivar()
748 fq_nmod_poly_clear(Beval, ectx->fqctx); in fq_nmod_mpolyn_gcd_brown_lgprime_bivar()
851 fq_nmod_mpolyn_init(Beval, bits, ectx); in fq_nmod_mpolyn_gcd_brown_lgprime()
[all …]
H A Dmpolyu_gcdp_zippel.c381 fq_nmod_poly_t Aeval, Beval, Geval; in fq_nmod_mpolyu_gcds_zippel() local
453 fq_nmod_poly_init(Beval, ctx->fqctx); in fq_nmod_mpolyu_gcds_zippel()
598 fq_nmod_poly_gcd(Geval, Aeval, Beval, ctx->fqctx); in fq_nmod_mpolyu_gcds_zippel()
833 fq_nmod_poly_clear(Beval, ctx->fqctx); in fq_nmod_mpolyu_gcds_zippel()
955 fq_nmod_mpolyu_t Aeval, Beval, Geval; in fq_nmod_mpolyu_gcdp_zippel_bivar() local
1012 fq_nmod_mpolyu_init(Beval, A->bits, ctx); in fq_nmod_mpolyu_gcdp_zippel_bivar()
1059 if (Aeval->length == 0 || Beval->length == 0) in fq_nmod_mpolyu_gcdp_zippel_bivar()
1163 fq_nmod_mpolyu_clear(Beval, ctx); in fq_nmod_mpolyu_gcdp_zippel_bivar()
1269 fq_nmod_mpolyu_init(Beval, A->bits, ctx); in fq_nmod_mpolyu_gcdp_zippel()
1322 if (Aeval->length == 0 || Beval->length == 0) in fq_nmod_mpolyu_gcdp_zippel()
[all …]
/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/fq_nmod_mpoly/
H A Dgcd_zippel.c35 fq_nmod_mpolyu_t Aeval, Beval, Geval; in fq_nmod_mpolyu_gcdm_zippel_bivar() local
78 fq_nmod_mpolyu_init(Beval, A->bits, ectx); in fq_nmod_mpolyu_gcdm_zippel_bivar()
108 if (Aeval->length == 0 || Beval->length == 0) in fq_nmod_mpolyu_gcdm_zippel_bivar()
112 FLINT_ASSERT(fq_nmod_mpolyu_is_canonical(Beval, ectx)); in fq_nmod_mpolyu_gcdm_zippel_bivar()
194 fq_nmod_mpolyu_clear(Beval, ectx); in fq_nmod_mpolyu_gcdm_zippel_bivar()
287 fq_nmod_mpolyu_init(Beval, A->bits, ectx); in fq_nmod_mpolyu_gcdm_zippel()
322 if (Aeval->length == 0 || Beval->length == 0) in fq_nmod_mpolyu_gcdm_zippel()
326 FLINT_ASSERT(fq_nmod_mpolyu_is_canonical(Beval, ectx)); in fq_nmod_mpolyu_gcdm_zippel()
374 if (Aeval->length == 0 || Beval->length == 0) in fq_nmod_mpolyu_gcdm_zippel()
377 switch (fq_nmod_mpolyu_gcds_zippel(Geval, Aeval, Beval, Gform, in fq_nmod_mpolyu_gcdm_zippel()
[all …]
H A Dmpolyn_gcd_brown.c57 fq_nmod_poly_init(Beval, ctx->fqctx); in fq_nmod_mpolyn_gcd_brown_smprime_bivar()
115 FLINT_ASSERT(Beval->length > 0); in fq_nmod_mpolyn_gcd_brown_smprime_bivar()
228 fq_nmod_poly_clear(Beval, ctx->fqctx); in fq_nmod_mpolyn_gcd_brown_smprime_bivar()
300 fq_nmod_mpolyn_init(Beval, bits, ctx); in fq_nmod_mpolyn_gcd_brown_smprime()
352 FLINT_ASSERT(Beval->length > 0); in fq_nmod_mpolyn_gcd_brown_smprime()
483 fq_nmod_mpolyn_clear(Beval, ctx); in fq_nmod_mpolyn_gcd_brown_smprime()
572 fq_nmod_poly_init(Beval, ectx->fqctx); in fq_nmod_mpolyn_gcd_brown_lgprime_bivar()
604 if (Aeval->length == 0 || Beval->length == 0) in fq_nmod_mpolyn_gcd_brown_lgprime_bivar()
729 fq_nmod_poly_clear(Beval, ectx->fqctx); in fq_nmod_mpolyn_gcd_brown_lgprime_bivar()
830 fq_nmod_mpolyn_init(Beval, bits, ectx); in fq_nmod_mpolyn_gcd_brown_lgprime()
[all …]
H A Dmpolyu_gcdp_zippel.c269 fq_nmod_poly_t Aeval, Beval, Geval; in fq_nmod_mpolyu_gcds_zippel() local
341 fq_nmod_poly_init(Beval, ctx->fqctx); in fq_nmod_mpolyu_gcds_zippel()
486 fq_nmod_poly_gcd(Geval, Aeval, Beval, ctx->fqctx); in fq_nmod_mpolyu_gcds_zippel()
720 fq_nmod_poly_clear(Beval, ctx->fqctx); in fq_nmod_mpolyu_gcds_zippel()
840 fq_nmod_mpolyu_t Aeval, Beval, Geval; in fq_nmod_mpolyu_gcdp_zippel_bivar() local
893 fq_nmod_mpolyu_init(Beval, A->bits, ctx); in fq_nmod_mpolyu_gcdp_zippel_bivar()
940 if (Aeval->length == 0 || Beval->length == 0) in fq_nmod_mpolyu_gcdp_zippel_bivar()
1042 fq_nmod_mpolyu_clear(Beval, ctx); in fq_nmod_mpolyu_gcdp_zippel_bivar()
1144 fq_nmod_mpolyu_init(Beval, A->bits, ctx); in fq_nmod_mpolyu_gcdp_zippel()
1197 if (Aeval->length == 0 || Beval->length == 0) in fq_nmod_mpolyu_gcdp_zippel()
[all …]
/dports/math/e-antic/flint2-ae7ec89/fq_nmod_mpoly/
H A Dgcd_zippel.c35 fq_nmod_mpolyu_t Aeval, Beval, Geval; in fq_nmod_mpolyu_gcdm_zippel_bivar() local
78 fq_nmod_mpolyu_init(Beval, A->bits, ectx); in fq_nmod_mpolyu_gcdm_zippel_bivar()
108 if (Aeval->length == 0 || Beval->length == 0) in fq_nmod_mpolyu_gcdm_zippel_bivar()
112 FLINT_ASSERT(fq_nmod_mpolyu_is_canonical(Beval, ectx)); in fq_nmod_mpolyu_gcdm_zippel_bivar()
194 fq_nmod_mpolyu_clear(Beval, ectx); in fq_nmod_mpolyu_gcdm_zippel_bivar()
287 fq_nmod_mpolyu_init(Beval, A->bits, ectx); in fq_nmod_mpolyu_gcdm_zippel()
322 if (Aeval->length == 0 || Beval->length == 0) in fq_nmod_mpolyu_gcdm_zippel()
326 FLINT_ASSERT(fq_nmod_mpolyu_is_canonical(Beval, ectx)); in fq_nmod_mpolyu_gcdm_zippel()
374 if (Aeval->length == 0 || Beval->length == 0) in fq_nmod_mpolyu_gcdm_zippel()
377 switch (fq_nmod_mpolyu_gcds_zippel(Geval, Aeval, Beval, Gform, in fq_nmod_mpolyu_gcdm_zippel()
[all …]
H A Dmpolyn_gcd_brown.c57 fq_nmod_poly_init(Beval, ctx->fqctx); in fq_nmod_mpolyn_gcd_brown_smprime_bivar()
115 FLINT_ASSERT(Beval->length > 0); in fq_nmod_mpolyn_gcd_brown_smprime_bivar()
228 fq_nmod_poly_clear(Beval, ctx->fqctx); in fq_nmod_mpolyn_gcd_brown_smprime_bivar()
300 fq_nmod_mpolyn_init(Beval, bits, ctx); in fq_nmod_mpolyn_gcd_brown_smprime()
352 FLINT_ASSERT(Beval->length > 0); in fq_nmod_mpolyn_gcd_brown_smprime()
483 fq_nmod_mpolyn_clear(Beval, ctx); in fq_nmod_mpolyn_gcd_brown_smprime()
572 fq_nmod_poly_init(Beval, ectx->fqctx); in fq_nmod_mpolyn_gcd_brown_lgprime_bivar()
604 if (Aeval->length == 0 || Beval->length == 0) in fq_nmod_mpolyn_gcd_brown_lgprime_bivar()
729 fq_nmod_poly_clear(Beval, ectx->fqctx); in fq_nmod_mpolyn_gcd_brown_lgprime_bivar()
830 fq_nmod_mpolyn_init(Beval, bits, ectx); in fq_nmod_mpolyn_gcd_brown_lgprime()
[all …]
H A Dmpolyu_gcdp_zippel.c269 fq_nmod_poly_t Aeval, Beval, Geval; in fq_nmod_mpolyu_gcds_zippel() local
341 fq_nmod_poly_init(Beval, ctx->fqctx); in fq_nmod_mpolyu_gcds_zippel()
486 fq_nmod_poly_gcd(Geval, Aeval, Beval, ctx->fqctx); in fq_nmod_mpolyu_gcds_zippel()
720 fq_nmod_poly_clear(Beval, ctx->fqctx); in fq_nmod_mpolyu_gcds_zippel()
840 fq_nmod_mpolyu_t Aeval, Beval, Geval; in fq_nmod_mpolyu_gcdp_zippel_bivar() local
893 fq_nmod_mpolyu_init(Beval, A->bits, ctx); in fq_nmod_mpolyu_gcdp_zippel_bivar()
940 if (Aeval->length == 0 || Beval->length == 0) in fq_nmod_mpolyu_gcdp_zippel_bivar()
1042 fq_nmod_mpolyu_clear(Beval, ctx); in fq_nmod_mpolyu_gcdp_zippel_bivar()
1144 fq_nmod_mpolyu_init(Beval, A->bits, ctx); in fq_nmod_mpolyu_gcdp_zippel()
1197 if (Aeval->length == 0 || Beval->length == 0) in fq_nmod_mpolyu_gcdp_zippel()
[all …]
/dports/math/e-antic/flint2-ae7ec89/fmpz_mod_mpoly/
H A Dmpolyn_gcd_brown.c26 fmpz_mod_poly_t Aeval, Beval, Geval, Abareval, Bbareval; in fmpz_mod_mpolyn_gcd_brown_bivar() local
66 fmpz_mod_poly_init(Beval, fmpz_mod_ctx_modulus(ctx->ffinfo)); in fmpz_mod_mpolyn_gcd_brown_bivar()
115 fmpz_mod_mpolyn_intp_reduce_sm_poly(Beval, B, alpha, ctx); in fmpz_mod_mpolyn_gcd_brown_bivar()
117 FLINT_ASSERT(Beval->length > 0); in fmpz_mod_mpolyn_gcd_brown_bivar()
119 fmpz_mod_poly_gcd(Geval, Aeval, Beval); in fmpz_mod_mpolyn_gcd_brown_bivar()
122 fmpz_mod_poly_divrem(Bbareval, r, Beval, Geval); in fmpz_mod_mpolyn_gcd_brown_bivar()
236 fmpz_mod_poly_clear(Beval); in fmpz_mod_mpolyn_gcd_brown_bivar()
/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/fmpz_mod_mpoly/
H A Dmpolyn_gcd_brown.c26 fmpz_mod_poly_t Aeval, Beval, Geval, Abareval, Bbareval; in fmpz_mod_mpolyn_gcd_brown_bivar() local
66 fmpz_mod_poly_init(Beval, fmpz_mod_ctx_modulus(ctx->ffinfo)); in fmpz_mod_mpolyn_gcd_brown_bivar()
115 fmpz_mod_mpolyn_intp_reduce_sm_poly(Beval, B, alpha, ctx); in fmpz_mod_mpolyn_gcd_brown_bivar()
117 FLINT_ASSERT(Beval->length > 0); in fmpz_mod_mpolyn_gcd_brown_bivar()
119 fmpz_mod_poly_gcd(Geval, Aeval, Beval); in fmpz_mod_mpolyn_gcd_brown_bivar()
122 fmpz_mod_poly_divrem(Bbareval, r, Beval, Geval); in fmpz_mod_mpolyn_gcd_brown_bivar()
236 fmpz_mod_poly_clear(Beval); in fmpz_mod_mpolyn_gcd_brown_bivar()
/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/nmod_mpoly/
H A Dmpolyu_gcdp_zippel.c194 nmod_poly_t Aeval, Beval, Geval; in nmod_mpolyu_gcds_zippel() local
260 nmod_poly_init(Beval, ctx->ffinfo->mod.n); in nmod_mpolyu_gcds_zippel()
396 nmod_poly_gcd(Geval, Aeval, Beval); in nmod_mpolyu_gcds_zippel()
599 nmod_poly_clear(Beval); in nmod_mpolyu_gcds_zippel()
677 nmod_mpolyu_t Aeval, Beval, Geval; in nmod_mpolyu_gcdp_zippel_bivar() local
725 nmod_mpolyu_init(Beval, A->bits, ctx); in nmod_mpolyu_gcdp_zippel_bivar()
758 if (Aeval->length == 0 || Beval->length == 0) in nmod_mpolyu_gcdp_zippel_bivar()
852 nmod_mpolyu_clear(Beval, ctx); in nmod_mpolyu_gcdp_zippel_bivar()
947 nmod_mpolyu_init(Beval, A->bits, ctx); in nmod_mpolyu_gcdp_zippel()
997 if (Aeval->length == 0 || Beval->length == 0) in nmod_mpolyu_gcdp_zippel()
[all …]
H A Dgcd_zippel.c33 fq_nmod_mpolyu_t Aeval, Beval, Geval; in nmod_mpolyu_gcdm_zippel_bivar() local
76 fq_nmod_mpolyu_init(Beval, A->bits, ffctx); in nmod_mpolyu_gcdm_zippel_bivar()
96 fq_nmod_mpolyu_clear(Beval, ffctx); in nmod_mpolyu_gcdm_zippel_bivar()
104 fq_nmod_mpolyu_init(Beval, A->bits, ffctx); in nmod_mpolyu_gcdm_zippel_bivar()
116 nmod_mpolyun_interp_reduce_lg_mpolyu(Beval, Bn, ffctx, ctx); in nmod_mpolyu_gcdm_zippel_bivar()
117 if (Aeval->length == 0 || Beval->length == 0) in nmod_mpolyu_gcdm_zippel_bivar()
121 FLINT_ASSERT(fq_nmod_mpolyu_is_canonical(Beval, ffctx)); in nmod_mpolyu_gcdm_zippel_bivar()
123 fq_nmod_mpolyu_gcdp_zippel_univar_no_cofactors(Geval, Aeval, Beval, ffctx); in nmod_mpolyu_gcdm_zippel_bivar()
208 fq_nmod_mpolyu_clear(Beval, ffctx); in nmod_mpolyu_gcdm_zippel_bivar()
H A Dmpolyn_gcd_brown.c705 fq_nmod_poly_t Aeval, Beval, Geval, Abareval, Bbareval; in nmod_mpolyn_gcd_brown_lgprime_bivar() local
762 fq_nmod_poly_init(Beval, ectx->fqctx); in nmod_mpolyn_gcd_brown_lgprime_bivar()
796 nmod_mpolyn_interp_reduce_lg_poly(Beval, ectx->fqctx, B, ctx); in nmod_mpolyn_gcd_brown_lgprime_bivar()
798 FLINT_ASSERT(Beval->length > 0); in nmod_mpolyn_gcd_brown_lgprime_bivar()
800 fq_nmod_poly_gcd(Geval, Aeval, Beval, ectx->fqctx); in nmod_mpolyn_gcd_brown_lgprime_bivar()
917 fq_nmod_poly_clear(Beval, ectx->fqctx); in nmod_mpolyn_gcd_brown_lgprime_bivar()
942 fq_nmod_mpolyn_t Aeval, Beval, Geval, Abareval, Bbareval; in nmod_mpolyn_gcd_brown_lgprime() local
1006 fq_nmod_mpolyn_init(Beval, bits, ectx); in nmod_mpolyn_gcd_brown_lgprime()
1042 FLINT_ASSERT(fq_nmod_mpolyn_is_canonical(Beval, ectx)); in nmod_mpolyn_gcd_brown_lgprime()
1043 if (Aeval->length == 0 || Beval->length == 0) in nmod_mpolyn_gcd_brown_lgprime()
[all …]
/dports/math/e-antic/flint2-ae7ec89/nmod_mpoly/
H A Dmpolyu_gcdp_zippel.c194 nmod_poly_t Aeval, Beval, Geval; in nmod_mpolyu_gcds_zippel() local
260 nmod_poly_init(Beval, ctx->ffinfo->mod.n); in nmod_mpolyu_gcds_zippel()
396 nmod_poly_gcd(Geval, Aeval, Beval); in nmod_mpolyu_gcds_zippel()
599 nmod_poly_clear(Beval); in nmod_mpolyu_gcds_zippel()
677 nmod_mpolyu_t Aeval, Beval, Geval; in nmod_mpolyu_gcdp_zippel_bivar() local
725 nmod_mpolyu_init(Beval, A->bits, ctx); in nmod_mpolyu_gcdp_zippel_bivar()
758 if (Aeval->length == 0 || Beval->length == 0) in nmod_mpolyu_gcdp_zippel_bivar()
852 nmod_mpolyu_clear(Beval, ctx); in nmod_mpolyu_gcdp_zippel_bivar()
947 nmod_mpolyu_init(Beval, A->bits, ctx); in nmod_mpolyu_gcdp_zippel()
997 if (Aeval->length == 0 || Beval->length == 0) in nmod_mpolyu_gcdp_zippel()
[all …]
H A Dgcd_zippel.c33 fq_nmod_mpolyu_t Aeval, Beval, Geval; in nmod_mpolyu_gcdm_zippel_bivar() local
76 fq_nmod_mpolyu_init(Beval, A->bits, ffctx); in nmod_mpolyu_gcdm_zippel_bivar()
96 fq_nmod_mpolyu_clear(Beval, ffctx); in nmod_mpolyu_gcdm_zippel_bivar()
104 fq_nmod_mpolyu_init(Beval, A->bits, ffctx); in nmod_mpolyu_gcdm_zippel_bivar()
116 nmod_mpolyun_interp_reduce_lg_mpolyu(Beval, Bn, ffctx, ctx); in nmod_mpolyu_gcdm_zippel_bivar()
117 if (Aeval->length == 0 || Beval->length == 0) in nmod_mpolyu_gcdm_zippel_bivar()
121 FLINT_ASSERT(fq_nmod_mpolyu_is_canonical(Beval, ffctx)); in nmod_mpolyu_gcdm_zippel_bivar()
123 fq_nmod_mpolyu_gcdp_zippel_univar_no_cofactors(Geval, Aeval, Beval, ffctx); in nmod_mpolyu_gcdm_zippel_bivar()
208 fq_nmod_mpolyu_clear(Beval, ffctx); in nmod_mpolyu_gcdm_zippel_bivar()
H A Dmpolyn_gcd_brown.c705 fq_nmod_poly_t Aeval, Beval, Geval, Abareval, Bbareval; in nmod_mpolyn_gcd_brown_lgprime_bivar() local
762 fq_nmod_poly_init(Beval, ectx->fqctx); in nmod_mpolyn_gcd_brown_lgprime_bivar()
796 nmod_mpolyn_interp_reduce_lg_poly(Beval, ectx->fqctx, B, ctx); in nmod_mpolyn_gcd_brown_lgprime_bivar()
798 FLINT_ASSERT(Beval->length > 0); in nmod_mpolyn_gcd_brown_lgprime_bivar()
800 fq_nmod_poly_gcd(Geval, Aeval, Beval, ectx->fqctx); in nmod_mpolyn_gcd_brown_lgprime_bivar()
917 fq_nmod_poly_clear(Beval, ectx->fqctx); in nmod_mpolyn_gcd_brown_lgprime_bivar()
942 fq_nmod_mpolyn_t Aeval, Beval, Geval, Abareval, Bbareval; in nmod_mpolyn_gcd_brown_lgprime() local
1006 fq_nmod_mpolyn_init(Beval, bits, ectx); in nmod_mpolyn_gcd_brown_lgprime()
1042 FLINT_ASSERT(fq_nmod_mpolyn_is_canonical(Beval, ectx)); in nmod_mpolyn_gcd_brown_lgprime()
1043 if (Aeval->length == 0 || Beval->length == 0) in nmod_mpolyn_gcd_brown_lgprime()
[all …]
/dports/math/flint2/flint-2.8.4/nmod_mpoly/
H A Dmpolyu_gcdp_zippel.c194 nmod_poly_t Aeval, Beval, Geval; in nmod_mpolyu_gcds_zippel() local
260 nmod_poly_init(Beval, ctx->mod.n); in nmod_mpolyu_gcds_zippel()
396 nmod_poly_gcd(Geval, Aeval, Beval); in nmod_mpolyu_gcds_zippel()
599 nmod_poly_clear(Beval); in nmod_mpolyu_gcds_zippel()
676 nmod_mpolyu_t Aeval, Beval, Geval; in nmod_mpolyu_gcdp_zippel_bivar() local
723 nmod_mpolyu_init(Beval, A->bits, ctx); in nmod_mpolyu_gcdp_zippel_bivar()
756 if (Aeval->length == 0 || Beval->length == 0) in nmod_mpolyu_gcdp_zippel_bivar()
850 nmod_mpolyu_clear(Beval, ctx); in nmod_mpolyu_gcdp_zippel_bivar()
943 nmod_mpolyu_init(Beval, A->bits, ctx); in nmod_mpolyu_gcdp_zippel()
993 if (Aeval->length == 0 || Beval->length == 0) in nmod_mpolyu_gcdp_zippel()
[all …]
H A Dgcd_zippel.c32 fq_nmod_mpolyu_t Aeval, Beval, Geval; in nmod_mpolyu_gcdm_zippel_bivar() local
74 fq_nmod_mpolyu_init(Beval, A->bits, ffctx); in nmod_mpolyu_gcdm_zippel_bivar()
94 fq_nmod_mpolyu_clear(Beval, ffctx); in nmod_mpolyu_gcdm_zippel_bivar()
102 fq_nmod_mpolyu_init(Beval, A->bits, ffctx); in nmod_mpolyu_gcdm_zippel_bivar()
116 nmod_mpolyun_interp_reduce_lg_mpolyu(Beval, Bn, ffctx, ctx); in nmod_mpolyu_gcdm_zippel_bivar()
117 if (Aeval->length == 0 || Beval->length == 0) in nmod_mpolyu_gcdm_zippel_bivar()
121 FLINT_ASSERT(fq_nmod_mpolyu_is_canonical(Beval, ffctx)); in nmod_mpolyu_gcdm_zippel_bivar()
123 fq_nmod_mpolyu_gcdp_zippel_univar_no_cofactors(Geval, Aeval, Beval, ffctx); in nmod_mpolyu_gcdm_zippel_bivar()
210 fq_nmod_mpolyu_clear(Beval, ffctx); in nmod_mpolyu_gcdm_zippel_bivar()
H A Dmpolyn_gcd_brown.c704 fq_nmod_poly_t Aeval, Beval, Geval, Abareval, Bbareval; in nmod_mpolyn_gcd_brown_lgprime_bivar() local
761 fq_nmod_poly_init(Beval, ectx->fqctx); in nmod_mpolyn_gcd_brown_lgprime_bivar()
796 nmod_mpolyn_interp_reduce_lg_poly(Beval, ectx->fqctx, B, ctx); in nmod_mpolyn_gcd_brown_lgprime_bivar()
798 FLINT_ASSERT(Beval->length > 0); in nmod_mpolyn_gcd_brown_lgprime_bivar()
800 fq_nmod_poly_gcd(Geval, Aeval, Beval, ectx->fqctx); in nmod_mpolyn_gcd_brown_lgprime_bivar()
918 fq_nmod_poly_clear(Beval, ectx->fqctx); in nmod_mpolyn_gcd_brown_lgprime_bivar()
943 fq_nmod_mpolyn_t Aeval, Beval, Geval, Abareval, Bbareval; in nmod_mpolyn_gcd_brown_lgprime() local
1006 fq_nmod_mpolyn_init(Beval, bits, ectx); in nmod_mpolyn_gcd_brown_lgprime()
1043 FLINT_ASSERT(fq_nmod_mpolyn_is_canonical(Beval, ectx)); in nmod_mpolyn_gcd_brown_lgprime()
1044 if (Aeval->length == 0 || Beval->length == 0) in nmod_mpolyn_gcd_brown_lgprime()
[all …]
/dports/math/flint2/flint-2.8.4/nmod_mpoly_factor/
H A Dgcd_zippel.c594 nmod_mpoly_t Ac, Bc, Aeval, Beval, Geval, Abareval, Bbareval; in nmod_mpolyl_gcdp_zippel_smprime() local
614 nmod_mpoly_init3(Beval, 0, bits, ctx); in nmod_mpolyl_gcdp_zippel_smprime()
694 nmod_mpoly_evaluate_one_ui(Beval, B, var, alpha, ctx); in nmod_mpolyl_gcdp_zippel_smprime()
695 if (Aeval->length == 0 || Beval->length == 0) in nmod_mpolyl_gcdp_zippel_smprime()
699 nmod_mpoly_repack_bits_inplace(Beval, bits, ctx); in nmod_mpolyl_gcdp_zippel_smprime()
702 Aeval, Beval, var - 1, ctx, state); in nmod_mpolyl_gcdp_zippel_smprime()
815 nmod_mpoly_evaluate_one_ui(Beval, B, var, alpha, ctx); in nmod_mpolyl_gcdp_zippel_smprime()
816 if (Aeval->length == 0 || Beval->length == 0) in nmod_mpolyl_gcdp_zippel_smprime()
820 nmod_mpoly_repack_bits_inplace(Beval, bits, ctx); in nmod_mpolyl_gcdp_zippel_smprime()
823 Aeval, Beval, perm, req_zip_images, var, ctx, in nmod_mpolyl_gcdp_zippel_smprime()
[all …]
H A Dmpoly_hlift_zippel.c598 n_polyu_struct Aeval[1], * Beval; in nmod_mpoly_hlift_zippel() local
648 Beval = FLINT_ARRAY_ALLOC(r, n_polyu_struct); in nmod_mpoly_hlift_zippel()
659 n_polyu_init(Beval + i); in nmod_mpoly_hlift_zippel()
705 n_polyu_mod_eval_step(Beval + i, Beh + i, ctx->mod); in nmod_mpoly_hlift_zippel()
707 success = n_polyu3_mod_hlift(r, BBeval, Aeval, Beval, in nmod_mpoly_hlift_zippel()
759 n_polyu_clear(Beval + i); in nmod_mpoly_hlift_zippel()
773 flint_free(Beval); in nmod_mpoly_hlift_zippel()
H A Dn_bpoly_mod_factor_lgprime.c721 fq_nmod_poly_t Beval; in n_bpoly_mod_factor_lgprime() local
747 fq_nmod_poly_init(Beval, ectx); in n_bpoly_mod_factor_lgprime()
788 n_bpoly_eval_fq_nmod_poly(Beval, ectx, B); in n_bpoly_mod_factor_lgprime()
791 if (Beval->length != Blenx || fq_nmod_is_zero(Beval->coeffs + 0, ectx)) in n_bpoly_mod_factor_lgprime()
795 fq_nmod_poly_factor(local_fac, Blc, Beval, ectx); in n_bpoly_mod_factor_lgprime()
917 fq_nmod_poly_clear(Beval, ectx); in n_bpoly_mod_factor_lgprime()
/dports/math/flint2/flint-2.8.4/fmpz_mod_mpoly_factor/
H A Dgcd_zippel.c557 fmpz_mod_mpoly_t Ac, Bc, Aeval, Beval, Geval, Abareval, Bbareval; in fmpz_mod_mpolyl_gcdp_zippel() local
581 fmpz_mod_mpoly_init3(Beval, 0, bits, ctx); in fmpz_mod_mpolyl_gcdp_zippel()
661 fmpz_mod_mpoly_evaluate_one_fmpz(Beval, B, var, alpha, ctx); in fmpz_mod_mpolyl_gcdp_zippel()
662 if (Aeval->length == 0 || Beval->length == 0) in fmpz_mod_mpolyl_gcdp_zippel()
666 fmpz_mod_mpoly_repack_bits_inplace(Beval, bits, ctx); in fmpz_mod_mpolyl_gcdp_zippel()
669 Aeval, Beval, var - 1, ctx, state); in fmpz_mod_mpolyl_gcdp_zippel()
775 fmpz_mod_mpoly_evaluate_one_fmpz(Beval, B, var, alpha, ctx); in fmpz_mod_mpolyl_gcdp_zippel()
776 if (Aeval->length == 0 || Beval->length == 0) in fmpz_mod_mpolyl_gcdp_zippel()
780 fmpz_mod_mpoly_repack_bits_inplace(Beval, bits, ctx); in fmpz_mod_mpolyl_gcdp_zippel()
783 Aeval, Beval, perm, req_zip_images, var, ctx, in fmpz_mod_mpolyl_gcdp_zippel()
[all …]
/dports/math/e-antic/flint2-ae7ec89/fmpz_mpoly/
H A Dgcd_berlekamp_massey.c2428 nmod_poly_t Geval, Aeval, Beval; in fmpz_mpolyuu_gcd_degree_bound_minor() local
2440 nmod_poly_init(Beval, p); in fmpz_mpolyuu_gcd_degree_bound_minor()
2470 nmod_poly_clear(Beval); in fmpz_mpolyuu_gcd_degree_bound_minor()
2473 nmod_poly_init(Beval, p); in fmpz_mpolyuu_gcd_degree_bound_minor()
2477 nmod_poly_gcd(Geval, Aeval, Beval); in fmpz_mpolyuu_gcd_degree_bound_minor()
2484 nmod_poly_clear(Beval); in fmpz_mpolyuu_gcd_degree_bound_minor()
2651 fmpz_mod_mpolyn_t Beval, in _random_check() argument
2681 if ( Aeval->length == 0 || Beval->length == 0 in _random_check()
2806 fmpz_mod_mpolyn_init(Beval, FLINT_BITS/2, ctx_mp); in fmpz_mpolyuu_gcd_berlekamp_massey()
3270 if (Aeval->length == 0 || Beval->length == 0 in fmpz_mpolyuu_gcd_berlekamp_massey()
[all …]

12