SymPy是否已移除多多项式除法功能？1.1.1文档未提及该特性

嘿，别担心，SymPy并没有移除多多项式除法的功能，只是这个功能的实现方式和API在新版本里做了整合，旧文档的表述方式可能和现在不太一样而已。

你提到的SymPy 0.6.7里的多多项式除法，其实对应到新版（包括你用的1.1.1）里，是通过div()函数支持传入多个除数来实现的，而且同样支持指定单项式序来影响结果。举个实际的代码例子你就能明白：

from sympy import symbols, div, lex

# 定义符号变量
x, y = symbols('x y')
# 被除多项式
f = x**2 + y**2 + 1
# 多个除数多项式
g1 = x + y
g2 = x - y

# 传入多个除数，指定lex单项式序进行除法
quotients, remainder = div(f, [g1, g2], order=lex)

print("各个除数对应的商:", quotients)
print("最终余式:", remainder)

运行这段代码，你就能得到类似旧版的多多项式除法结果，而且结果确实会因为除数顺序或者指定的项序（比如lex、grlex）不同而变化，和你看到的旧文档描述一致。

另外，如果你需要更规范的理想除法结果（也就是让余式满足无法被任何除数的首项整除的标准形式），还可以结合格罗比纳基（Groebner Basis）来操作：先通过groebner()函数计算除数集合的格罗比纳基，再用这个基来做除法，结果会更统一：

from sympy import groebner

# 计算格罗比纳基
gb = groebner([g1, g2], order=lex)
# 用格罗比纳基做除法
q_gb, r_gb = div(f, gb, order=lex)

print("格罗比纳基除法的商:", q_gb)
print("格罗比纳基除法的余式:", r_gb)

至于新版文档没单独提及这个特性，是因为现在它已经整合到div()函数的核心功能里了，你可以去查看SymPy 1.1.1中div()函数的官方文档，里面会明确说明支持传入多个除数的参数。

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