我正在处理符号矩阵。
一旦明确，我将无法返回隐式表示形式。
我试图用.as_explicit()和MatrixExpr.from_index_summation(expr)配对
但是后者似乎期望一个明确的sigma表示总和，而不是索引元素的总和。
作为一个最小的工作示例，这是我的矩阵乘法方法：
A = MatrixSymbol('A',3,4)
B = MatrixSymbol('B',4,3)
Matrix_Notation = A * B
Expanded = (A * B).as_explicit()
FromSummation = MatrixExpr.from_index_summation(Expanded)
在这里我们可以看到FromSummation与Expanded相同
我想应该将Expanded表达式转换为sigma和，以便可以期望.from_index_summation起作用。但是怎么办呢？