SymPy solve无法求解local_dict传入的自定义符号变量问题求助

问题重现 #

用户代码如下，求解Q时返回空列表[]，预期得到[0.5]（由方程Q*20 -10=0推导得出）：

import math
import numpy as np
import matplotlib.pyplot as plt
from sympy import *

V = symbols("V")
I = symbols("I")
Q = symbols("Q")
values = [V,I,Q]

eq = "Q*I-V"
unit_dic ={"I": values[1],"Q":values[2]}

eq = parse_expr(eq, local_dict=unit_dic)

# 代入数值
eq = eq.subs("I",20)
eq = eq.subs("V",10)

# 求解Q
answer = solve(eq,Q)
print(answer)  # 输出：[]

核心原因 #

1. 全局命名空间冲突：使用from sympy import *会导入SymPy内置的I（虚数单位）和Q（有理数域对象），这会覆盖或干扰你自定义的I/Q符号，导致parse_expr解析字符串时优先匹配内置对象，而非你传入的自定义符号。
2. 字符串解析的符号匹配歧义：即使传入local_dict，parse_expr仍可能优先使用全局作用域中的内置符号，最终表达式里的I/Q并非你定义的变量，后续subs和solve操作自然无法得到预期结果。

解决办法 #

方法1：避免全局导入，按需导入SymPy组件 #

去掉from sympy import *，只导入需要的函数和类，彻底消除符号冲突：

import math
import numpy as np
import matplotlib.pyplot as plt
from sympy import symbols, parse_expr, solve

# 自定义符号，无内置符号干扰
V = symbols("V")
I = symbols("I")
Q = symbols("Q")

eq_str = "Q*I-V"
# 明确映射自定义符号到字符串变量
eq = parse_expr(eq_str, local_dict={"I": I, "Q": Q, "V": V})

# 代入数值时直接传入符号对象（比传字符串更可靠）
eq = eq.subs(I, 20)
eq = eq.subs(V, 10)

answer = solve(eq, Q)
print(answer)  # 输出：[1/2]，符合预期

方法2：直接用符号构建表达式，跳过字符串解析 #

如果不需要动态解析字符串，直接用自定义符号构建表达式，完全避免解析歧义：

import math
import numpy as np
import matplotlib.pyplot as plt
from sympy import symbols, solve

V, I, Q = symbols("V I Q")

# 直接用符号构建表达式，无需字符串解析
eq = Q * I - V

eq = eq.subs(I, 20)
eq = eq.subs(V, 10)

answer = solve(eq, Q)
print(answer)  # 输出：[1/2]

补充说明 #

• 若必须使用字符串解析，确保local_dict包含所有需要映射的符号，同时避免全局导入SymPy内置符号。
• subs操作传入符号对象比传入字符串更可靠，能彻底避免同名符号的混淆问题。

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