Searched refs:lead_i (Results 1 – 2 of 2) sorted by last modified time
72133 const dimension_type lead_i = leaders[i];72134 if (i == lead_i) {72146 if (leaders[i + 1] == lead_i) {72176 const N& c_i_li = matrix[i][lead_i];72179 const N& c_ii_lii = matrix[i + 1][coherent_index(lead_i)];72182 const Variable x(lead_i/2);72185 if (lead_i % 2 == 0) {
1079 const dimension_type lead_i = leaders[i]; in minimized_congruences() local1080 if (i == lead_i) { in minimized_congruences()1092 if (leaders[i + 1] == lead_i) { in minimized_congruences()1122 const N& c_i_li = matrix[i][lead_i]; in minimized_congruences()1125 const N& c_ii_lii = matrix[i + 1][coherent_index(lead_i)]; in minimized_congruences()1128 const Variable x(lead_i/2); in minimized_congruences()1131 if (lead_i % 2 == 0) { in minimized_congruences()