Searched refs:c_i_li (Results 1 – 2 of 2) sorted by relevance
1122 const N& c_i_li = matrix[i][lead_i]; in minimized_congruences() local1126 PPL_ASSERT(is_additive_inverse(c_ii_lii, c_i_li)); in minimized_congruences()1130 numer_denom(c_i_li, numer, denom); in minimized_congruences()
72176 const N& c_i_li = matrix[i][lead_i];72180 PPL_ASSERT(is_additive_inverse(c_ii_lii, c_i_li));72184 numer_denom(c_i_li, numer, denom);