| /dports/math/gap/gap-4.11.0/pkg/kbmag-1.5.9/standalone/src/ |
| H A D | gpgeowa.c | 155 base_prefix(fsaname); in main()
156 strcat(fsaname, ".tdiff"); in main()
203 base_prefix(fsaname); in main()
204 strcat(fsaname, ".tdiff"); in main()
255 base_prefix(fsaname); in main()
288 base_prefix(fsaname); in main()
289 strcat(fsaname, ".geowa"); in main()
341 base_prefix(fsaname); in main()
389 base_prefix(fsaname); in main()
404 base_prefix(fsaname); in main()
[all …]
|
| H A D | gpminkb.c | 130 base_prefix(fsaname); in main()
131 strcat(fsaname, ".minred"); in main()
133 fsa_print(wfile, minred, fsaname); in main()
172 base_prefix(fsaname); in main()
173 strcat(fsaname, ".minkb"); in main()
175 fsa_print(wfile, minkb, fsaname); in main()
206 base_prefix(fsaname); in main()
207 strcat(fsaname, ".diff1c"); in main()
209 fsa_print(wfile, diffc, fsaname); in main()
243 base_prefix(fsaname); in main()
[all …]
|
| H A D | gpmakefsa.c | 279 base_prefix(fsaname); in main()
280 strcat(fsaname, ".wa"); in main()
282 fsa_print(wfile, wa, fsaname); in main()
399 fsa_print(wfile, &diff1, fsaname); in main()
456 base_prefix(fsaname); in main()
458 strcat(fsaname, ".migm"); in main()
462 strcat(fsaname, ".gm"); in main()
465 fsa_print(wfile, genmultptr, fsaname); in main()
503 base_prefix(fsaname); in main()
504 strcat(fsaname, ".gm"); in main()
[all …]
|
| H A D | gpmult.c | 35 char groupname[100], inf[100], outf[100], fsaname[100]; in main() local
99 fsa_read(rfile, &genmult, ip_store, 0, 0, TRUE, fsaname); in main()
112 base_prefix(fsaname); in main()
113 sprintf(fsaname + stringlen(fsaname), ".m%d", g); in main()
119 fsa_print(wfile, mult, fsaname); in main()
|
| H A D | gpmult2.c | 39 char inf[100], outf[100], fsaname[100]; in main() local
108 fsa_read(rfile, &genmult2, ip_store, 0, 0, TRUE, fsaname); in main()
113 base_prefix(fsaname); in main()
114 sprintf(fsaname + stringlen(fsaname), ".m%d_%d", g1, g2); in main()
127 fsa_print(wfile, &genmult2, fsaname); in main()
|
| H A D | gpgenmult.c | 63 char inf1[100], inf2[100], inf3[100], outf[100], fsaname[100], in main() local
151 fsa_read(rfile, &wa, DENSE, 0, 0, TRUE, fsaname); in main()
157 fsa_read(rfile, &diff2, DENSE, 0, 0, TRUE, fsaname); in main()
178 fsa_read(rfile, &diff1, DENSE, 0, maxwdiffs, TRUE, fsaname); in main()
205 fsa_print(wfile, &diff1, fsaname); in main()
238 base_prefix(fsaname); in main()
239 strcat(fsaname, ".gm"); in main()
241 fsa_print(wfile, genmultptr, fsaname); in main()
|
| H A D | fsaswapcoords.c | 32 char inf[100], outf[100], fsaname[100]; in main() local
82 fsa_read(rfile, &testfsa, DENSE, 0, 0, TRUE, fsaname); in main()
92 base_prefix(fsaname); in main()
93 strcat(fsaname, "_swap_coords"); in main()
98 fsa_print(wfile, &testfsa, fsaname); in main()
|
| H A D | gpmimult.c | 43 char gpname[100], cosgpname[100], inf[100], outf[100], fsaname[100], in main() local
122 fsa_read(rfile, &genmult, ip_store, 0, 0, TRUE, fsaname); in main()
135 base_prefix(fsaname); in main()
136 sprintf(fsaname + stringlen(fsaname), ".mim%d", g); in main()
142 fsa_print(wfile, mimult, fsaname); in main()
|
| H A D | gpmimult2.c | 46 char gpname[100], inf[100], outf[100], fsaname[100], prefix[16]; in main() local
131 fsa_read(rfile, &migm2, ip_store, 0, 0, TRUE, fsaname); in main()
136 base_prefix(fsaname); in main()
137 sprintf(fsaname + stringlen(fsaname), ".m%d_%d", g1, g2); in main()
150 fsa_print(wfile, &migm2, fsaname); in main()
|
| H A D | gpcomp.c | 35 char inf1[100], inf2[100], outf[100], fsaname[100], tempfilename[100], in main() local
118 fsa_read(rfile, &mult1, ip_store, dr, 0, TRUE, fsaname); in main()
124 fsa_read(rfile, &mult2, ip_store, dr, 0, TRUE, fsaname); in main()
149 base_prefix(fsaname); in main()
150 strcat(fsaname, ".comp"); in main()
152 fsa_print(wfile, compmult, fsaname); in main()
|
| H A D | gpdifflabs.c | 42 char inf1[100], inf2[100], outf[100], fsaname[100], tempfilename[100]; in main() local
120 fsa_read(rfile, rs_wd.wd_fsa, DENSE, 0, 0, TRUE, fsaname); in main()
130 fsa_read(rfile, &fsaip, DENSE, 0, 0, TRUE, fsaname); in main()
152 base_prefix(fsaname); in main()
153 strcat(fsaname, ".difflabs"); in main()
155 fsa_print(wfile, difflabsptr, fsaname); in main()
|
| H A D | gpmicomp.c | 34 char inf1[100], inf2[100], outf[100], fsaname[100], tempfilename[100], in main() local
120 fsa_read(rfile, &mult1, ip_store, dr, 0, TRUE, fsaname); in main()
126 fsa_read(rfile, &mult2, ip_store, dr, 0, TRUE, fsaname); in main()
151 base_prefix(fsaname); in main()
152 strcat(fsaname, ".micomp"); in main()
154 fsa_print(wfile, micompmult, fsaname); in main()
|
| H A D | gpmigenmult.c | 64 char gpname[100], inf1[100], inf2[100], inf3[100], outf[100], fsaname[100], in main() local
165 fsa_read(rfile, &wa, DENSE, 0, 0, TRUE, fsaname); in main()
171 fsa_read(rfile, &diff2, DENSE, 0, 0, TRUE, fsaname); in main()
192 fsa_read(rfile, &diff1, DENSE, 0, maxwdiffs, TRUE, fsaname); in main()
232 fsa_print(wfile, &diff1, fsaname); in main()
267 base_prefix(fsaname); in main()
268 strcat(fsaname, ".migm"); in main()
270 fsa_print(wfile, migenmultptr, fsaname); in main()
|
| H A D | gpgenmult2.c | 38 char inf[100], outf[100], fsaname[100], tablefilename[100]; in main() local
112 fsa_read(rfile, &genmult, ip_store, dr, 0, TRUE, fsaname); in main()
134 base_prefix(fsaname); in main()
135 strcat(fsaname, ".gm2"); in main()
137 fsa_print(wfile, genmult2ptr, fsaname); in main()
|
| H A D | gpsubpres.c | 50 outfp[100], fsaname[100], prefix[16], tablefilename[100]; variable
194 fsa_read(rfile, &migm, ip_store, dr, 0, TRUE, fsaname); in main()
228 strcpy(fsaname, rws.name); in main()
229 strcat(fsaname, ".migm2"); in main()
233 fsa_print(wfile, migm2ptr, fsaname); in main()
249 strcpy(fsaname, rws.name); in main()
385 fsa_read(rfile, &mult, ip_store, dr, 0, TRUE, fsaname); in find_subrels()
455 fsa_read(rfile, &migm, op_store, 0, 0, TRUE, fsaname); in long_word_multiplier()
463 fsa_print(wfile, &migm, fsaname); in long_word_multiplier()
481 fsa_print(wfile, &migm2, fsaname); in long_word_multiplier()
[all …]
|
| H A D | gpwa.c | 43 char gpname[100], cosgpname[100], inf[100], outf[100], fsaname[100], in main() local
134 fsa_read(rfile, fsawd, DENSE, 0, 0, TRUE, fsaname); in main()
149 base_prefix(fsaname); in main()
150 strcat(fsaname, ".wa"); in main()
152 fsa_print(wfile, gpwa, fsaname); in main()
|
| H A D | fsareverse.c | 42 char inf[100], outf[100], fsaname[100], tempfilename[100]; in main() local
121 fsa_read(rfile, &fsain, ip_store, dr, 0, TRUE, fsaname); in main()
159 strcat(fsaname, "_mireverse"); in main()
161 strcat(fsaname, "_reverse"); in main()
163 fsa_print(wfile, fsareverse, fsaname); in main()
|
| H A D | gpmigenmult2.c | 43 char gpname[100], inf[100], outf[100], fsaname[100], tablefilename[100], in main() local
135 fsa_read(rfile, &migenmult, ip_store, dr, 0, TRUE, fsaname); in main()
153 base_prefix(fsaname); in main()
154 strcat(fsaname, ".gm2"); in main()
156 fsa_print(wfile, migm2ptr, fsaname); in main()
|
| H A D | gpaxioms.c | 65 fsaname[100], tablefilename[100], *rwsfilename; variable
229 fsa_read(rfile, &genmult, ip_store, dr, 0, TRUE, fsaname); in main()
262 strcpy(fsaname, rws.name); in main()
263 strcat(fsaname, ".gm2"); in main()
267 fsa_print(wfile, genmult2ptr, fsaname); in main()
312 strcpy(fsaname, rws.name); in main()
514 fsa_read(rfile, &mult1, ip_store, 0, 0, TRUE, fsaname); in check_long_relation()
521 fsa_read(rfile, &mult2, ip_store, 0, 0, TRUE, fsaname); in check_long_relation()
623 fsa_print(wfile, &genmult, fsaname); in long_word_multiplier()
642 fsa_print(wfile, &genmult2, fsaname); in long_word_multiplier()
[all …]
|
| H A D | fsabfs.c | 34 char inf[100], outf[100], fsaname[100]; in main() local
100 fsa_read(rfile, &testfsa, ip_store, 0, 0, TRUE, fsaname); in main()
110 strcat(fsaname, "_bfs"); in main()
117 fsa_print(wfile, &testfsa, fsaname); in main()
|
| H A D | fsanot.c | 30 char inf[100], outf[100], fsaname[100]; in main() local
96 fsa_read(rfile, &fsain, ip_store, dr, 0, TRUE, fsaname); in main()
114 strcat(fsaname, "_not"); in main()
116 fsa_print(wfile, fsanot, fsaname); in main()
|
| H A D | fsalabmin.c | 35 char inf[100], outf[100], fsaname[100]; in main() local
101 fsa_read(rfile, &testfsa, ip_store, 0, 0, TRUE, fsaname); in main()
117 strcat(fsaname, "_labmin"); in main()
124 fsa_print(wfile, &testfsa, fsaname); in main()
|
| H A D | fsamin.c | 37 char inf[100], outf[100], fsaname[100]; in main() local
105 fsa_read(rfile, &testfsa, ip_store, 0, 0, TRUE, fsaname); in main()
121 strcat(fsaname, "_min"); in main()
128 fsa_print(wfile, &testfsa, fsaname); in main()
|
| H A D | gpmigmdet.c | 35 char gpname[100], inf[100], outf[100], fsaname[100], tempfilename[100]; in main() local
95 fsa_read(rfile, &fsain, ip_store, dr, 0, TRUE, fsaname); in main()
113 strcat(fsaname, "d"); in main()
115 fsa_print(wfile, gpmigmdet, fsaname); in main()
|
| H A D | fsastar.c | 31 char inf[100], outf[100], fsaname[100], tempfilename[100]; in main() local
92 fsa_read(rfile, &fsain, ip_store, dr, 0, TRUE, fsaname); in main()
125 strcat(fsaname, "_star"); in main()
127 fsa_print(wfile, fsastar, fsaname); in main()
|