| /dports/math/gap/gap-4.11.0/pkg/kbmag-1.5.9/standalone/lib/ |
| H A D | worddiff.c | 17 extern int (*reduce_word)(gen *w, reduction_struct *rs_rws);
161 if ((*reduce_word)(testword, rsptr) == -1) in add_wd_fsa()
218 if ((*reduce_word)(testword, rsptr) == -1) in make_full_wd_fsa()
269 if ((*reduce_word)(testword, rsptr) == -1) in make_full_wd_fsa()
328 if ((*reduce_word)(testword, rsptr) == -1) in calculate_inverses()
|
| H A D | worddcos.c | 22 extern int (*reduce_word)(gen *w, reduction_struct *rs_rws);
161 if ((*reduce_word)(testword, rs) == -1) in add_wd_fsa_cos()
228 if ((*reduce_word)(testword, rs) == -1) in add_wd_fsa_cos()
293 if ((*reduce_word)(testword, rs) == -1) in make_full_wd_fsa_cos()
347 if ((*reduce_word)(testword, rs) == -1) in make_full_wd_fsa_cos()
|
| H A D | kbfns.c | 162 reduce_word = slow_rws_reduce; in kbprog()
270 reduce_word = rws_reduce; in kbprog()
412 reduce_word = slow_rws_reduce; in kbprog()
666 if (reduce_word(tw1, &rs_rws) == -1) { in consider()
670 if (reduce_word(tw2, &rs_rws) == -1) { in consider()
765 if (reduce_word(testword2, &rs_rws) == -1) { in tidyup()
872 reduce_word = slow_rws_reduce_rk; in tidyup()
884 reduce_word = slow_rws_reduce; in tidyup()
1404 reduce_word = rws_reduce; in conf_check()
1507 reduce_word = slow_rws_reduce; in conf_check()
[all …]
|
| H A D | fsadifflabs.c | 17 extern int (*reduce_word)(gen *w, reduction_struct *rs_rws);
134 reduce_word = diff_reduce; in fsa_difflabs_short()
222 if ((*reduce_word)(ght_ptr, rs_wdptr) == -1) in fsa_difflabs_short()
|
| H A D | fsaminkb.c | 34 extern int (*reduce_word)(gen *w, reduction_struct *rs_rws);
507 reduce_word = diff_reduce; in fsa_diff()
549 if ((*reduce_word)(testword, rs_wd) == -1) in fsa_diff()
|
| /dports/math/gap/gap-4.11.0/pkg/kbmag-1.5.9/standalone/src/ |
| H A D | gpmakesubwa.c | 82 int (*reduce_word)(gen *w, reduction_struct *rs_rws); variable
307 reduce_word = diff_reduce; in main()
373 if ((*reduce_word)(gtestword, &grs) == -1) in main()
386 if ((*reduce_word)(gtestword, &grs) == -1) in main()
426 if ((*reduce_word)(gtestword, &grs) == -1) in main()
448 if ((*reduce_word)(gtestword, &grs) == -1) in main()
588 if ((*reduce_word)(gtestword, rsptr) == -1) in calc_inv()
|
| H A D | wordreduce.c | 83 int (*reduce_word)(gen * w, reduction_struct * rs_rws); in main() local
260 reduce_word = rws_ip ? rws_reduce : cosets ? diff_reduce_cos : diff_reduce; in main()
296 reduce_word(gen_word, &rs); in main()
|
| H A D | gpmakefsa.c | 86 int (*reduce_word)(gen *w, reduction_struct *rs_rws); variable
354 reduce_word = cosets ? diff_reduce_cos : diff_reduce; in main()
373 reduce_word(rhscos, &rs_wd); in main()
547 reduce_word = cosets ? diff_reduce_cos : diff_reduce; in main()
588 reduce_word(eqnptr[i].rhs, &rs_wd); in main()
|
| H A D | gpcheckmult.c | 97 int (*reduce_word)(gen *w, reduction_struct *rs_rws); variable
309 reduce_word = in main()
341 reduce_word(testword, &rs_wd); in main()
|
| H A D | gpgenmult.c | 57 int (*reduce_word)(gen *w, reduction_struct *rs_rws); variable
182 reduce_word = diff_reduce; in main()
|
| H A D | gpmigenmult.c | 58 int (*reduce_word)(gen *w, reduction_struct *rs_rws); variable
201 reduce_word = diff_reduce_cos; in main()
|
| H A D | gpgeowa.c | 52 int (*reduce_word)(gen *w, reduction_struct *rs_rws); variable
198 reduce_word = diff_reduce; in main()
330 reduce_word(eqnptr[i].rhs, &rs_wd); in main()
|
| H A D | gpdifflabs.c | 36 int (*reduce_word)(gen *w, reduction_struct *rs_rws); variable
|
| H A D | gpminkb.c | 41 int (*reduce_word)(gen *w, reduction_struct *rs_rws); variable
|
| /dports/math/gap/gap-4.11.0/pkg/automgrp-1.3.2/gap/ |
| H A D | listops.gi | 494 local i, perm, d, proj, red, reduce_word;
496 reduce_word := function(v)
522 return reduce_word(proj);
|