我想在 sympy 中禁用自动简化，例如求解x*y-x我想要的方程x/x而不是1
import sympy
from sympy.abc import x,y,z
expr = x*y-x
sympy.solve(expr,y)
=> 1 # i want unsimplified x/x instead of 1
从 sympy 手册中，我找到了 UnevaluatedExpr 用于此目的，但它返回给定示例的空列表
from sympy import UnevaluatedExpr
expr1 = UnevaluatedExpr(x)*UnevaluatedExpr(y)-UnevaluatedExpr(x)
sympy.solve(expr1,y)
=> []
我的问题是