Searched defs:deg_bound (Results 1 – 7 of 7) sorted by relevance
/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 416 def GPS_with_proof_path(G, proof_path, deg_bound, over_deg_bound): argument 466 def GPS_with_suggestions(G, deg_bound, over_deg_bound, opt_lazy=True, argument 547 def GPS_with_non_binary_proof_path(G, proof_path, deg_bound, over_deg_bound): argument 599 deg_bound=1000000000000, opt_lazy=False, argument
|
H A D | gbcore.py | 580 modified_linear_algebra=True, preprocessor=None, deg_bound=False, argument
|
/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 416 def GPS_with_proof_path(G, proof_path, deg_bound, over_deg_bound): argument 466 def GPS_with_suggestions(G, deg_bound, over_deg_bound, opt_lazy=True, argument 547 def GPS_with_non_binary_proof_path(G, proof_path, deg_bound, over_deg_bound): argument 599 deg_bound=1000000000000, opt_lazy=False, argument
|
H A D | gbcore.py | 580 modified_linear_algebra=True, preprocessor=None, deg_bound=False, argument
|
/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()
|
/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()
|
/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()
|