sagemath中符号向量之间的相等性答案

【问题标题】：equality between symbolic vectors in sagemathsagemath中符号向量之间的相等性
【发布时间】：2021-10-25 01:46:22
【问题描述】：

我正在尝试求解类型方程

x = A x

其中 x 是向量，A 是矩阵，使用 sagemath。

为此，我写了

A = matrix(QQ, [[0, 4, 4], 
                  [1, 2, 2],
                  [1, 2, 0]])  
x = vector([var("x_1"), var("x_2"), var("x_3")])

equation = x == A * x
equation

out : False

期望方程是符号表达式的向量。

我的问题是它是一个布尔值 False，而不是我预期的系统。

我应该使用哪个函数来获得对应于x和A * x坐标相等的符号向量？

【问题讨论】：

标签： python symbolic-math sage

【解决方案1】：

这是一种方法：

sage: vector([xi == yi for xi, yi in zip(x, A*x)])
(x_1 == 4*x_2 + 4*x_3, x_2 == x_1 + 2*x_2 + 2*x_3, x_3 == x_1 + 2*x_2)

【讨论】：

确实有效……但没有更优雅的方法有点遗憾。