Searched refs:x_ss_s (Results 1 – 2 of 2) sorted by relevance
3413 const N& x_ss_s = x.matrix_at(sing_leader + 1, sing_leader); in simplify_using_context_assign() local3414 if (is_additive_inverse(x_s_ss, x_ss_s)) { in simplify_using_context_assign()
74467 const N& x_ss_s = x.matrix_at(sing_leader + 1, sing_leader);74468 if (is_additive_inverse(x_s_ss, x_ss_s)) {