Searched refs:A_i_k (Results 1 – 2 of 2) sorted by relevance
| /dports/math/z3/z3-z3-4.8.13/src/math/polynomial/ |
| H A D | linear_eq_solver.h | 112 numeral & A_i_k = A_i[k]; in solve() local
114 m.submul(A_i[j], A_i_k, A_k[j], A_i[j]); in solve()
116 m.submul(b[i], A_i_k, b[k], b[i]); in solve()
117 m.set(A_i_k, 0); in solve()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/math/polynomial/ |
| H A D | linear_eq_solver.h | 112 numeral & A_i_k = A_i[k]; in solve() local
114 m.submul(A_i[j], A_i_k, A_k[j], A_i[j]); in solve()
116 m.submul(b[i], A_i_k, b[k], b[i]); in solve()
117 m.set(A_i_k, 0); in solve()
|