Я новичок в SAGE, поэтому этот вопрос может быть тривиальным.Как я могу разложить характеристический полином, полученный с помощью символьной матрицы в SAGE 8.6?Есть ли обходной путь к тому факту, что factor() не определено на базовом кольце 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) символьных матриц и хотел бы сразу рассмотреть все факторы, чтобы быстро изолировать отрицательные действительные корни и вместо этого легко обсудить условия существования и признак символических.