Rqe/timers.ml

   1 let testform_timer = ref 0.0;;
   2 let combine_testforms_timer = ref 0.0;;
   3
   4 let condense_timer = ref 0.0;;
   5
   6 let inferisign_timer = ref 0.0;;
   7
   8 let matinsert_timer = ref 0.0;;
   9
  10 let inferpsign_timer = ref 0.0;;
  11
  12 let remove_column1_timer = ref 0.0;;
  13 let add_infinities_timer = ref 0.0;;
  14 let remove_infinities_timer = ref 0.0;;
  15
  16 let pdivides_timer = ref 0.0;;
  17
  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;;
  23
  24 let reset_timers() =
  25
  26   testform_timer := 0.0;
  27   combine_testforms_timer := 0.0;
  28
  29   condense_timer := 0.0;
  30
  31   inferisign_timer := 0.0;
  32
  33   matinsert_timer := 0.0;
  34
  35   inferpsign_timer := 0.0;
  36
  37   remove_column1_timer := 0.0;
  38   add_infinities_timer := 0.0;
  39   remove_infinities_timer := 0.0;
  40
  41   pdivides_timer := 0.0;
  42
  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;
  48
  49 ;;
  50
  51
  52 let print_timers() =
  53   print_string "\n----------TIMERS---------\n\n";
  54
  55   print_string "TESTFORM: ";
  56   print_float !testform_timer;
  57   print_string "\n";
  58
  59   print_string "COMBINE_TESTFORMS: ";
  60   print_float !combine_testforms_timer;
  61   print_string "\n";
  62
  63   print_string "CONDENSE: ";
  64   print_float !condense_timer;
  65   print_string "\n";
  66
  67   print_string "INFERISIGN: ";
  68   print_float !inferisign_timer;
  69   print_string "\n";
  70
  71   print_string "MATINSERT: ";
  72   print_float !matinsert_timer;
  73   print_string "\n";
  74
  75   print_string "INFERPSIGN: ";
  76   print_float !inferpsign_timer;
  77   print_string "\n";
  78
  79   print_string "REMOVE_COLUMN1: ";
  80   print_float !remove_column1_timer;
  81   print_string "\n";
  82
  83   print_string "ADD_INFINITIES: ";
  84   print_float !add_infinities_timer;
  85   print_string "\n";
  86
  87   print_string "REMOVE_INFINITIES: ";
  88   print_float !remove_infinities_timer;
  89   print_string "\n";
  90
  91   print_string "PDIVIDES: ";
  92   print_float !pdivides_timer;
  93   print_string "\n";
  94
  95   print_string "DUPLICATE_COLUMNS: ";
  96   print_float !duplicate_columns_timer;
  97   print_string "\n";
  98
  99   print_string "UNMONICIZE_MAT: ";
 100   print_float !unmonicize_mat_timer;
 101   print_string "\n";
 102
 103   print_string "SWAP_HEAD_COL: ";
 104   print_float !swap_head_col_timer;
 105   print_string "\n";
 106
 107   print_string "REPLACE_POL: ";
 108   print_float !replace_pol_timer;
 109   print_string "\n";
 110
 111   print_string "UNFACTOR_MAT: ";
 112   print_float !unfactor_mat_timer;
 113   print_string "\n";
 114
 115
 116   print_string "\n-------------------------\n";
 117
 118 ;;
 119
 120