| /dports/math/gap/gap-4.11.0/pkg/kbmag-1.5.9/standalone/src/ |
| H A D | gpgenmult.c | 61 int arg, i, *inv, ngens, maxwdiffs, maxeqns; in main() local
77 maxeqns = MAXEQNS; in main()
118 maxeqns = atoi(argv[arg]); in main()
161 tmalloc(eqnptr, reduction_equation, maxeqns) else in main()
164 maxeqns = 0; in main()
168 maxeqns, eqnstop, &foundeqns, readback); in main()
194 while (eqnptr[i].lhs && i < maxeqns) { in main()
211 while (eqnptr[i].lhs && i < maxeqns) { in main()
|
| H A D | gpmigenmult.c | 62 int arg, i, ct, *inv, ngens, maxwdiffs, maxeqns; in main() local
79 maxeqns = MAXEQNS; in main()
124 maxeqns = atoi(argv[arg]); in main()
175 tmalloc(eqnptr, reduction_equation, maxeqns) else in main()
178 maxeqns = 0; in main()
182 eqnptr, maxeqns, eqnstop, &foundeqns, readback); in main()
214 while (eqnptr[i].lhs && i < maxeqns) { in main()
238 while (eqnptr[i].lhs && i < maxeqns) { in main()
|
| H A D | gpgeowa.c | 59 int maxeqns, maxwdiffs, numeqns, old_ndiff, *inv; in main() local
72 maxeqns = MAXEQNS; in main()
121 maxeqns = atoi(argv[arg]); in main()
162 tmalloc(eqnptr, reduction_equation, maxeqns); in main()
304 numeqns = fsa_checkgeowa(geowaptr, tdiffptr, eqnptr, maxeqns); in main()
|
| H A D | ppgap.c | 37 rwsptr->maxeqns = MAXEQNS; in main()
|
| H A D | ppgap4.c | 39 rwsptr->maxeqns = MAXEQNS; in main()
|
| H A D | makecosfile.c | 72 rwsptr->maxeqns = MAXEQNS; in main()
|
| H A D | wordreduce.c | 92 rwsptr->maxeqns = MAXEQNS; in main()
|
| H A D | gpcheckmult.c | 126 rws.maxeqns = MAXRWSEQNS; in main()
|
| H A D | kbprog.c | 286 rwsptr->maxeqns = atoi(argv[arg]); in read_kbprog_command()
|
| H A D | gpsubpres.c | 78 rwsptr->maxeqns = MAXEQNS; in main()
|
| H A D | kbprogcos.c | 266 rwsptr->maxeqns = atoi(argv[arg]); in read_kbprogcos_command()
|
| /dports/math/gap/gap-4.11.0/pkg/kbmag-1.5.9/standalone/lib/ |
| H A D | fsatriples.c | 147 if (maxeqns > 0) { in fsa_triples_short()
319 if (numeqns >= maxeqns) { /* exit */ in fsa_triples_short()
320 if (kbm_print_level >= 2 && maxeqns > 0) in fsa_triples_short()
326 if (maxeqns > 0) in fsa_triples_short()
338 if (maxeqns > 0 && im > ns) { in fsa_triples_short()
479 if (maxeqns > 0) in fsa_triples_short()
569 if (maxeqns > 0) { in fsa_triples_int()
741 if (numeqns >= maxeqns) { /* exit */ in fsa_triples_int()
748 if (maxeqns > 0) in fsa_triples_int()
760 if (maxeqns > 0 && im > ns) { in fsa_triples_int()
[all …]
|
| H A D | fsamitriples.c | 22 int maxeqns, boolean eqnstop,
198 if (maxeqns > 0) { in fsa_mitriples_short()
349 if (numeqns >= maxeqns) { /* exit */ in fsa_mitriples_short()
356 if (maxeqns > 0) in fsa_mitriples_short()
368 if (maxeqns > 0 && im > ns) { in fsa_mitriples_short()
518 if (maxeqns > 0) in fsa_mitriples_short()
657 if (maxeqns > 0) { in fsa_mitriples_int()
808 if (numeqns >= maxeqns) { /* exit */ in fsa_mitriples_int()
815 if (maxeqns > 0) in fsa_mitriples_int()
827 if (maxeqns > 0 && im > ns) { in fsa_mitriples_int()
[all …]
|
| H A D | rabkar.c | 41 int ng, i, j, tp, maxeqns; in rk_init() local
43 maxeqns = rwsptr->maxeqns; in rk_init()
45 if (rk_prime_constants[i] > (3 * maxeqns / 5)) { in rk_init()
65 maxeqns, rk_hashmod, rk_shiftbits); in rk_init()
87 tmalloc(rk_next_tail, int, maxeqns + 1); in rk_init()
88 tmalloc(rk_bighashvaleqn, unsigned, maxeqns + 1); in rk_init()
92 void rk_reset(int maxeqns) in rk_reset() argument
|
| H A D | fsacheckmult.c | 46 int maxeqns, boolean cosets, int separator);
48 int maxeqns, boolean cosets, int separator);
55 int fsa_checkmult(fsa *multptr, reduction_equation *eqnptr, int maxeqns, in fsa_checkmult() argument
61 return fsa_checkmult_short(multptr, eqnptr, maxeqns, cosets, separator); in fsa_checkmult()
63 return fsa_checkmult_int(multptr, eqnptr, maxeqns, cosets, separator); in fsa_checkmult()
70 int maxeqns, boolean cosets, int separator) in fsa_checkmult_short() argument
312 if (numeqns >= maxeqns) { in fsa_checkmult_short()
318 printf(" #Found %d new equations. Aborting.\n", maxeqns); in fsa_checkmult_short()
357 int maxeqns, boolean cosets, int separator) in fsa_checkmult_int() argument
598 if (numeqns >= maxeqns) { in fsa_checkmult_int()
[all …]
|
| H A D | rws.h | 97 int maxeqns; /* maximum number of equations */ member
180 reduction_equation *eqnptr, int maxeqns, boolean eqnstop,
185 reduction_equation *eqnptr, int maxeqns, boolean eqnstop,
188 int fsa_checkmult(fsa *multptr, reduction_equation *eqnptr, int maxeqns,
214 void rk_reset(int maxeqns);
|
| H A D | fsageopairs.c | 26 reduction_equation *eqnptr, int maxeqns);
28 reduction_equation *eqnptr, int maxeqns);
503 int maxeqns) in fsa_checkgeowa() argument
508 return fsa_checkgeowa_short(geowaptr, diffptr, eqnptr, maxeqns); in fsa_checkgeowa()
510 return fsa_checkgeowa_int(geowaptr, diffptr, eqnptr, maxeqns); in fsa_checkgeowa()
656 if (numeqns >= maxeqns) { /* exit */ in fsa_checkgeowa_short()
657 if (kbm_print_level >= 2 && maxeqns > 0) in fsa_checkgeowa_short()
658 printf(" #Found %d new words - aborting.\n", maxeqns); in fsa_checkgeowa_short()
839 if (numeqns >= maxeqns) { /* exit */ in fsa_checkgeowa_int()
840 if (kbm_print_level >= 2 && maxeqns > 0) in fsa_checkgeowa_int()
[all …]
|
| H A D | rwsio.c | 93 tmalloc(rwsptr->eqns, reduction_equation, rwsptr->maxeqns + 1); in initialise_eqns()
94 tmalloc(rwsptr->eqn_no, int, rwsptr->maxeqns + 1); in initialise_eqns()
156 if (rwsptr->num_eqns > rwsptr->maxeqns) { in read_eqns()
201 if (n > 0 && n <= rwsptr->maxeqns && rwsptr->eqn_no[n] > 0) in read_done()
204 else if (i > 0 && i <= rwsptr->maxeqns && rwsptr->eqn_no[i] > 0) in read_done()
280 rwsptr->maxeqns = n; in read_kbinput()
559 tmalloc(rwsptr->eqn_no, int, rwsptr->maxeqns + 1); in read_extra_kbinput()
|
| H A D | rwsiob.c | 74 rwsptr->maxeqns = n; in read_kbinput_simple()
180 rwsptr->maxeqns += rwsptr->num_gens; in read_kbinput_simple()
184 tmalloc(rwsptr->eqns, reduction_equation, rwsptr->maxeqns + 1); in read_kbinput_simple()
381 if (ct >= rwsptr->maxeqns) { in read_eqns_simple()
|
| H A D | defs.h | 127 int maxeqns);
|
| H A D | kbfns.c | 68 rwsptr->maxeqns = MAXEQNS; in set_defaults()
164 if (rwsptr->num_eqns == rwsptr->maxeqns) { in kbprog()
702 if (ne1 >= rwsptr->maxeqns) { in consider()
931 rk_reset(rwsptr->maxeqns); in build_quicktable()
1490 rwsptr->num_eqns == rwsptr->maxeqns) { in conf_check()
1494 if (rwsptr->num_eqns == rwsptr->maxeqns) { in conf_check()
|
| /dports/math/gap/gap-4.11.0/pkg/kbmag-1.5.9/standalone/kb_data/ |
| H A D | nonhopf | 4 maxeqns := 100,
|
| /dports/math/py-sympy/sympy-1.9/sympy/combinatorics/ |
| H A D | rewritingsystem.py | 24 self.maxeqns = 32767 # max rules
53 if n > self.maxeqns:
55 self.maxeqns = n
81 if len(self.rules) + 1 > self.maxeqns:
|
| /dports/math/gap/gap-4.11.0/pkg/kbmag-1.5.9/standalone/doc/ |
| H A D | autgp.tex | 121 'kbprog -wd [-t <tidyint>] [-me <maxeqns>] [-ms <maxstates>] \
222 \item[|-me| <maxeqns>] | |\newline
227 It can also be set as the field 'maxeqns' in the input file.
311 'gpmakefsa [-diff1/-diff2] [-me <maxeqns>] [-mwd <maxwdiffs>] [-f] [-l]'\\
375 \item[|-me| <maxeqns>] | |\newline
573 '| || || || || || || | [-me <maxeqns>] [-mwd <maxwdiffs>] [-n] <groupname>'
600 The '-me <maxeqns>', '-mwd <maxwdiffs>' and '-f' options are similar to those in
656 the 'maxeqns' parameter, but it produces a temporary file of size about 140
|
| H A D | kbm.tex | 5 'kbprog [-r] [-ro] [-t <tidyint>] [-me <maxeqns>] [-ms <maxstates>]'\\
97 \item[|-me| <maxeqns>] | |\newline
101 It can also be set as the field 'maxeqns' in the input file.
|