Python Symphy是否失去了被多个多项式除法的功能？

我是辛普森的新手，我正在试验分割多项式。目前，我正在运行Python3.6.4和Sympy1.1.1（安装了pip）。浏览了他们的文档后，我在他们的网站上发现了以下有用的示例：

另一种选择是同时除以多个多项式。通常，输出不是唯一的，取决于除数的顺序和给定的单项式顺序（如果指定）

然而，这一特性，至少在目前的情况下是不存在的。更重要的是，如果我尝试在1.1.1上执行类似的操作，我会得到以下错误：

>>> f = x*y + y*z + z*x
>>> g1 = x + 1
>>> g2 = 2*y + 1
>>> q, r = div(f, [g1, g2], x, y, z)
Traceback (most recent call last):
  File "C:\[...]\Python\Python36\lib\site-packages\sympy\polys\polytools.py", line 4659, in div
    (F, G), opt = parallel_poly_from_expr((f, g), *gens, **args)
  File "C:\[...]\Python\Python36\lib\site-packages\sympy\polys\polytools.py", line 4266, in parallel_poly_from_expr
    return _parallel_poly_from_expr(exprs, opt)
  File "C:\[...]\Python\Python36\lib\site-packages\sympy\polys\polytools.py", line 4312, in _parallel_poly_from_expr
    raise PolificationFailed(opt, origs, exprs, True)
sympy.polys.polyerrors.PolificationFailed: can't construct polynomials from x*y + x*z + y*z, [x + 1, 2*y + 1]

During handling of the above exception, another exception occurred:

Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "C:\[...]\Python\Python36\lib\site-packages\sympy\polys\polytools.py", line 4661, in div
    raise ComputationFailed('div', 2, exc)
sympy.polys.polyerrors.ComputationFailed: div(x*y + x*z + y*z, [x + 1, 2*y + 1]) failed without generators

>>f=x*y+y*z+z*x
>>>g1=x+1
>>>g2=2*y+1
>>>q，r=div（f[g1，g2]，x，y，z）
回溯（最近一次呼叫最后一次）：
文件“C:\[…]\Python\Python36\lib\site packages\sympy\polys\polytools.py”，第4659行，在div中
（F，G），opt=expr（（F，G），*gens，**args）中的平行多边形
文件“C:\[…]\Python\Python36\lib\site packages\sympy\polys\polytools.py”，第4266行，来自
从expr返回平行多边形（expr，opt）
文件“C:\[…]\Python\Python36\lib\site packages\sympy\polys\polytools.py”，第4312行，在\u expr的\u parallel\u poly\u中
提升策略失败（选项、源、表达式、真）
sympy.polys.polyerrors.PolificationFailed:无法从x*y+x*z+y*z[x+1,2*y+1]构造多项式
在处理上述异常期间，发生了另一个异常：
回溯（最近一次呼叫最后一次）：
文件“”，第1行，在
文件“C:\[…]\Python\Python36\lib\site packages\sympy\polys\polytools.py”，第4661行，在div中
提升计算失败（'div'，2，exc）
sympy.polys.polyerrors.ComputationFailed:div（x*y+x*z+y*z[x+1,2*y+1]）在没有生成器的情况下失败

我非常怀疑这个特性是否被删除了，因为这是一个非常重要的特性，特别是对于仿射变量和Groebner基分析（我正在研究的主题）

---

有人能给我介绍一下Symphy的一个工作示例吗？

此功能现在可以从函数中获得。使用示例中的f、g1、g2

>>> reduced(f, [g1, g2], x, y, z)
([y + z, z/2 - 1/2], -3*z/2 + 1/2)

>>> reduced(f, [g1, g2], x, y, z)
([y + z, z/2 - 1/2], -3*z/2 + 1/2)