SymPy中调用solve用大写Q报错，小写q正常的原因咨询

问题概述 #

使用SymPy编写代码时，调用solve函数时传入包含大写变量Q的参数会抛出SympifyError，将Q改为小写q后代码可正常运行，需明确变量大小写导致差异的原因。

报错代码 #

from sympy import *
x,y = symbols('x y')
Q=1
gf = x+y,5*x-y-Q
k=solve(gf,'x','Q','y')

报错信息 #

File "C:\Users\mcaka\HydroD\stubborn.py", line 5, in <module>
    k=solve(gf,'X','x','b','Q')
      ^^^^^^^^^^^^^^^^^^^^^^^^^
  File "C:\Users\mcaka\PycharmProjects\pythonProject\.venv\Lib\site-packages\sympy\solvers\solvers.py", line 1038, in solve
    f, symbols, swap_sym = recast_to_symbols(f, symbols)
                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "C:\Users\mcaka\PycharmProjects\pythonProject\.venv\Lib\site-packages\sympy\solvers\solvers.py", line 108, in recast_to_symbols
    new_f.append(isubs(swap_sym))
                 ^^^^^^^^^^^^^^^
  File "C:\Users\mcaka\PycharmProjects\pythonProject\.venv\Lib\site-packages\sympy\core\basic.py", line 1074, in subs
    sequence = [(sympify_old(s1), sympify_new(s2)) for s1, s2 in sequence]
                 ^^^^^^^^^^^^^^^
  File "C:\Users\mcaka\PycharmProjects\pythonProject\.venv\Lib\site-packages\sympy\core\basic.py", line 1065, in sympify_old
    return sympify(old, strict=True)
           ^^^^^^^^^^^^^^^^^^^^^^^^^
  File "C:\Users\mcaka\PycharmProjects\pythonProject\.venv\Lib\site-packages\sympy\core\sympify.py", line 454, in sympify
    raise SympifyError(a)
sympy.core.sympify.SympifyError: SympifyError: <sympy.assumptions.ask.AssumptionKeys object at 0x00000203F7F279E0>

正常运行代码 #

x,y = symbols('x y')
q=1
gf = x+y,5*x-y-q
k=solve(gf,'x','q','y')

原因分析 #

• SymPy的内置命名空间中已存在名为Q的对象，它是sympy.assumptions.ask.AssumptionKeys的实例，用于定义和查询符号的假设属性（例如Q.integer(x)用于判断x是否为整数）。
• 执行from sympy import *时，这个内置Q会被导入当前命名空间。尽管后续将Q赋值为整数1，但调用solve传入字符串参数'Q'时，SymPy会优先匹配命名空间中已有的内置Q对象——该对象并非符号类型，无法被sympify函数转换为合法的符号表达式，因此抛出SympifyError。
• 小写q未被SymPy内置占用，传入字符串'q'时，SymPy会将其正确解析为新的符号变量，无命名冲突，代码可正常运行。

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