符号数组表达式

Question

我想知道是否有一种方法可以象征性地处理数组变量（类似sympy，但用于数组而不是数值变量）。这样我就可以得到数组表达式，比如

f1 = 3*A[i] + 4*B[i][j] - 7 == 0

或者更高级的东西，比如嵌套数组关系

^{pr2}$

通过象征性地处理A，B，我可以用替换来改变A，B的内容，例如：

f1.subs(A=[1,2,3,4],B=[[1,2],[3,4]])

然后我可以添加f1和f2等

Answer 1

从您的标记判断，我假设您主要对Python解决方案感兴趣。在

有一些项目象征性地构建数组表达式。我建议你看看

• Theano-生成用于代码生成的数组表达式。主要用于机器学习应用，但这是一个相当普遍的项目。在
• SymPy Matrix Expressions-仅限于矩阵，但处理一些我们对线性代数的特殊知识。在
• SymPy Indexed
• Blaze-从Continuum的人中发展出来的新项目。在

如果您愿意退出Python，可以看看Mathematica中的xAct。在

还有许多其他项目我没有在这里列出，它们可能与您的应用程序相关。线性代数是一个非常活跃的符号代数。不过，每个项目都倾向于在设计时考虑到特定的应用程序。在