Home
last modified time | relevance | path

Searched refs:expbound (Results 1 – 23 of 23) sorted by relevance

/dports/math/flint2/flint-2.8.4/fmpz_mod_mpoly_factor/test/
H A Dt-factor.c97 ulong expbound, powbound, pow, expbounds[2]; in main() local
106 expbound = 3 + 70/nfacs/powbound; in main()
113 expbounds[0] = 1 + n_randint(state, expbound); in main()
114 expbounds[1] = 1 + n_randint(state, expbound); in main()
138 ulong expbound, powbound, pow; in main() local
148 expbound = 3 + 100/nfacs/ctx->minfo->nvars/powbound; in main()
155 fmpz_mod_mpoly_randtest_bound(t, state, len, expbound, ctx); in main()
H A Dt-factor_squarefree.c94 ulong expbound, powbound, pow; in main() local
103 expbound = 3 + 25/nfacs/ctx->minfo->nvars/powbound; in main()
109 fmpz_mod_mpoly_randtest_bound(t, state, len, expbound, ctx); in main()
H A Dt-factor_zassenhaus.c105 ulong expbound, powbound, pow; in main() local
115 expbound = 3 + 15/nfacs/ctx->minfo->nvars/powbound; in main()
122 fmpz_mod_mpoly_randtest_bound(t, state, len, expbound, ctx); in main()
H A Dt-factor_wang.c106 ulong expbound, powbound, pow; in main() local
116 expbound = 3 + 20/nfacs/ctx->minfo->nvars/powbound; in main()
123 fmpz_mod_mpoly_randtest_bound(t, state, len, expbound, ctx); in main()
H A Dt-factor_zippel.c105 ulong expbound, powbound, pow; in main() local
115 expbound = 2 + 80/nfacs/ctx->minfo->nvars/powbound; in main()
122 fmpz_mod_mpoly_randtest_bound(t, state, len, expbound, ctx); in main()
/dports/math/flint2/flint-2.8.4/nmod_mpoly_factor/test/
H A Dt-factor.c122 ulong expbound, powbound, pow, expbounds[2]; in main() local
136 expbound = 3 + 70/nfacs/powbound; in main()
143 expbounds[0] = 1 + n_randint(state, expbound); in main()
144 expbounds[1] = 1 + n_randint(state, expbound); in main()
168 ulong expbound, powbound, pow; in main() local
183 expbound = 3 + 100/nfacs/ctx->minfo->nvars/powbound; in main()
190 nmod_mpoly_randtest_bound(t, state, len, expbound, ctx); in main()
H A Dt-factor_squarefree.c94 ulong expbound, powbound, pow; in main() local
108 expbound = 3 + 25/nfacs/ctx->minfo->nvars/powbound; in main()
114 nmod_mpoly_randtest_bound(t, state, len, expbound, ctx); in main()
H A Dt-factor_wang.c106 ulong expbound, powbound, pow; in main() local
121 expbound = 3 + 20/nfacs/ctx->minfo->nvars/powbound; in main()
128 nmod_mpoly_randtest_bound(t, state, len, expbound, ctx); in main()
H A Dt-factor_zassenhaus.c105 ulong expbound, powbound, pow; in main() local
120 expbound = 3 + 15/nfacs/ctx->minfo->nvars/powbound; in main()
127 nmod_mpoly_randtest_bound(t, state, len, expbound, ctx); in main()
H A Dt-factor_zippel.c105 ulong expbound, powbound, pow; in main() local
120 expbound = 2 + 80/nfacs/ctx->minfo->nvars/powbound; in main()
127 nmod_mpoly_randtest_bound(t, state, len, expbound, ctx); in main()
/dports/math/flint2/flint-2.8.4/fq_nmod_mpoly_factor/test/
H A Dt-factor_squarefree.c95 ulong expbound, powbound, pow; in main() local
103 expbound = 2 + 20/nfacs/ctx->minfo->nvars; in main()
110 fq_nmod_mpoly_randtest_bound(t, state, len, expbound, ctx); in main()
H A Dt-factor.c92 ulong expbound, powbound, pow; in main() local
101 expbound = 2 + 50/nfacs/ctx->minfo->nvars; in main()
108 fq_nmod_mpoly_randtest_bound(t, state, len, expbound, ctx); in main()
H A Dt-factor_wang.c108 ulong expbound, powbound, pow; in main() local
117 expbound = 2 + 40/nfacs/ctx->minfo->nvars; in main()
124 fq_nmod_mpoly_randtest_bound(t, state, len, expbound, ctx); in main()
H A Dt-factor_zippel.c106 ulong expbound, powbound, pow; in main() local
115 expbound = 2 + 50/nfacs/ctx->minfo->nvars; in main()
122 fq_nmod_mpoly_randtest_bound(t, state, len, expbound, ctx); in main()
H A Dt-factor_zassenhaus.c106 ulong expbound, powbound, pow; in main() local
115 expbound = 2 + 30/nfacs/ctx->minfo->nvars; in main()
122 fq_nmod_mpoly_randtest_bound(t, state, len, expbound, ctx); in main()
/dports/math/flint2/flint-2.8.4/fmpz_mpoly_factor/test/
H A Dt-factor_squarefree.c96 ulong expbound, powbound, pow; in main() local
105 expbound = 2 + 50/nfacs/ctx->minfo->nvars/powbound; in main()
113 fmpz_mpoly_randtest_bound(t, state, len, coeff_bits, expbound, ctx); in main()
H A Dt-factor.c116 ulong expbound, powbound, pow; in main() local
124 expbound = 3 + 40/nfacs/ctx->minfo->nvars; in main()
134 fmpz_mpoly_randtest_bound(t, state, len, coeff_bits, expbound, ctx); in main()
H A Dt-factor_zippel.c108 ulong expbound, powbound, pow; in main() local
116 expbound = 3 + 40/nfacs/ctx->minfo->nvars; in main()
126 fmpz_mpoly_randtest_bound(t, state, len, coeff_bits, expbound, ctx); in main()
H A Dt-factor_wang.c108 ulong expbound, powbound, pow; in main() local
117 expbound = 2 + 25/nfacs/ctx->minfo->nvars; in main()
127 fmpz_mpoly_randtest_bound(t, state, len, coeff_bits, expbound, ctx); in main()
H A Dt-factor_zassenhaus.c159 ulong expbound, powbound, pow; in main() local
167 expbound = 2 + 20/nfacs/ctx->minfo->nvars; in main()
177 fmpz_mpoly_randtest_bound(t, state, len, coeff_bits, expbound, ctx); in main()
/dports/math/flint2/flint-2.8.4/fmpq_mpoly_factor/test/
H A Dt-factor.c125 ulong expbound, powbound, pow; in main() local
133 expbound = 3 + 40/nfacs/ctx->zctx->minfo->nvars; in main()
143 fmpq_mpoly_randtest_bound(t, state, len, coeff_bits, expbound, ctx); in main()
/dports/math/arb/arb-2.21.1/arb/
H A Dexp.c51 arb_exp_arf_overflow(arb_t z, slong expbound, int negative, int minus_one, slong prec) in arb_exp_arf_overflow() argument
65 fmpz_mul_2exp(t, t, expbound); in arb_exp_arf_overflow()
/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/
H A Dkutil.cc11205 BOOLEAN kStratChangeTailRing(kStrategy strat, LObject *L, TObject* T, unsigned long expbound) in kStratChangeTailRing() argument
11211 if (expbound == 0) expbound = strat->tailRing->bitmask << 1; in kStratChangeTailRing()
11212 if (expbound >= currRing->bitmask) return FALSE; in kStratChangeTailRing()
11219 expbound); // exp_limit in kStratChangeTailRing()