Searched refs:float_tableau_denom (Results 1 – 1 of 1) sorted by relevance
1017 double float_tableau_denom; in steepest_edge_float_entering_index() local1048 assign(float_tableau_denom, tableau_i.get(base[i])); in steepest_edge_float_entering_index()1071 float_tableau_value /= float_tableau_denom; in steepest_edge_float_entering_index()1112 assign(float_tableau_denom, tableau_i[base[i]]); in steepest_edge_float_entering_index()1113 float_tableau_value /= float_tableau_denom; in steepest_edge_float_entering_index()