Home
last modified time | relevance | path

Searched refs:Geval (Results 1 – 25 of 44) 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
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 Dmpolyn_gcd_brown.c58 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 Dmpolyu_gcdp_zippel.c381 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 Dgcd_zippel.c35 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 Dmpolyn_gcd_brown.c58 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 Dmpolyu_gcdp_zippel.c269 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 Dgcd_zippel.c35 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 Dmpolyn_gcd_brown.c58 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 Dmpolyu_gcdp_zippel.c269 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 Dmpolyn_gcd_brown.c26 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 Dmpolyn_gcd_brown.c26 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 Dmpolyu_gcdp_zippel.c194 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 Dmpolyn_gcd_brown.c763 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 Dgcd_zippel.c33 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 Dmpolyu_gcdp_zippel.c194 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 Dmpolyn_gcd_brown.c763 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 Dgcd_zippel.c33 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 Dmpolyu_gcdp_zippel.c194 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 Dgcd_zippel.c32 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 Dmpolyn_gcd_brown.c762 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 Dgcd_zippel.c615 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 Dgcd_zippel.c582 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 Dn_fq_bpoly_gcd.c881 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 Dgcd_berlekamp_massey.c2428 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 Dgcd_berlekamp_massey.c2428 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 …]

12