1 let testform_timer = ref 0.0;;
2 let combine_testforms_timer = ref 0.0;;
4 let condense_timer = ref 0.0;;
6 let inferisign_timer = ref 0.0;;
8 let matinsert_timer = ref 0.0;;
10 let inferpsign_timer = ref 0.0;;
12 let remove_column1_timer = ref 0.0;;
13 let add_infinities_timer = ref 0.0;;
14 let remove_infinities_timer = ref 0.0;;
16 let pdivides_timer = ref 0.0;;
18 let duplicate_columns_timer = ref 0.0;;
19 let unmonicize_mat_timer = ref 0.0;;
20 let swap_head_col_timer = ref 0.0;;
21 let replace_pol_timer = ref 0.0;;
22 let unfactor_mat_timer = ref 0.0;;
26 testform_timer := 0.0;
27 combine_testforms_timer := 0.0;
29 condense_timer := 0.0;
31 inferisign_timer := 0.0;
33 matinsert_timer := 0.0;
35 inferpsign_timer := 0.0;
37 remove_column1_timer := 0.0;
38 add_infinities_timer := 0.0;
39 remove_infinities_timer := 0.0;
41 pdivides_timer := 0.0;
43 duplicate_columns_timer := 0.0;
44 unmonicize_mat_timer := 0.0;
45 swap_head_col_timer := 0.0;
46 replace_pol_timer := 0.0;
47 unfactor_mat_timer := 0.0;
53 print_string "\n----------TIMERS---------\n\n";
55 print_string "TESTFORM: ";
56 print_float !testform_timer;
59 print_string "COMBINE_TESTFORMS: ";
60 print_float !combine_testforms_timer;
63 print_string "CONDENSE: ";
64 print_float !condense_timer;
67 print_string "INFERISIGN: ";
68 print_float !inferisign_timer;
71 print_string "MATINSERT: ";
72 print_float !matinsert_timer;
75 print_string "INFERPSIGN: ";
76 print_float !inferpsign_timer;
79 print_string "REMOVE_COLUMN1: ";
80 print_float !remove_column1_timer;
83 print_string "ADD_INFINITIES: ";
84 print_float !add_infinities_timer;
87 print_string "REMOVE_INFINITIES: ";
88 print_float !remove_infinities_timer;
91 print_string "PDIVIDES: ";
92 print_float !pdivides_timer;
95 print_string "DUPLICATE_COLUMNS: ";
96 print_float !duplicate_columns_timer;
99 print_string "UNMONICIZE_MAT: ";
100 print_float !unmonicize_mat_timer;
103 print_string "SWAP_HEAD_COL: ";
104 print_float !swap_head_col_timer;
107 print_string "REPLACE_POL: ";
108 print_float !replace_pol_timer;
111 print_string "UNFACTOR_MAT: ";
112 print_float !unfactor_mat_timer;
116 print_string "\n-------------------------\n";