void write_solution_banner_to_defined_output_file ( int nbsols, int n ) { int fail; fail = write_string_to_defined_output_file(17,"\nTHE SOLUTIONS :\n"); fail = write_integers_to_defined_output_file(1,&nbsols); fail = write_string_to_defined_output_file(1," "); fail = write_integers_to_defined_output_file(1,&n); fail = write_string_to_defined_output_file (61,"\n===========================================================\n"); }
int input_argument_free ( void ) { int fail,n; char outfile[80],ch; printf("\nReading and writing a polynomial system ...\n"); fail = read_standard_target_system(); if(v==1) printf("-> read_target_system returns %d\n",fail); fail = copy_target_system_to_container(); if(v==1) printf("-> copy_target_system_to_container returns %d\n",fail); printf("\nThe system read :\n"); fail = print_system(); if(v==1) printf("-> print_system returns %d\n",fail); printf("\nGive name of the output file : "); scanf("%s",outfile); n = (int) strlen(outfile); fail = define_output_file_with_string(n,outfile); if(v==1) printf("-> define_output_file_with_string returns %d\n",fail); fail = print_system(); if(v==1) printf("-> print_system returns %d\n",fail); fail = write_string_to_defined_output_file(21,"\nTITLE : some system\n"); if(v==1) printf("-> write_string_to_defined_output_file returns %d\n",fail); fail = close_output_file(); if(v==1) printf("-> close_output_file returns %d\n",fail); return 0; }
void write_time_and_paths_to_defined_output_file ( int p, double time[p], int paths[p] ) { int i,fail; fail = write_string_to_defined_output_file(19,"\nTotal wall time = "); fail = write_doubles_to_defined_output_file(1,&time[0]); fail = write_string_to_defined_output_file(12," seconds on "); fail = write_integers_to_defined_output_file(1,&p); fail = write_string_to_defined_output_file(13," processors.\n"), fail = write_string_to_defined_output_file (32,"Total number of paths tracked : "); fail = write_integers_to_defined_output_file(1,&paths[0]); fail = write_string_to_defined_output_file(2,".\n"); for(i=1; i<p; i++) { fail = write_string_to_defined_output_file (33,"The wall time spent on processor "); fail = write_integers_to_defined_output_file(1,&i); fail = write_string_to_defined_output_file(3," = "); fail = write_doubles_to_defined_output_file(1,&time[i]); fail = write_string_to_defined_output_file(10," seconds,\n"); fail = write_string_to_defined_output_file (41," number of paths tracked by processor "); fail = write_integers_to_defined_output_file(1,&i); fail = write_string_to_defined_output_file(3," : "); fail = write_integers_to_defined_output_file(1,&paths[i]); fail = write_string_to_defined_output_file(2,".\n"); } }