我对Sagemath相对较新（Python也是如此）。我有(k,A)形式的对象列表，其中k是整数，A是符号表达式（在我的情况下，它是一对单项式，但我想知道一般答案如果可能的话）。例如，假设我有：
l1 = [(2,A1),(1,A3)]
l2 = [(-1,A3),(3,A2)]
这是一个非常小的示例：在我要考虑的情况下，我有很多列表，每个列表包含数十个条目。但是没有一个列表包含两个具有相同第二个元素的元素。例如，没有包含(1,A1)和(2,A1)的列表。
我想提取相应符号表达式的第一部分以使其具有矩阵，使得每行对应于一个列表，并且这些列由出现在至少一个列表中的A1,...,An进行索引。另外，如果条目(i,j)是列表(k, Aj)中i的第一个组成部分，则它是0的其他部分。在我的示例中，我想使用矩阵
[[2,0,1],[0,3,-1]],
但是我一般不知道该怎么做！我以为应该像多项式f的f.coefficent_matrix()一样，但是该算法的策略使用指数来区分元素，而在我的情况下，可能的A的可能性太多。
有办法吗？