Sympy subs函数失效求助：符号与整数替换均失败

SymPy的所有表达式都是不可变对象，subs()方法不会修改原表达式，而是返回一个全新的表达式。你遇到的两个问题本质都是没理解这个特性，和Anaconda环境无关。

问题1：基础subs调用不生效的修正 #

你的测试代码只调用了subs()但没有接收返回值，原表达式自然不会变化。修正代码如下：

from sympy import *
x, y, z = symbols("x y z")

expr = x
new_expr = expr.subs(x, y)  # 接收subs返回的新表达式
print(new_expr)  # 输出：y

问题2：替换UnevaluatedExpr中的5为(3+2)的修正 #

原代码存在三个问题：

1. 未接收subs()的返回值
2. 判断叶子节点的逻辑错误（UnevaluatedExpr的args长度不是1）
3. 递归处理时未重新组合新表达式

修正后的代码：

from sympy import *
from sympy.core.unevaluated import UnevaluatedExpr

def change(expr):
    # 识别未求值的5并替换
    if isinstance(expr, UnevaluatedExpr):
        if expr.args[0] == 5:
            return UnevaluatedExpr(UnevaluatedExpr(3) + UnevaluatedExpr(2))
        return expr
    # 递归处理所有子节点，生成新的子表达式列表
    new_args = [change(arg) for arg in expr.args]
    # 用原表达式的类型重新构造新表达式
    return expr.func(*new_args)

# 原表达式
expr = UnevaluatedExpr(5)*UnevaluatedExpr(10)-UnevaluatedExpr(5)**UnevaluatedExpr(2)
# 执行替换
new_expr = change(expr)
print(new_expr)
# 输出：(3 + 2)*10 - (3 + 2)**2

关键说明 #

• 用isinstance(expr, UnevaluatedExpr)精准识别目标节点
• 通过expr.func保持原表达式的运算类型（乘、减、幂），避免破坏原有结构
• 所有操作都返回新表达式，遵循SymPy不可变对象的设计逻辑

内容的提问来源于stack exchange，提问作者Timocaillou