Sympy 多元多项式的辛除法

为什么sympy不除掉这个多项式

>>> import sympy as sp
>>> x,y = sp.symbols("x y")
>>> print(sp.div(y+x,y))
(0, x + y)

我希望答案是

（1，x）

，因为商是

1

，其余的是

x

。我怎样才能得到多项式除法的辛

我想把一些多项式

p

表示为

p=aq+r

，其中

r

是余数，

q

是商，

a

是除数。在上面的例子中，请注意

y+x=1*x+y

，因此在我看来，我们应该能够发现

1

是

p

除以

x

的商

更多细节

假设我在一个实数多元多项式环上工作，并且假设我想将一些多项式

p

表示为

p=aq+r

，对于一些非零多项式

a

，对于一些

r

，使用

deg（r）参见

给定一个族（奇怪地
div（x+y，x）
的行为与您预期的一样。@hpaulj，我在我的问题中添加了更多的信息。希望这有助于澄清我的困惑。当存在多个变量时，似乎存在某种隐含的顺序，例如
x+y
被认为是
x
中的多边形，而不是
y
中的多边形，其中的顺序似乎与符号创建顺序。当只有一个符号时，文档就更清晰了。只有几个例子有几个符号。顺序可以明确化，例如
div（x+y，x[x，y]）
vs
div（x+y，x[y，x]）
您可以简化表达式，而不是使用类似div的
sp.simplify（（x**2-y**2）/（x*（x-y））)
谢谢您的帮助。我仍然对生成器顺序的重要性感到困惑。正如我在“更多详细信息”一节的问题中试图解释的那样，在我看来，给定一个带有一组特定变量（生成器）的除法问题，应该可以定义唯一的商和余数（如果存在）。我担心对生成器强加命令不会给我我想要的结果。再次感谢。