Searched refs:c_ii_lii (Results 1 – 2 of 2) sorted by relevance
1125 const N& c_ii_lii = matrix[i + 1][coherent_index(lead_i)]; in minimized_congruences() local1126 PPL_ASSERT(is_additive_inverse(c_ii_lii, c_i_li)); in minimized_congruences()
72179 const N& c_ii_lii = matrix[i + 1][coherent_index(lead_i)];72180 PPL_ASSERT(is_additive_inverse(c_ii_lii, c_i_li));