当符号被替换为带有`subs`的值时，SymPy `solve`无法求解矩阵方程A*x =b。

当符号被替换为带有subs的值时，SymPy solve无法求解矩阵方程A*x = b。这是因为subs方法在替换符号时会将其视为常数，而不是符号，从而导致无法进行符号计算。

要解决这个问题，可以使用SymPy的Matrix类和linsolve函数来求解矩阵方程。首先，将矩阵A和向量b转换为SymPy的Matrix对象。然后，使用linsolve函数来求解方程。以下是具体的步骤：

1. 导入必要的库和模块：

from sympy import Matrix, symbols, Eq, linsolve

1. 定义符号和矩阵方程：

x, y, z = symbols('x y z')
A = Matrix([[1, 2, 3], [4, 5, 6], [7, 8, 9]])
b = Matrix([1, 2, 3])

1. 创建方程对象：

eq = Eq(A*x, b)

1. 使用linsolve函数求解方程：

solution = linsolve(eq, x, y, z)

1. 打印解：

print(solution)

这样，就可以得到矩阵方程A*x = b的解。

关于SymPy的Matrix类和linsolve函数的更多信息，可以参考腾讯云的数学计算服务产品——腾讯云数学引擎（Mathematical Engine）的文档：腾讯云数学引擎产品介绍。