maxima - 如何根据方程简化矩阵

Question

我在千里马有一个矩阵，让我们说（为了简化问题）：

A: 矩阵([2*(a^2+b^2+c^2)])

但我知道：

a^2+b^2+c^2 = 1

如何根据该方程简化 Maxima 中的矩阵，以获得 A = [2]？

Answer 1

您可以使用tellrat.

(%i1) A:matrix([2*(a^2+b^2+c^2)])
(%o1)                        [     2    2    2  ]
                             [ 2 (c  + b  + a ) ]
(%i2) a^2+b^2+c^2 = 1
                                2    2    2
(%o2)                          c  + b  + a  = 1
(%i3) solve(%,a^2)
                              2       2     2
(%o3)                       [a  = (- c ) - b  + 1]
(%i4) tellrat(%[1])
                                2    2    2
(%o4)                         [c  + b  + a  - 1]
(%i5) algebraic:true
(%o5)                                true
(%i6) rat(A)
(%o6)/R/                             [ 2 ]
(%i7) untellrat(a)
(%o7)                                 []

Answer 2

我找到了解决方案：

A: matrix([2*(a^2+b^2+c^2)]); eq: a^2+b^2+c^2 = 1; scsimp(A, eq);