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