/dports/math/flint2/flint-2.8.4/fq_nmod_mpoly/ |
H A D | gcd_zippel.c | 34 fq_nmod_mpolyu_t Aeval, Beval, Geval; in fq_nmod_mpolyu_gcdm_zippel_bivar() local 82 fq_nmod_mpolyu_init(Geval, A->bits, ectx); in fq_nmod_mpolyu_gcdm_zippel_bivar() 119 if (fq_nmod_mpolyu_is_one(Geval, ectx)) in fq_nmod_mpolyu_gcdm_zippel_bivar() 128 FLINT_ASSERT(Geval->length > 0); in fq_nmod_mpolyu_gcdm_zippel_bivar() 132 if (Geval->exps[0] > H->exps[0]) in fq_nmod_mpolyu_gcdm_zippel_bivar() 136 else if (Geval->exps[0] < H->exps[0]) in fq_nmod_mpolyu_gcdm_zippel_bivar() 202 fq_nmod_mpolyu_clear(Geval, ectx); in fq_nmod_mpolyu_gcdm_zippel_bivar() 298 fq_nmod_mpolyu_init(Geval, A->bits, ectx); in fq_nmod_mpolyu_gcdm_zippel() 345 degbound = Geval->exps[0]; in fq_nmod_mpolyu_gcdm_zippel() 347 if (Geval->length == 1 && Geval->exps[0] == 0) in fq_nmod_mpolyu_gcdm_zippel() [all …]
|
H A D | mpolyn_gcd_brown.c | 58 fq_nmod_poly_init(Geval, ctx->fqctx); in fq_nmod_mpolyn_gcd_brown_smprime_bivar() 122 FLINT_ASSERT(Geval->length > 0); in fq_nmod_mpolyn_gcd_brown_smprime_bivar() 147 fq_nmod_poly_scalar_mul_fq_nmod(Geval, Geval, gammaeval, ctx->fqctx); in fq_nmod_mpolyn_gcd_brown_smprime_bivar() 234 fq_nmod_poly_clear(Geval, ctx->fqctx); in fq_nmod_mpolyn_gcd_brown_smprime_bivar() 306 fq_nmod_mpolyn_init(Geval, bits, ctx); in fq_nmod_mpolyn_gcd_brown_smprime() 367 FLINT_ASSERT(Geval->length > 0); in fq_nmod_mpolyn_gcd_brown_smprime() 497 fq_nmod_mpolyn_clear(Geval, ctx); in fq_nmod_mpolyn_gcd_brown_smprime() 630 FLINT_ASSERT(Geval->length > 0); in fq_nmod_mpolyn_gcd_brown_lgprime_bivar() 657 FLINT_ASSERT(fq_nmod_is_one(Geval->coeffs + Geval->length - 1, ectx->fqctx)); in fq_nmod_mpolyn_gcd_brown_lgprime_bivar() 658 fq_nmod_poly_scalar_mul_fq_nmod(Geval, Geval, gammaeval, ectx->fqctx); in fq_nmod_mpolyn_gcd_brown_lgprime_bivar() [all …]
|
H A D | mpolyu_gcdp_zippel.c | 381 fq_nmod_poly_t Aeval, Beval, Geval; in fq_nmod_mpolyu_gcds_zippel() local 454 fq_nmod_poly_init(Geval, ctx->fqctx); in fq_nmod_mpolyu_gcds_zippel() 834 fq_nmod_poly_clear(Geval, ctx->fqctx); in fq_nmod_mpolyu_gcds_zippel() 955 fq_nmod_mpolyu_t Aeval, Beval, Geval; in fq_nmod_mpolyu_gcdp_zippel_bivar() local 1013 fq_nmod_mpolyu_init(Geval, A->bits, ctx); in fq_nmod_mpolyu_gcdp_zippel_bivar() 1076 FLINT_ASSERT(Geval->length > 0); in fq_nmod_mpolyu_gcdp_zippel_bivar() 1080 if (Geval->exps[0] > H->exps[0]) in fq_nmod_mpolyu_gcdp_zippel_bivar() 1164 fq_nmod_mpolyu_clear(Geval, ctx); in fq_nmod_mpolyu_gcdp_zippel_bivar() 1335 degbound = Geval->exps[0]; in fq_nmod_mpolyu_gcdp_zippel() 1351 if (Geval->exps[0] > H->exps[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 D | gcd_zippel.c | 35 fq_nmod_mpolyu_t Aeval, Beval, Geval; in fq_nmod_mpolyu_gcdm_zippel_bivar() local 79 fq_nmod_mpolyu_init(Geval, A->bits, ectx); in fq_nmod_mpolyu_gcdm_zippel_bivar() 116 if (fq_nmod_mpolyu_is_one(Geval, ectx)) in fq_nmod_mpolyu_gcdm_zippel_bivar() 125 FLINT_ASSERT(Geval->length > 0); in fq_nmod_mpolyu_gcdm_zippel_bivar() 129 if (Geval->exps[0] > H->exps[0]) in fq_nmod_mpolyu_gcdm_zippel_bivar() 133 else if (Geval->exps[0] < H->exps[0]) in fq_nmod_mpolyu_gcdm_zippel_bivar() 195 fq_nmod_mpolyu_clear(Geval, ectx); in fq_nmod_mpolyu_gcdm_zippel_bivar() 288 fq_nmod_mpolyu_init(Geval, A->bits, ectx); in fq_nmod_mpolyu_gcdm_zippel() 335 degbound = Geval->exps[0]; in fq_nmod_mpolyu_gcdm_zippel() 337 if (Geval->length == 1 && Geval->exps[0] == 0) in fq_nmod_mpolyu_gcdm_zippel() [all …]
|
H A D | mpolyn_gcd_brown.c | 58 fq_nmod_poly_init(Geval, ctx->fqctx); in fq_nmod_mpolyn_gcd_brown_smprime_bivar() 121 FLINT_ASSERT(Geval->length > 0); in fq_nmod_mpolyn_gcd_brown_smprime_bivar() 146 fq_nmod_poly_scalar_mul_fq_nmod(Geval, Geval, gammaeval, ctx->fqctx); in fq_nmod_mpolyn_gcd_brown_smprime_bivar() 229 fq_nmod_poly_clear(Geval, ctx->fqctx); in fq_nmod_mpolyn_gcd_brown_smprime_bivar() 301 fq_nmod_mpolyn_init(Geval, bits, ctx); in fq_nmod_mpolyn_gcd_brown_smprime() 361 FLINT_ASSERT(Geval->length > 0); in fq_nmod_mpolyn_gcd_brown_smprime() 484 fq_nmod_mpolyn_clear(Geval, ctx); in fq_nmod_mpolyn_gcd_brown_smprime() 615 FLINT_ASSERT(Geval->length > 0); in fq_nmod_mpolyn_gcd_brown_lgprime_bivar() 642 FLINT_ASSERT(fq_nmod_is_one(Geval->coeffs + Geval->length - 1, ectx->fqctx)); in fq_nmod_mpolyn_gcd_brown_lgprime_bivar() 643 fq_nmod_poly_scalar_mul_fq_nmod(Geval, Geval, gammaeval, ectx->fqctx); in fq_nmod_mpolyn_gcd_brown_lgprime_bivar() [all …]
|
H A D | mpolyu_gcdp_zippel.c | 269 fq_nmod_poly_t Aeval, Beval, Geval; in fq_nmod_mpolyu_gcds_zippel() local 342 fq_nmod_poly_init(Geval, ctx->fqctx); in fq_nmod_mpolyu_gcds_zippel() 721 fq_nmod_poly_clear(Geval, ctx->fqctx); in fq_nmod_mpolyu_gcds_zippel() 840 fq_nmod_mpolyu_t Aeval, Beval, Geval; in fq_nmod_mpolyu_gcdp_zippel_bivar() local 894 fq_nmod_mpolyu_init(Geval, A->bits, ctx); in fq_nmod_mpolyu_gcdp_zippel_bivar() 957 FLINT_ASSERT(Geval->length > 0); in fq_nmod_mpolyu_gcdp_zippel_bivar() 961 if (Geval->exps[0] > H->exps[0]) in fq_nmod_mpolyu_gcdp_zippel_bivar() 1043 fq_nmod_mpolyu_clear(Geval, ctx); in fq_nmod_mpolyu_gcdp_zippel_bivar() 1210 degbound = Geval->exps[0]; in fq_nmod_mpolyu_gcdp_zippel() 1226 if (Geval->exps[0] > H->exps[0]) in fq_nmod_mpolyu_gcdp_zippel() [all …]
|
/dports/math/e-antic/flint2-ae7ec89/fq_nmod_mpoly/ |
H A D | gcd_zippel.c | 35 fq_nmod_mpolyu_t Aeval, Beval, Geval; in fq_nmod_mpolyu_gcdm_zippel_bivar() local 79 fq_nmod_mpolyu_init(Geval, A->bits, ectx); in fq_nmod_mpolyu_gcdm_zippel_bivar() 116 if (fq_nmod_mpolyu_is_one(Geval, ectx)) in fq_nmod_mpolyu_gcdm_zippel_bivar() 125 FLINT_ASSERT(Geval->length > 0); in fq_nmod_mpolyu_gcdm_zippel_bivar() 129 if (Geval->exps[0] > H->exps[0]) in fq_nmod_mpolyu_gcdm_zippel_bivar() 133 else if (Geval->exps[0] < H->exps[0]) in fq_nmod_mpolyu_gcdm_zippel_bivar() 195 fq_nmod_mpolyu_clear(Geval, ectx); in fq_nmod_mpolyu_gcdm_zippel_bivar() 288 fq_nmod_mpolyu_init(Geval, A->bits, ectx); in fq_nmod_mpolyu_gcdm_zippel() 335 degbound = Geval->exps[0]; in fq_nmod_mpolyu_gcdm_zippel() 337 if (Geval->length == 1 && Geval->exps[0] == 0) in fq_nmod_mpolyu_gcdm_zippel() [all …]
|
H A D | mpolyn_gcd_brown.c | 58 fq_nmod_poly_init(Geval, ctx->fqctx); in fq_nmod_mpolyn_gcd_brown_smprime_bivar() 121 FLINT_ASSERT(Geval->length > 0); in fq_nmod_mpolyn_gcd_brown_smprime_bivar() 146 fq_nmod_poly_scalar_mul_fq_nmod(Geval, Geval, gammaeval, ctx->fqctx); in fq_nmod_mpolyn_gcd_brown_smprime_bivar() 229 fq_nmod_poly_clear(Geval, ctx->fqctx); in fq_nmod_mpolyn_gcd_brown_smprime_bivar() 301 fq_nmod_mpolyn_init(Geval, bits, ctx); in fq_nmod_mpolyn_gcd_brown_smprime() 361 FLINT_ASSERT(Geval->length > 0); in fq_nmod_mpolyn_gcd_brown_smprime() 484 fq_nmod_mpolyn_clear(Geval, ctx); in fq_nmod_mpolyn_gcd_brown_smprime() 615 FLINT_ASSERT(Geval->length > 0); in fq_nmod_mpolyn_gcd_brown_lgprime_bivar() 642 FLINT_ASSERT(fq_nmod_is_one(Geval->coeffs + Geval->length - 1, ectx->fqctx)); in fq_nmod_mpolyn_gcd_brown_lgprime_bivar() 643 fq_nmod_poly_scalar_mul_fq_nmod(Geval, Geval, gammaeval, ectx->fqctx); in fq_nmod_mpolyn_gcd_brown_lgprime_bivar() [all …]
|
H A D | mpolyu_gcdp_zippel.c | 269 fq_nmod_poly_t Aeval, Beval, Geval; in fq_nmod_mpolyu_gcds_zippel() local 342 fq_nmod_poly_init(Geval, ctx->fqctx); in fq_nmod_mpolyu_gcds_zippel() 721 fq_nmod_poly_clear(Geval, ctx->fqctx); in fq_nmod_mpolyu_gcds_zippel() 840 fq_nmod_mpolyu_t Aeval, Beval, Geval; in fq_nmod_mpolyu_gcdp_zippel_bivar() local 894 fq_nmod_mpolyu_init(Geval, A->bits, ctx); in fq_nmod_mpolyu_gcdp_zippel_bivar() 957 FLINT_ASSERT(Geval->length > 0); in fq_nmod_mpolyu_gcdp_zippel_bivar() 961 if (Geval->exps[0] > H->exps[0]) in fq_nmod_mpolyu_gcdp_zippel_bivar() 1043 fq_nmod_mpolyu_clear(Geval, ctx); in fq_nmod_mpolyu_gcdp_zippel_bivar() 1210 degbound = Geval->exps[0]; in fq_nmod_mpolyu_gcdp_zippel() 1226 if (Geval->exps[0] > H->exps[0]) in fq_nmod_mpolyu_gcdp_zippel() [all …]
|
/dports/math/e-antic/flint2-ae7ec89/fmpz_mod_mpoly/ |
H A D | mpolyn_gcd_brown.c | 26 fmpz_mod_poly_t Aeval, Beval, Geval, Abareval, Bbareval; in fmpz_mod_mpolyn_gcd_brown_bivar() local 67 fmpz_mod_poly_init(Geval, fmpz_mod_ctx_modulus(ctx->ffinfo)); in fmpz_mod_mpolyn_gcd_brown_bivar() 119 fmpz_mod_poly_gcd(Geval, Aeval, Beval); in fmpz_mod_mpolyn_gcd_brown_bivar() 120 fmpz_mod_poly_divrem(Abareval, r, Aeval, Geval); in fmpz_mod_mpolyn_gcd_brown_bivar() 122 fmpz_mod_poly_divrem(Bbareval, r, Beval, Geval); in fmpz_mod_mpolyn_gcd_brown_bivar() 125 FLINT_ASSERT(Geval->length > 0); in fmpz_mod_mpolyn_gcd_brown_bivar() 129 if (fmpz_mod_poly_degree(Geval) == 0) in fmpz_mod_mpolyn_gcd_brown_bivar() 140 if (fmpz_mod_poly_degree(Geval) > ((G->exps + N*0)[off]>>shift)) in fmpz_mod_mpolyn_gcd_brown_bivar() 150 fmpz_mod_poly_scalar_mul_fmpz(Geval, Geval, gammaeval); in fmpz_mod_mpolyn_gcd_brown_bivar() 163 fmpz_mod_mpolyn_intp_lift_sm_poly(G, Geval, ctx); in fmpz_mod_mpolyn_gcd_brown_bivar() [all …]
|
/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/fmpz_mod_mpoly/ |
H A D | mpolyn_gcd_brown.c | 26 fmpz_mod_poly_t Aeval, Beval, Geval, Abareval, Bbareval; in fmpz_mod_mpolyn_gcd_brown_bivar() local 67 fmpz_mod_poly_init(Geval, fmpz_mod_ctx_modulus(ctx->ffinfo)); in fmpz_mod_mpolyn_gcd_brown_bivar() 119 fmpz_mod_poly_gcd(Geval, Aeval, Beval); in fmpz_mod_mpolyn_gcd_brown_bivar() 120 fmpz_mod_poly_divrem(Abareval, r, Aeval, Geval); in fmpz_mod_mpolyn_gcd_brown_bivar() 122 fmpz_mod_poly_divrem(Bbareval, r, Beval, Geval); in fmpz_mod_mpolyn_gcd_brown_bivar() 125 FLINT_ASSERT(Geval->length > 0); in fmpz_mod_mpolyn_gcd_brown_bivar() 129 if (fmpz_mod_poly_degree(Geval) == 0) in fmpz_mod_mpolyn_gcd_brown_bivar() 140 if (fmpz_mod_poly_degree(Geval) > ((G->exps + N*0)[off]>>shift)) in fmpz_mod_mpolyn_gcd_brown_bivar() 150 fmpz_mod_poly_scalar_mul_fmpz(Geval, Geval, gammaeval); in fmpz_mod_mpolyn_gcd_brown_bivar() 163 fmpz_mod_mpolyn_intp_lift_sm_poly(G, Geval, ctx); in fmpz_mod_mpolyn_gcd_brown_bivar() [all …]
|
/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/nmod_mpoly/ |
H A D | mpolyu_gcdp_zippel.c | 194 nmod_poly_t Aeval, Beval, Geval; in nmod_mpolyu_gcds_zippel() local 396 nmod_poly_gcd(Geval, Aeval, Beval); in nmod_mpolyu_gcds_zippel() 415 k = nmod_poly_length(Geval); in nmod_mpolyu_gcds_zippel() 600 nmod_poly_clear(Geval); in nmod_mpolyu_gcds_zippel() 677 nmod_mpolyu_t Aeval, Beval, Geval; in nmod_mpolyu_gcdp_zippel_bivar() local 726 nmod_mpolyu_init(Geval, A->bits, ctx); in nmod_mpolyu_gcdp_zippel_bivar() 775 FLINT_ASSERT(Geval->length > 0); in nmod_mpolyu_gcdp_zippel_bivar() 853 nmod_mpolyu_clear(Geval, ctx); in nmod_mpolyu_gcdp_zippel_bivar() 948 nmod_mpolyu_init(Geval, A->bits, ctx); in nmod_mpolyu_gcdp_zippel() 1010 degbound = Geval->exps[0]; in nmod_mpolyu_gcdp_zippel() [all …]
|
H A D | mpolyn_gcd_brown.c | 763 fq_nmod_poly_init(Geval, ectx->fqctx); in nmod_mpolyn_gcd_brown_lgprime_bivar() 800 fq_nmod_poly_gcd(Geval, Aeval, Beval, ectx->fqctx); in nmod_mpolyn_gcd_brown_lgprime_bivar() 806 FLINT_ASSERT(Geval->length > 0); in nmod_mpolyn_gcd_brown_lgprime_bivar() 810 if (fq_nmod_poly_degree(Geval, ectx->fqctx) == 0) in nmod_mpolyn_gcd_brown_lgprime_bivar() 833 FLINT_ASSERT(fq_nmod_is_one(Geval->coeffs + Geval->length - 1, ectx->fqctx)); in nmod_mpolyn_gcd_brown_lgprime_bivar() 834 fq_nmod_poly_scalar_mul_fq_nmod(Geval, Geval, gammaeval, ectx->fqctx); in nmod_mpolyn_gcd_brown_lgprime_bivar() 918 fq_nmod_poly_clear(Geval, ectx->fqctx); in nmod_mpolyn_gcd_brown_lgprime_bivar() 1007 fq_nmod_mpolyn_init(Geval, bits, ectx); in nmod_mpolyn_gcd_brown_lgprime() 1055 if (fq_nmod_mpolyn_is_nonzero_fq_nmod(Geval, ectx)) in nmod_mpolyn_gcd_brown_lgprime() 1086 fq_nmod_mpolyn_scalar_mul_fq_nmod(Geval, temp, ectx); in nmod_mpolyn_gcd_brown_lgprime() [all …]
|
H A D | gcd_zippel.c | 33 fq_nmod_mpolyu_t Aeval, Beval, Geval; in nmod_mpolyu_gcdm_zippel_bivar() local 77 fq_nmod_mpolyu_init(Geval, A->bits, ffctx); in nmod_mpolyu_gcdm_zippel_bivar() 97 fq_nmod_mpolyu_clear(Geval, ffctx); in nmod_mpolyu_gcdm_zippel_bivar() 105 fq_nmod_mpolyu_init(Geval, A->bits, ffctx); in nmod_mpolyu_gcdm_zippel_bivar() 125 if (fq_nmod_mpolyu_is_one(Geval, ffctx)) in nmod_mpolyu_gcdm_zippel_bivar() 134 FLINT_ASSERT(Geval->length > 0); in nmod_mpolyu_gcdm_zippel_bivar() 138 if (Geval->exps[0] > H->exps[0]) in nmod_mpolyu_gcdm_zippel_bivar() 142 else if (Geval->exps[0] < H->exps[0]) in nmod_mpolyu_gcdm_zippel_bivar() 150 fq_nmod_mpolyu_scalar_mul_fq_nmod(Geval, t, ffctx); in nmod_mpolyu_gcdm_zippel_bivar() 187 nmod_mpolyun_interp_lift_lg_mpolyu(H, ctx, Geval, ffctx); in nmod_mpolyu_gcdm_zippel_bivar() [all …]
|
/dports/math/e-antic/flint2-ae7ec89/nmod_mpoly/ |
H A D | mpolyu_gcdp_zippel.c | 194 nmod_poly_t Aeval, Beval, Geval; in nmod_mpolyu_gcds_zippel() local 396 nmod_poly_gcd(Geval, Aeval, Beval); in nmod_mpolyu_gcds_zippel() 415 k = nmod_poly_length(Geval); in nmod_mpolyu_gcds_zippel() 600 nmod_poly_clear(Geval); in nmod_mpolyu_gcds_zippel() 677 nmod_mpolyu_t Aeval, Beval, Geval; in nmod_mpolyu_gcdp_zippel_bivar() local 726 nmod_mpolyu_init(Geval, A->bits, ctx); in nmod_mpolyu_gcdp_zippel_bivar() 775 FLINT_ASSERT(Geval->length > 0); in nmod_mpolyu_gcdp_zippel_bivar() 853 nmod_mpolyu_clear(Geval, ctx); in nmod_mpolyu_gcdp_zippel_bivar() 948 nmod_mpolyu_init(Geval, A->bits, ctx); in nmod_mpolyu_gcdp_zippel() 1010 degbound = Geval->exps[0]; in nmod_mpolyu_gcdp_zippel() [all …]
|
H A D | mpolyn_gcd_brown.c | 763 fq_nmod_poly_init(Geval, ectx->fqctx); in nmod_mpolyn_gcd_brown_lgprime_bivar() 800 fq_nmod_poly_gcd(Geval, Aeval, Beval, ectx->fqctx); in nmod_mpolyn_gcd_brown_lgprime_bivar() 806 FLINT_ASSERT(Geval->length > 0); in nmod_mpolyn_gcd_brown_lgprime_bivar() 810 if (fq_nmod_poly_degree(Geval, ectx->fqctx) == 0) in nmod_mpolyn_gcd_brown_lgprime_bivar() 833 FLINT_ASSERT(fq_nmod_is_one(Geval->coeffs + Geval->length - 1, ectx->fqctx)); in nmod_mpolyn_gcd_brown_lgprime_bivar() 834 fq_nmod_poly_scalar_mul_fq_nmod(Geval, Geval, gammaeval, ectx->fqctx); in nmod_mpolyn_gcd_brown_lgprime_bivar() 918 fq_nmod_poly_clear(Geval, ectx->fqctx); in nmod_mpolyn_gcd_brown_lgprime_bivar() 1007 fq_nmod_mpolyn_init(Geval, bits, ectx); in nmod_mpolyn_gcd_brown_lgprime() 1055 if (fq_nmod_mpolyn_is_nonzero_fq_nmod(Geval, ectx)) in nmod_mpolyn_gcd_brown_lgprime() 1086 fq_nmod_mpolyn_scalar_mul_fq_nmod(Geval, temp, ectx); in nmod_mpolyn_gcd_brown_lgprime() [all …]
|
H A D | gcd_zippel.c | 33 fq_nmod_mpolyu_t Aeval, Beval, Geval; in nmod_mpolyu_gcdm_zippel_bivar() local 77 fq_nmod_mpolyu_init(Geval, A->bits, ffctx); in nmod_mpolyu_gcdm_zippel_bivar() 97 fq_nmod_mpolyu_clear(Geval, ffctx); in nmod_mpolyu_gcdm_zippel_bivar() 105 fq_nmod_mpolyu_init(Geval, A->bits, ffctx); in nmod_mpolyu_gcdm_zippel_bivar() 125 if (fq_nmod_mpolyu_is_one(Geval, ffctx)) in nmod_mpolyu_gcdm_zippel_bivar() 134 FLINT_ASSERT(Geval->length > 0); in nmod_mpolyu_gcdm_zippel_bivar() 138 if (Geval->exps[0] > H->exps[0]) in nmod_mpolyu_gcdm_zippel_bivar() 142 else if (Geval->exps[0] < H->exps[0]) in nmod_mpolyu_gcdm_zippel_bivar() 150 fq_nmod_mpolyu_scalar_mul_fq_nmod(Geval, t, ffctx); in nmod_mpolyu_gcdm_zippel_bivar() 187 nmod_mpolyun_interp_lift_lg_mpolyu(H, ctx, Geval, ffctx); in nmod_mpolyu_gcdm_zippel_bivar() [all …]
|
/dports/math/flint2/flint-2.8.4/nmod_mpoly/ |
H A D | mpolyu_gcdp_zippel.c | 194 nmod_poly_t Aeval, Beval, Geval; in nmod_mpolyu_gcds_zippel() local 261 nmod_poly_init(Geval, ctx->mod.n); in nmod_mpolyu_gcds_zippel() 396 nmod_poly_gcd(Geval, Aeval, Beval); in nmod_mpolyu_gcds_zippel() 415 k = nmod_poly_length(Geval); in nmod_mpolyu_gcds_zippel() 600 nmod_poly_clear(Geval); in nmod_mpolyu_gcds_zippel() 676 nmod_mpolyu_t Aeval, Beval, Geval; in nmod_mpolyu_gcdp_zippel_bivar() local 724 nmod_mpolyu_init(Geval, A->bits, ctx); in nmod_mpolyu_gcdp_zippel_bivar() 773 FLINT_ASSERT(Geval->length > 0); in nmod_mpolyu_gcdp_zippel_bivar() 851 nmod_mpolyu_clear(Geval, ctx); in nmod_mpolyu_gcdp_zippel_bivar() 1006 degbound = Geval->exps[0]; in nmod_mpolyu_gcdp_zippel() [all …]
|
H A D | gcd_zippel.c | 32 fq_nmod_mpolyu_t Aeval, Beval, Geval; in nmod_mpolyu_gcdm_zippel_bivar() local 75 fq_nmod_mpolyu_init(Geval, A->bits, ffctx); in nmod_mpolyu_gcdm_zippel_bivar() 95 fq_nmod_mpolyu_clear(Geval, ffctx); in nmod_mpolyu_gcdm_zippel_bivar() 103 fq_nmod_mpolyu_init(Geval, A->bits, ffctx); in nmod_mpolyu_gcdm_zippel_bivar() 125 if (fq_nmod_mpolyu_is_one(Geval, ffctx)) in nmod_mpolyu_gcdm_zippel_bivar() 134 FLINT_ASSERT(Geval->length > 0); in nmod_mpolyu_gcdm_zippel_bivar() 138 if (Geval->exps[0] > H->exps[0]) in nmod_mpolyu_gcdm_zippel_bivar() 142 else if (Geval->exps[0] < H->exps[0]) in nmod_mpolyu_gcdm_zippel_bivar() 151 fq_nmod_mpolyu_scalar_mul_fq_nmod(Geval, t, ffctx); in nmod_mpolyu_gcdm_zippel_bivar() 190 nmod_mpolyun_interp_lift_lg_mpolyu(H, ctx, Geval, ffctx); in nmod_mpolyu_gcdm_zippel_bivar() [all …]
|
H A D | mpolyn_gcd_brown.c | 762 fq_nmod_poly_init(Geval, ectx->fqctx); in nmod_mpolyn_gcd_brown_lgprime_bivar() 800 fq_nmod_poly_gcd(Geval, Aeval, Beval, ectx->fqctx); in nmod_mpolyn_gcd_brown_lgprime_bivar() 806 FLINT_ASSERT(Geval->length > 0); in nmod_mpolyn_gcd_brown_lgprime_bivar() 810 if (fq_nmod_poly_degree(Geval, ectx->fqctx) == 0) in nmod_mpolyn_gcd_brown_lgprime_bivar() 833 FLINT_ASSERT(fq_nmod_is_one(Geval->coeffs + Geval->length - 1, ectx->fqctx)); in nmod_mpolyn_gcd_brown_lgprime_bivar() 834 fq_nmod_poly_scalar_mul_fq_nmod(Geval, Geval, gammaeval, ectx->fqctx); in nmod_mpolyn_gcd_brown_lgprime_bivar() 919 fq_nmod_poly_clear(Geval, ectx->fqctx); in nmod_mpolyn_gcd_brown_lgprime_bivar() 1007 fq_nmod_mpolyn_init(Geval, bits, ectx); in nmod_mpolyn_gcd_brown_lgprime() 1056 if (fq_nmod_mpolyn_is_nonzero_fq_nmod(Geval, ectx)) in nmod_mpolyn_gcd_brown_lgprime() 1072 k = n_poly_degree(Geval->coeffs + 0); in nmod_mpolyn_gcd_brown_lgprime() [all …]
|
/dports/math/flint2/flint-2.8.4/nmod_mpoly_factor/ |
H A D | gcd_zippel.c | 615 nmod_mpoly_init3(Geval, 0, bits, ctx); in nmod_mpolyl_gcdp_zippel_smprime() 706 FLINT_ASSERT(Geval->length > 0); in nmod_mpolyl_gcdp_zippel_smprime() 707 FLINT_ASSERT(Geval->coeffs[0] == 1); in nmod_mpolyl_gcdp_zippel_smprime() 709 if (nmod_mpoly_is_one(Geval, ctx)) in nmod_mpolyl_gcdp_zippel_smprime() 718 Gdeg = nmod_mpoly_degree_si(Geval, 0, ctx); in nmod_mpolyl_gcdp_zippel_smprime() 730 nmod_mpoly_scalar_mul_nmod_invertible(Geval, Geval, gammaeval, ctx); in nmod_mpolyl_gcdp_zippel_smprime() 755 nmod_mpolyn_interp_lift_sm_mpoly(H, Geval, ctx); in nmod_mpolyl_gcdp_zippel_smprime() 831 if (success < 0 || Geval->coeffs[0] == 0) in nmod_mpolyl_gcdp_zippel_smprime() 835 temp = nmod_div(gammaeval, Geval->coeffs[0], ctx->mod); in nmod_mpolyl_gcdp_zippel_smprime() 836 nmod_mpoly_scalar_mul_nmod_invertible(Geval, Geval, temp, ctx); in nmod_mpolyl_gcdp_zippel_smprime() [all …]
|
/dports/math/flint2/flint-2.8.4/fmpz_mod_mpoly_factor/ |
H A D | gcd_zippel.c | 582 fmpz_mod_mpoly_init3(Geval, 0, bits, ctx); in fmpz_mod_mpolyl_gcdp_zippel() 668 success = fmpz_mod_mpolyl_gcdp_zippel(Geval, Abareval, Bbareval, in fmpz_mod_mpolyl_gcdp_zippel() 673 FLINT_ASSERT(Geval->length > 0); in fmpz_mod_mpolyl_gcdp_zippel() 674 FLINT_ASSERT(fmpz_is_one(Geval->coeffs + 0)); in fmpz_mod_mpolyl_gcdp_zippel() 676 if (fmpz_mod_mpoly_is_one(Geval, ctx)) in fmpz_mod_mpolyl_gcdp_zippel() 679 Gdeg = fmpz_mod_mpoly_degree_si(Geval, 0, ctx); in fmpz_mod_mpolyl_gcdp_zippel() 691 fmpz_mod_mpoly_scalar_mul_fmpz_mod_invertible(Geval, Geval, gammaeval, ctx); in fmpz_mod_mpolyl_gcdp_zippel() 715 fmpz_mod_mpolyn_interp_lift_sm_mpoly(H, Geval, ctx); in fmpz_mod_mpolyl_gcdp_zippel() 791 if (success < 0 || fmpz_is_zero(Geval->coeffs + 0)) in fmpz_mod_mpolyl_gcdp_zippel() 796 fmpz_mod_mpoly_scalar_mul_fmpz_mod_invertible(Geval, Geval, temp, ctx); in fmpz_mod_mpolyl_gcdp_zippel() [all …]
|
/dports/math/flint2/flint-2.8.4/n_poly/ |
H A D | n_fq_bpoly_gcd.c | 881 Geval = n_poly_stack_take_top(Sp->poly_stack); in n_fq_bpoly_gcd_brown_smprime() 932 n_fq_poly_divrem(Abareval, r, Aeval, Geval, ctx); in n_fq_bpoly_gcd_brown_smprime() 934 n_fq_poly_divrem(Bbareval, r, Beval, Geval, ctx); in n_fq_bpoly_gcd_brown_smprime() 950 n_fq_poly_gcd(Geval, Aeval, Beval, ctx); in n_fq_bpoly_gcd_brown_smprime() 951 n_fq_poly_divrem(Abareval, r, Aeval, Geval, ctx); in n_fq_bpoly_gcd_brown_smprime() 952 n_fq_poly_divrem(Bbareval, r, Beval, Geval, ctx); in n_fq_bpoly_gcd_brown_smprime() 956 FLINT_ASSERT(Geval->length > 0); in n_fq_bpoly_gcd_brown_smprime() 960 if (n_fq_poly_degree(Geval) == 0) in n_fq_bpoly_gcd_brown_smprime() 972 if (n_fq_poly_degree(Geval) > n_fq_bpoly_degree0(G)) in n_fq_bpoly_gcd_brown_smprime() 979 n_fq_poly_scalar_mul_n_fq(Geval, Geval, gammaeval, ctx); in n_fq_bpoly_gcd_brown_smprime() [all …]
|
/dports/math/e-antic/flint2-ae7ec89/fmpz_mpoly/ |
H A D | gcd_berlekamp_massey.c | 2428 nmod_poly_t Geval, Aeval, Beval; in fmpz_mpolyuu_gcd_degree_bound_minor() local 2438 nmod_poly_init(Geval, p); in fmpz_mpolyuu_gcd_degree_bound_minor() 2468 nmod_poly_clear(Geval); in fmpz_mpolyuu_gcd_degree_bound_minor() 2471 nmod_poly_init(Geval, p); in fmpz_mpolyuu_gcd_degree_bound_minor() 2477 nmod_poly_gcd(Geval, Aeval, Beval); in fmpz_mpolyuu_gcd_degree_bound_minor() 2478 degRet = nmod_poly_degree(Geval); in fmpz_mpolyuu_gcd_degree_bound_minor() 2482 nmod_poly_clear(Geval); in fmpz_mpolyuu_gcd_degree_bound_minor() 2652 fmpz_mod_mpolyn_t Geval, in _random_check() argument 2700 FLINT_ASSERT(Geval->length > 0); in _random_check() 3292 FLINT_ASSERT(Geval->length > 0); in fmpz_mpolyuu_gcd_berlekamp_massey() [all …]
|
/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/fmpz_mpoly/ |
H A D | gcd_berlekamp_massey.c | 2428 nmod_poly_t Geval, Aeval, Beval; in fmpz_mpolyuu_gcd_degree_bound_minor() local 2438 nmod_poly_init(Geval, p); in fmpz_mpolyuu_gcd_degree_bound_minor() 2468 nmod_poly_clear(Geval); in fmpz_mpolyuu_gcd_degree_bound_minor() 2471 nmod_poly_init(Geval, p); in fmpz_mpolyuu_gcd_degree_bound_minor() 2477 nmod_poly_gcd(Geval, Aeval, Beval); in fmpz_mpolyuu_gcd_degree_bound_minor() 2478 degRet = nmod_poly_degree(Geval); in fmpz_mpolyuu_gcd_degree_bound_minor() 2482 nmod_poly_clear(Geval); in fmpz_mpolyuu_gcd_degree_bound_minor() 2652 fmpz_mod_mpolyn_t Geval, in _random_check() argument 2700 FLINT_ASSERT(Geval->length > 0); in _random_check() 3292 FLINT_ASSERT(Geval->length > 0); in fmpz_mpolyuu_gcd_berlekamp_massey() [all …]
|