| /dports/math/brial/BRiAl-1.2.10/sage-brial/brial/ |
| H A D | nf.py | 206 def symmGB_F2_python(G, deg_bound=1000000000000, over_deg_bound=0, argument
279 if (strat.top_sugar() > deg_bound) and (over_deg_bound <= 0):
281 if (strat.top_sugar() > deg_bound):
386 strat = symmGB_F2_python(strat, prot=True, deg_bound=2,
416 def GPS_with_proof_path(G, proof_path, deg_bound, over_deg_bound): argument
433 strat = symmGB_F2_python(strat, deg_bound=deg_bound, opt_lazy=False,
466 def GPS_with_suggestions(G, deg_bound, over_deg_bound, opt_lazy=True, argument
478 strat = symmGB_F2_python(strat, deg_bound=deg_bound,
540 strat = symmGB_F2_python(strat, deg_bound=max(deg_bound,
561 strat = symmGB_F2_python(strat, deg_bound=deg_bound,
[all …]
|
| H A D | gbcore.py | 459 deg_bound=False,
580 modified_linear_algebra=True, preprocessor=None, deg_bound=False, argument
602 if deg_bound is False:
603 deg_bound = 100000000
628 deg_bound=deg_bound,
|
| /dports/math/py-brial/BRiAl-1.2.10/sage-brial/brial/ |
| H A D | nf.py | 206 def symmGB_F2_python(G, deg_bound=1000000000000, over_deg_bound=0, argument
279 if (strat.top_sugar() > deg_bound) and (over_deg_bound <= 0):
281 if (strat.top_sugar() > deg_bound):
386 strat = symmGB_F2_python(strat, prot=True, deg_bound=2,
416 def GPS_with_proof_path(G, proof_path, deg_bound, over_deg_bound): argument
433 strat = symmGB_F2_python(strat, deg_bound=deg_bound, opt_lazy=False,
466 def GPS_with_suggestions(G, deg_bound, over_deg_bound, opt_lazy=True, argument
478 strat = symmGB_F2_python(strat, deg_bound=deg_bound,
540 strat = symmGB_F2_python(strat, deg_bound=max(deg_bound,
561 strat = symmGB_F2_python(strat, deg_bound=deg_bound,
[all …]
|
| H A D | gbcore.py | 459 deg_bound=False,
580 modified_linear_algebra=True, preprocessor=None, deg_bound=False, argument
602 if deg_bound is False:
603 deg_bound = 100000000
628 deg_bound=deg_bound,
|
| /dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/fq_nmod_mpoly/ |
| H A D | ctx_init_rand.c | 15 slong max_nvars, flint_bitcnt_t p_bits_bound, slong deg_bound) in fq_nmod_mpoly_ctx_init_rand() argument
22 d = 1 + n_randint(state, deg_bound); in fq_nmod_mpoly_ctx_init_rand()
|
| /dports/math/e-antic/flint2-ae7ec89/fq_nmod_mpoly/ |
| H A D | ctx_init_rand.c | 15 slong max_nvars, flint_bitcnt_t p_bits_bound, slong deg_bound) in fq_nmod_mpoly_ctx_init_rand() argument
22 d = 1 + n_randint(state, deg_bound); in fq_nmod_mpoly_ctx_init_rand()
|
| /dports/math/flint2/flint-2.8.4/fq_nmod_mpoly/ |
| H A D | ctx_init_rand.c | 15 slong max_nvars, flint_bitcnt_t p_bits_bound, slong deg_bound) in fq_nmod_mpoly_ctx_init_rand() argument
22 d = 1 + n_randint(state, deg_bound); in fq_nmod_mpoly_ctx_init_rand()
|
| /dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/ |
| H A D | fq_nmod_mpoly.h | 253 flint_bitcnt_t p_bits, slong deg_bound);
|
| /dports/math/e-antic/flint2-ae7ec89/ |
| H A D | fq_nmod_mpoly.h | 253 flint_bitcnt_t p_bits, slong deg_bound);
|
| /dports/math/flint2/flint-2.8.4/ |
| H A D | fq_nmod_mpoly.h | 226 flint_bitcnt_t p_bits, slong deg_bound);
|