SAGE：分解SR基环中的特征多项式

Question

我是SAGE的新手，所以这个问题可能很简单。如何在SAGE 8.6中分解由符号矩阵获得的特征多项式？

在基环factor()（请参见here）上未定义SR的事实是否可以解决？

例如，我在SAGE / Jupyter笔记本中有以下内容：

a,b,c = var('a','b','c')
M = Matrix(SR,3,3)
M[0] = [a, -b, 0]
M[1] = [c, a+b, 0]
M[2] = [0, 0, 1]
e = M.eigenvalues()
f = M.charpoly()
factor(f)

最后一条指令引发NotImplementedError。 在我的实际问题中，我正在计算大型（8x8）符号矩阵的特征多项式，我希望一目了然，以便快速隔离负实根，而轻松地讨论符号存在的根和符号的条件。 / p>