SymPy中除法运算的lambdify参数传递问题

问题场景 #

使用SymPy的lambdify做数学计算时，乘法场景通过表达式的args属性传递参数能正常运行，但除法场景用同样方式会触发语法错误；改用free_symbols虽能运行，却会收到弃用警告（提示集合参数无序，建议用列表或元组），且不想手动传入[x,y]这类硬编码的符号列表。

错误示例及原因 #

除法用args报错代码

from sympy import Symbol, lambdify

x = Symbol('x')
y = Symbol('y')
z = x / y
lambdified_2 = lambdify(z.args, z)
value_2 = lambdified_2(x=2, y=3)
print(value_2)

报错信息：

def _lambdifygenerated(x, 1/y):
                      ^
SyntaxError: invalid syntax

原因：z = x/y的args属性返回的是(x, 1/y)，第二个元素是表达式而非符号，lambdify会尝试把1/y作为函数参数，直接导致语法错误。

用free_symbols的警告

x = Symbol('x')
y = Symbol('y')
z = x / y
lambdified_2 = lambdify(z.free_symbols, z)
value_2 = lambdified_2(x=2, y=3)
print(value_2)

警告信息：

SymPyDeprecationWarning: 

Passing the function arguments to lambdify() as a set is deprecated. This
leads to unpredictable results since sets are unordered. Instead, use a list
or tuple for the function arguments.

原因：free_symbols返回的是无序集合，SymPy已弃用集合作为lambdify的参数输入，避免因参数顺序不稳定导致计算结果不可控。

最优解决方案 #

使用SymPy的ordered函数将free_symbols转换为有序列表，既不用手动硬编码符号，也能规避弃用警告和语法错误：

from sympy import Symbol, lambdify, ordered

# 乘法场景（保持原有逻辑即可）
a = Symbol('a')
b = Symbol('b')
c = a * b
lambdified = lambdify(c.args, c)
print(lambdified(a=2, b=3))  # 输出6

# 除法场景修复后代码
x = Symbol('x')
y = Symbol('y')
z = x / y
# 将free_symbols转为有序列表
ordered_args = list(ordered(z.free_symbols))
lambdified_2 = lambdify(ordered_args, z)
print(lambdified_2(x=2, y=3))  # 输出0.6666666666666666

说明：ordered函数会按符号的字典序排列（如x在y前），保证参数顺序稳定，完全符合lambdify的输入要求。

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