| /dports/math/flint2/flint-2.8.4/nmod_mpoly/ |
| H A D | gcd_zippel2.c | 508 slong cur_zip_image, req_zip_images, this_length; in nmod_mpolyl_gcd_zippel_smprime() local
943 for (cur_zip_image = 0; cur_zip_image < req_zip_images; cur_zip_image++) in nmod_mpolyl_gcd_zippel_smprime()
972 if ((use & USE_G) && !n_polyu2n_add_zip_must_match(ZG, Gev, cur_zip_image)) in nmod_mpolyl_gcd_zippel_smprime()
974 if ((use & USE_ABAR) && !n_polyu2n_add_zip_must_match(ZAbar, Abarev, cur_zip_image)) in nmod_mpolyl_gcd_zippel_smprime()
976 if ((use & USE_BBAR) && !n_polyu2n_add_zip_must_match(ZBbar, Bbarev, cur_zip_image)) in nmod_mpolyl_gcd_zippel_smprime()
1211 slong cur_zip_image, req_zip_images, this_length; in nmod_mpolyl_gcd_zippel_lgprime() local
1781 for (cur_zip_image = 0; cur_zip_image < req_zip_images; cur_zip_image++) in nmod_mpolyl_gcd_zippel_lgprime()
1812 … if ((use & USE_G) && !n_fq_polyu2n_add_zip_must_match(ZG, Gev, cur_zip_image, lgctx->fqctx)) in nmod_mpolyl_gcd_zippel_lgprime()
1814 … ((use & USE_ABAR) && !n_fq_polyu2n_add_zip_must_match(ZAbar, Abarev, cur_zip_image, lgctx->fqctx)) in nmod_mpolyl_gcd_zippel_lgprime()
1989 for (cur_zip_image = 0; cur_zip_image < req_zip_images; cur_zip_image++) in nmod_mpolyl_gcd_zippel_lgprime()
[all …]
|
| /dports/math/flint2/flint-2.8.4/fq_nmod_mpoly/ |
| H A D | gcd_zippel2.c | 578 slong cur_zip_image, req_zip_images, this_length; in fq_nmod_mpolyl_gcd_zippel_smprime() local
1059 for (cur_zip_image = 0; cur_zip_image < req_zip_images; cur_zip_image++) in fq_nmod_mpolyl_gcd_zippel_smprime()
1098 … if ((use & USE_G) && !n_fq_polyu2n_add_zip_must_match(ZG, Gev, cur_zip_image, ctx->fqctx)) in fq_nmod_mpolyl_gcd_zippel_smprime()
1100 …if ((use & USE_ABAR) && !n_fq_polyu2n_add_zip_must_match(ZAbar, Abarev, cur_zip_image, ctx->fqctx)) in fq_nmod_mpolyl_gcd_zippel_smprime()
1102 …if ((use & USE_BBAR) && !n_fq_polyu2n_add_zip_must_match(ZBbar, Bbarev, cur_zip_image, ctx->fqctx)) in fq_nmod_mpolyl_gcd_zippel_smprime()
1421 slong cur_zip_image, req_zip_images, this_length; in fq_nmod_mpolyl_gcd_zippel_lgprime() local
1985 for (cur_zip_image = 0; cur_zip_image < req_zip_images; cur_zip_image++) in fq_nmod_mpolyl_gcd_zippel_lgprime()
2016 … if ((use & USE_G) && !n_fq_polyu2n_add_zip_must_match(ZG, Gev, cur_zip_image, lgctx->fqctx)) in fq_nmod_mpolyl_gcd_zippel_lgprime()
2018 … ((use & USE_ABAR) && !n_fq_polyu2n_add_zip_must_match(ZAbar, Abarev, cur_zip_image, lgctx->fqctx)) in fq_nmod_mpolyl_gcd_zippel_lgprime()
2194 for (cur_zip_image = 0; cur_zip_image < req_zip_images; cur_zip_image++) in fq_nmod_mpolyl_gcd_zippel_lgprime()
[all …]
|
| /dports/math/flint2/flint-2.8.4/nmod_mpoly_factor/ |
| H A D | mpoly_hlift_zippel.c | 595 slong i, zip_fails_remaining, req_zip_images, cur_zip_image; in nmod_mpoly_hlift_zippel() local
699 cur_zip_image = 0; in nmod_mpoly_hlift_zippel()
720 cur_zip_image, req_zip_images); in nmod_mpoly_hlift_zippel()
723 cur_zip_image++; in nmod_mpoly_hlift_zippel()
724 if (cur_zip_image < req_zip_images) in nmod_mpoly_hlift_zippel()
|
| H A D | gcd_zippel.c | 169 slong i, s, S, n, cur_zip_image; in nmod_mpolyl_gcds_zippel() local
283 for (cur_zip_image = 0; cur_zip_image < l; cur_zip_image++) in nmod_mpolyl_gcds_zippel()
314 if (!n_poly_add_zip_must_match(ZG, Gev, cur_zip_image)) in nmod_mpolyl_gcds_zippel()
|
| /dports/math/flint2/flint-2.8.4/fmpz_mod_mpoly_factor/ |
| H A D | gcd_zippel.c | 137 slong i, s, S, n, cur_zip_image; in fmpz_mod_mpolyl_gcds_zippel() local
241 for (cur_zip_image = 0; cur_zip_image < l; cur_zip_image++) in fmpz_mod_mpolyl_gcds_zippel()
270 if (!fmpz_mod_poly_add_zip_must_match(ZG, Gev, cur_zip_image)) in fmpz_mod_mpolyl_gcds_zippel()
|
| H A D | gcd_zippel2.c | 557 slong cur_zip_image, req_zip_images, this_length; in fmpz_mod_mpolyl_gcd_zippel2_smprime() local
1017 for (cur_zip_image = 0; cur_zip_image < req_zip_images; cur_zip_image++) in fmpz_mod_mpolyl_gcd_zippel2_smprime()
1046 if ((use & USE_G) && !fmpz_mod_polyun_add_zip_must_match(ZG, Gev, cur_zip_image)) in fmpz_mod_mpolyl_gcd_zippel2_smprime()
1048 … if ((use & USE_ABAR) && !fmpz_mod_polyun_add_zip_must_match(ZAbar, Abarev, cur_zip_image)) in fmpz_mod_mpolyl_gcd_zippel2_smprime()
1050 … if ((use & USE_BBAR) && !fmpz_mod_polyun_add_zip_must_match(ZBbar, Bbarev, cur_zip_image)) in fmpz_mod_mpolyl_gcd_zippel2_smprime()
|
| H A D | mpoly_hlift_zippel.c | 858 slong i, zip_fails_remaining, req_zip_images, cur_zip_image; in fmpz_mod_mpoly_hlift_zippel() local
951 cur_zip_image = 0; in fmpz_mod_mpoly_hlift_zippel()
972 cur_zip_image, req_zip_images, ctx->ffinfo); in fmpz_mod_mpoly_hlift_zippel()
975 cur_zip_image++; in fmpz_mod_mpoly_hlift_zippel()
976 if (cur_zip_image < req_zip_images) in fmpz_mod_mpoly_hlift_zippel()
|
| /dports/math/flint2/flint-2.8.4/fmpz_mpoly_factor/ |
| H A D | irred_zippel.c | 445 slong req_zip_images, cur_zip_image, this_images; in fmpz_mfactor_lift_prime_power_zippel() local
567 cur_zip_image = 0; in fmpz_mfactor_lift_prime_power_zippel()
584 success = n_polyu2n_add_zip_must_match(Z + i, Ceval + i, cur_zip_image); in fmpz_mfactor_lift_prime_power_zippel()
592 cur_zip_image++; in fmpz_mfactor_lift_prime_power_zippel()
593 if (cur_zip_image < req_zip_images) in fmpz_mfactor_lift_prime_power_zippel()
|
| H A D | gcd_zippel2.c | 1544 slong cur_zip_image, req_zip_images; in fmpz_mpolyl_gcd_zippel2() local
2242 for (cur_zip_image = 0; cur_zip_image < req_zip_images; cur_zip_image++) in fmpz_mpolyl_gcd_zippel2()
2282 cur_zip_image); in fmpz_mpolyl_gcd_zippel2()
|
| /dports/math/flint2/flint-2.8.4/fq_zech_mpoly_factor/ |
| H A D | irred_smprime_zippel.c | 881 slong req_zip_images, cur_zip_image; in fq_zech_mpoly_hlift_zippel() local
982 cur_zip_image = 0; in fq_zech_mpoly_hlift_zippel()
1005 cur_zip_image, req_zip_images, ctx->fqctx); in fq_zech_mpoly_hlift_zippel()
1008 cur_zip_image++; in fq_zech_mpoly_hlift_zippel()
1009 if (cur_zip_image < req_zip_images) in fq_zech_mpoly_hlift_zippel()
|
| /dports/math/flint2/flint-2.8.4/fq_nmod_mpoly_factor/ |
| H A D | irred_smprime_zippel.c | 1029 slong req_zip_images, cur_zip_image; in fq_nmod_mpoly_hlift_zippel() local
1158 for (cur_zip_image = 0; cur_zip_image < req_zip_images; cur_zip_image++) in fq_nmod_mpoly_hlift_zippel()
1187 cur_zip_image, req_zip_images, ctx->fqctx); in fq_nmod_mpoly_hlift_zippel()
|