配列変数を記号的に扱う方法があるかどうか疑問に思っています(sympyのようなものですが、数値変数ではなく配列用です)。次のような配列式を持つことができるように
f1 = 3*A[i] + 4*B[i][j] - 7 == 0
または、ネストされた配列関係など、さらに高度なもの
f2= 3 * A[C[i][j]] == B[i] + 3
A、B を記号的に扱うことで、substitution を使用して A、B の内容を変更できます。たとえば、次のようになります。
f1.subs(A=[1,2,3,4],B=[[1,2],[3,4]])
次に、f1 と f2 などを追加できます。