Searched refs:renumberfilename (Results 1 – 9 of 9) sorted by relevance
/dports/math/cado-nfs/cado-nfs-f4284e2391121b2bfb97bc4880b6273c7250dc2f/sieve/ |
H A D | las-dlog-base.cpp | 33 renumberfilename = NULL; in las_dlog_base() 37 renumberfilename = strdup(tmp); in las_dlog_base() 42 if (!logfilename != !renumberfilename) { in las_dlog_base() 60 free(renumberfilename); in ~las_dlog_base() 73 if (renumberfilename) { in is_known() 92 if (!renumberfilename) { in read() 98 … will get list of known logs from %s, using also %s for mapping\n", logfilename, renumberfilename); in read() 100 renumber_table.read_from_file(renumberfilename); in read()
|
H A D | las-dlog-base.hpp | 13 char * renumberfilename; member
|
/dports/math/cado-nfs/cado-nfs-f4284e2391121b2bfb97bc4880b6273c7250dc2f/misc/ |
H A D | renumber_convert.cpp | 70 const char *renumberfilename = param_list_lookup_string(pl, "renumber"); in main() local 79 if (renumberfilename == NULL) in main() 108 renumber_t renumber_table(renumberfilename); in main()
|
H A D | debug_renumber.cpp | 74 const char *renumberfilename = param_list_lookup_string(pl, "renumber"); in main() local 83 if (renumberfilename == NULL && !build) { in main() 87 if (renumberfilename != NULL && build) { in main() 126 tab.read_from_file(renumberfilename); in main()
|
/dports/math/cado-nfs/cado-nfs-f4284e2391121b2bfb97bc4880b6273c7250dc2f/filter/ |
H A D | filter_galois.cpp | 520 const char * renumberfilename = param_list_lookup_string(pl, "renumber"); in main() local 535 if (renumberfilename == NULL) in main() 587 renumber_tab.read_from_file(renumberfilename); in main()
|
H A D | dup2.c | 617 const char * renumberfilename = param_list_lookup_string(pl, "renumber"); in main() local 632 if (renumberfilename == NULL) in main() 663 renumber_table_read_from_file(renumber_tab, renumberfilename); in main()
|
H A D | reconstructlog.cpp | 1340 const char * renumberfilename = param_list_lookup_string(pl, "renumber"); in main() local 1379 if (renumberfilename == NULL) in main() 1477 renumber_table.read_from_file(renumberfilename); in main()
|
/dports/math/cado-nfs/cado-nfs-f4284e2391121b2bfb97bc4880b6273c7250dc2f/utils/ |
H A D | renumber.cpp | 1953 const char * renumberfilename = param_list_lookup_string(pl, "renumber"); in build() local 1993 if (renumberfilename) { in build() 1994 out.reset(new ofstream_maybe_compressed(renumberfilename)); in build()
|
/dports/math/cado-nfs/cado-nfs-f4284e2391121b2bfb97bc4880b6273c7250dc2f/scripts/cadofactor/ |
H A D | cadotask.py | 3124 renumberfilename = self.workdir.make_filename("renumber" + use_gz) 3128 p = cadoprograms.FreeRel(renumber=renumberfilename, 3139 update["renumberfilename"] = renumberfilename.get_wdir_relative()
|