| /dports/math/flint2/flint-2.8.4/fmpz_mod_mpoly_factor/test/ |
| H A D | t-factor.c | 96 slong nfacs, len; in main() local
104 nfacs = 5 + n_randint(state, 5); in main()
106 expbound = 3 + 70/nfacs/powbound; in main()
110 for (j = 0; j < nfacs; j++) in main()
137 slong nfacs, len; in main() local
145 nfacs = 1 + (6 + n_randint(state, 6))/ctx->minfo->nvars; in main()
148 expbound = 3 + 100/nfacs/ctx->minfo->nvars/powbound; in main()
152 for (j = 0; j < nfacs; j++) in main()
|
| H A D | t-factor_squarefree.c | 93 slong nfacs, len; in main() local
101 nfacs = 1 + (6 + n_randint(state, 6))/ctx->minfo->nvars; in main()
103 expbound = 3 + 25/nfacs/ctx->minfo->nvars/powbound; in main()
106 for (j = 0; j < nfacs; j++) in main()
|
| H A D | t-factor_zassenhaus.c | 104 slong nfacs, len; in main() local
112 nfacs = 1 + (6 + n_randint(state, 6))/ctx->minfo->nvars; in main()
115 expbound = 3 + 15/nfacs/ctx->minfo->nvars/powbound; in main()
119 for (j = 0; j < nfacs; j++) in main()
|
| H A D | t-factor_wang.c | 105 slong nfacs, len; in main() local
113 nfacs = 1 + (6 + n_randint(state, 6))/ctx->minfo->nvars; in main()
116 expbound = 3 + 20/nfacs/ctx->minfo->nvars/powbound; in main()
120 for (j = 0; j < nfacs; j++) in main()
|
| H A D | t-factor_zippel.c | 104 slong nfacs, len; in main() local
112 nfacs = 1 + (6 + n_randint(state, 6))/ctx->minfo->nvars; in main()
115 expbound = 2 + 80/nfacs/ctx->minfo->nvars/powbound; in main()
119 for (j = 0; j < nfacs; j++) in main()
|
| /dports/math/flint2/flint-2.8.4/nmod_mpoly_factor/test/ |
| H A D | t-factor.c | 121 slong nfacs, len; in main() local
134 nfacs = 5 + n_randint(state, 5); in main()
136 expbound = 3 + 70/nfacs/powbound; in main()
140 for (j = 0; j < nfacs; j++) in main()
167 slong nfacs, len; in main() local
180 nfacs = 1 + (6 + n_randint(state, 6))/ctx->minfo->nvars; in main()
183 expbound = 3 + 100/nfacs/ctx->minfo->nvars/powbound; in main()
187 for (j = 0; j < nfacs; j++) in main()
|
| H A D | t-factor_squarefree.c | 93 slong nfacs, len; in main() local
106 nfacs = 1 + (6 + n_randint(state, 6))/ctx->minfo->nvars; in main()
108 expbound = 3 + 25/nfacs/ctx->minfo->nvars/powbound; in main()
111 for (j = 0; j < nfacs; j++) in main()
|
| H A D | t-factor_wang.c | 105 slong nfacs, len; in main() local
118 nfacs = 1 + (6 + n_randint(state, 6))/ctx->minfo->nvars; in main()
121 expbound = 3 + 20/nfacs/ctx->minfo->nvars/powbound; in main()
125 for (j = 0; j < nfacs; j++) in main()
|
| H A D | t-factor_zassenhaus.c | 104 slong nfacs, len; in main() local
117 nfacs = 1 + (6 + n_randint(state, 6))/ctx->minfo->nvars; in main()
120 expbound = 3 + 15/nfacs/ctx->minfo->nvars/powbound; in main()
124 for (j = 0; j < nfacs; j++) in main()
|
| H A D | t-factor_zippel.c | 104 slong nfacs, len; in main() local
117 nfacs = 1 + (6 + n_randint(state, 6))/ctx->minfo->nvars; in main()
120 expbound = 2 + 80/nfacs/ctx->minfo->nvars/powbound; in main()
124 for (j = 0; j < nfacs; j++) in main()
|
| /dports/math/flint2/flint-2.8.4/fq_nmod_mpoly_factor/test/ |
| H A D | t-factor_squarefree.c | 94 slong nfacs, len; in main() local
101 nfacs = 2 + n_randint(state, 4); in main()
103 expbound = 2 + 20/nfacs/ctx->minfo->nvars; in main()
106 for (j = 0; j < nfacs; j++) in main()
109 len = 1 + n_randint(state, 2 + 15/pow/nfacs); in main()
|
| H A D | t-factor.c | 91 slong nfacs, len; in main() local
98 nfacs = 2 + (6 + n_randint(state, 6))/ctx->minfo->nvars; in main()
101 expbound = 2 + 50/nfacs/ctx->minfo->nvars; in main()
105 for (j = 0; j < nfacs; j++) in main()
107 len = 1 + n_randint(state, 1 + 20/powbound/nfacs); in main()
|
| H A D | t-factor_wang.c | 107 slong nfacs, len; in main() local
114 nfacs = 2 + (6 + n_randint(state, 6))/ctx->minfo->nvars; in main()
117 expbound = 2 + 40/nfacs/ctx->minfo->nvars; in main()
121 for (j = 0; j < nfacs; j++) in main()
123 len = 1 + n_randint(state, 1 + 20/powbound/nfacs); in main()
|
| H A D | t-factor_zippel.c | 105 slong nfacs, len; in main() local
112 nfacs = 2 + (6 + n_randint(state, 6))/ctx->minfo->nvars; in main()
115 expbound = 2 + 50/nfacs/ctx->minfo->nvars; in main()
119 for (j = 0; j < nfacs; j++) in main()
121 len = 1 + n_randint(state, 1 + 15/powbound/nfacs); in main()
|
| H A D | t-factor_zassenhaus.c | 105 slong nfacs, len; in main() local
112 nfacs = 2 + (5 + n_randint(state, 5))/ctx->minfo->nvars; in main()
115 expbound = 2 + 30/nfacs/ctx->minfo->nvars; in main()
119 for (j = 0; j < nfacs; j++) in main()
121 len = 1 + n_randint(state, 1 + 20/powbound/nfacs); in main()
|
| /dports/math/flint2/flint-2.8.4/fmpz_mpoly_factor/test/ |
| H A D | t-factor_squarefree.c | 95 slong nfacs, len; in main() local
103 nfacs = 1 + (7 + n_randint(state, 7))/ctx->minfo->nvars; in main()
105 expbound = 2 + 50/nfacs/ctx->minfo->nvars/powbound; in main()
109 for (j = 0; j < nfacs; j++) in main()
112 coeff_bits = 10 + n_randint(state, 200)/nfacs; in main()
|
| H A D | t-factor.c | 115 slong nfacs, len; in main() local
123 nfacs = 1 + (5 + n_randint(state, 5))/ctx->minfo->nvars; in main()
124 expbound = 3 + 40/nfacs/ctx->minfo->nvars; in main()
129 for (j = 0; j < nfacs; j++) in main()
133 coeff_bits = 10 + n_randint(state, 1000)/nfacs; in main()
|
| H A D | t-factor_zippel.c | 107 slong nfacs, len; in main() local
115 nfacs = 1 + (5 + n_randint(state, 5))/ctx->minfo->nvars; in main()
116 expbound = 3 + 40/nfacs/ctx->minfo->nvars; in main()
121 for (j = 0; j < nfacs; j++) in main()
125 coeff_bits = 10 + n_randint(state, 1000)/nfacs; in main()
|
| H A D | t-factor_wang.c | 107 slong nfacs, len; in main() local
116 nfacs = 1 + (4 + n_randint(state, 5))/ctx->minfo->nvars; in main()
117 expbound = 2 + 25/nfacs/ctx->minfo->nvars; in main()
122 for (j = 0; j < nfacs; j++) in main()
126 coeff_bits = 100 + n_randint(state, 300)/nfacs; in main()
|
| H A D | t-factor_zassenhaus.c | 158 slong nfacs, len; in main() local
166 nfacs = 1 + (4 + n_randint(state, 5))/ctx->minfo->nvars; in main()
167 expbound = 2 + 20/nfacs/ctx->minfo->nvars; in main()
172 for (j = 0; j < nfacs; j++) in main()
176 coeff_bits = 10 + n_randint(state, 300)/nfacs; in main()
|
| /dports/cad/gtkwave/gtkwave-3.3.107/examples/ |
| H A D | des.tcl | 12 set nfacs [ gtkwave::getNumFacs ]
16 puts "number of signals in dumpfile '$dumpname' of type $dmt: $nfacs"
20 for {set i 0} {$i < $nfacs } {incr i} {
|
| /dports/math/flint2/flint-2.8.4/fmpq_mpoly_factor/test/ |
| H A D | t-factor.c | 124 slong nfacs, len; in main() local
132 nfacs = 1 + (5 + n_randint(state, 5))/ctx->zctx->minfo->nvars; in main()
133 expbound = 3 + 40/nfacs/ctx->zctx->minfo->nvars; in main()
138 for (j = 0; j < nfacs; j++) in main()
142 coeff_bits = 10 + n_randint(state, 200)/nfacs; in main()
|
| /dports/math/ntl/ntl-11.5.1/src/ |
| H A D | MoreFacTest.cpp | 28 long nfacs; in main() local
31 cin >> nfacs; in main()
57 if (nfacs1 != nfacs) in main()
|
| /dports/math/p5-Math-Prime-Util-GMP/Math-Prime-Util-GMP-0.52/ |
| H A D | simpqs.c | 942 for (i = 0; i < nfacs; i++) { in verify_factor_array()
948 for (i = 0; i < nfacs; i++) in verify_factor_array()
952 for (i = 0; i < nfacs; i++) { in verify_factor_array()
978 return nfacs; in insert_factor()
981 for (i = 0; i < nfacs; i++) in insert_factor()
984 if (i != nfacs) { return nfacs; } in insert_factor()
1000 nfacs = insert_factor(n, farray, nfacs, t2); in insert_factor()
1001 nfacs = insert_factor(n, farray, nfacs, t); in insert_factor()
1002 nfacs = insert_factor(n, farray, nfacs, f); in insert_factor()
1007 if (i == nfacs) in insert_factor()
[all …]
|
| /dports/cad/ngspice_rework/ngspice-35/examples/digital/ |
| H A D | nggtk.tcl | 2 set nfacs [ gtkwave::getNumFacs ]
4 for {set i 0} {$i < $nfacs } {incr i} {
|