| /dports/math/gap/gap-4.11.0/pkg/kbmag-1.5.9/standalone/src/ |
| H A D | gpmigenmult.c | 62 int arg, i, ct, *inv, ngens, maxwdiffs, maxeqns; in main() local
78 maxwdiffs = MAXWDIFFS; in main()
118 maxwdiffs = atoi(argv[arg]); in main()
192 fsa_read(rfile, &diff1, DENSE, 0, maxwdiffs, TRUE, fsaname); in main()
196 tmalloc(diff1.is_initial, boolean, maxwdiffs + 1); in main()
197 for (i = 1; i <= maxwdiffs; i++) in main()
|
| H A D | gpmakefsa.c | 90 int arg, i, ct, *inv, ngens, maxwdiffs, numeqns, old_ndiff; in main() local
120 maxwdiffs = MAXWDIFFS; in main()
187 maxwdiffs = atoi(argv[arg]); in main()
339 fsa_read(rfile, &diff1, DENSE, 0, maxwdiffs, TRUE, fsaname); in main()
345 tmalloc(diff1.is_initial, boolean, maxwdiffs + 1); in main()
346 for (i = 1; i <= maxwdiffs; i++) in main()
543 fsa_read(rfile, &diff2, DENSE, 0, maxwdiffs, TRUE, fsaname); in main()
554 tmalloc(diff2.is_initial, boolean, maxwdiffs + 1); in main()
555 for (i = 1; i <= maxwdiffs; i++) in main()
|
| H A D | gpcheckmult.c | 101 int arg, i, ct, *inv, old_ndiff, maxneweqns, numeqns, ngens, maxwdiffs; in main() local
128 maxwdiffs = MAXWDIFFS; in main()
173 maxwdiffs = atoi(argv[arg]); in main()
283 fsa_read(rfile, &diff2, DENSE, 0, maxwdiffs, TRUE, fsaname); in main()
316 tmalloc(diff2.is_initial, boolean, maxwdiffs + 1); in main()
317 for (i = 1; i <= maxwdiffs; i++) in main()
|
| H A D | gpgenmult.c | 61 int arg, i, *inv, ngens, maxwdiffs, maxeqns; in main() local
76 maxwdiffs = MAXWDIFFS; in main()
112 maxwdiffs = atoi(argv[arg]); in main()
178 fsa_read(rfile, &diff1, DENSE, 0, maxwdiffs, TRUE, fsaname); in main()
|
| H A D | gpgeowa.c | 59 int maxeqns, maxwdiffs, numeqns, old_ndiff, *inv; in main() local
73 maxwdiffs = MAXWDIFFS; in main()
127 maxwdiffs = atoi(argv[arg]); in main()
302 fsa_read(rfile, tdiffptr, DENSE, 0, maxwdiffs, TRUE, fsaname); in main()
|
| H A D | kbprog.c | 383 rwsptr->maxwdiffs = atoi(argv[arg]); in read_kbprog_command()
531 rws.maxwdiffs) == -1) in main()
|
| H A D | kbprogcos.c | 343 rwsptr->maxwdiffs = atoi(argv[arg]); in read_kbprogcos_command()
616 if (initialise_wd_fsa_cos(rws.wd_fsa, rws.wd_alphabet, rws.maxwdiffs) == -1) in main()
|
| /dports/math/gap/gap-4.11.0/pkg/kbmag-1.5.9/standalone/lib/ |
| H A D | defs.h | 72 int initialise_wd_fsa(fsa *wd_fsaptr, srec *alphptr, int maxwdiffs);
80 int initialise_wd_fsa_cos(fsa *wd_fsaptr, srec *alphptr, int maxwdiffs);
|
| H A D | worddiff.c | 26 int initialise_wd_fsa(fsa *wd_fsaptr, srec *alphptr, int maxwdiffs) in initialise_wd_fsa() argument
33 tmalloc(wd_fsaptr->states->words, gen *, maxwdiffs + 1); in initialise_wd_fsa()
62 fsa_table_init(wd_fsaptr->table, maxwdiffs, wd_fsaptr->alphabet->size); in initialise_wd_fsa()
|
| H A D | worddcos.c | 30 int initialise_wd_fsa_cos(fsa *wd_fsaptr, srec *alphptr, int maxwdiffs) in initialise_wd_fsa_cos() argument
37 tmalloc(wd_fsaptr->states->words, gen *, maxwdiffs + 1); in initialise_wd_fsa_cos()
63 fsa_table_init(wd_fsaptr->table, maxwdiffs, wd_fsaptr->alphabet->size); in initialise_wd_fsa_cos()
|
| H A D | rws.h | 107 int maxwdiffs; member
|
| H A D | kbfns.c | 77 rwsptr->maxwdiffs = MAXWDIFFS; in set_defaults()
293 if (rwsptr->wd_fsa->states->size > rwsptr->maxwdiffs / 2) { in kbprog()
297 rwsptr->maxwdiffs * 2); in kbprog()
298 rwsptr->maxwdiffs *= 2; in kbprog()
299 tmalloc(newwords, gen *, rwsptr->maxwdiffs + 1); in kbprog()
306 fsa_table_init(rwsptr->wd_fsa->table, rwsptr->maxwdiffs, in kbprog()
|
| H A D | rwsio.c | 337 rwsptr->maxwdiffs = n; in read_kbinput()
|
| /dports/math/gap/gap-4.11.0/pkg/kbmag-1.5.9/standalone/doc/ |
| H A D | autgp.tex | 122 [-mwd <maxwdiffs>]'\\
311 'gpmakefsa [-diff1/-diff2] [-me <maxeqns>] [-mwd <maxwdiffs>] [-f] [-l]'\\
382 \item[|-mwd| <maxwdiffs>] | |\newline
573 '| || || || || || || | [-me <maxeqns>] [-mwd <maxwdiffs>] [-n] <groupname>'
600 The '-me <maxeqns>', '-mwd <maxwdiffs>' and '-f' options are similar to those in
|
| H A D | autcos.tex | 142 [-mwd <maxwdiffs>]'\\
216 'gpmakefsa -cos [-diff1/-diff2] [-me <maxeqns>] [-mwd <maxwdiffs>] [-l]'\\
|
| /dports/math/gap/gap-4.11.0/pkg/kbmag-1.5.9/gap/ |
| H A D | rws4.g | 784 if IsBound(rws!.options.maxwdiffs) then
785 line := String("maxwdiffs",16);
786 line := Concatenation(line," := ",String(rws!.options.maxwdiffs),",");
|