SymPy：我可以安全地区分 atan2() 吗？
SymPy: Can I safely differentiate atan2()?
我想获得一个符号表达式，它是 atan2(y,x) 的导数，其中 y 和 x 是一些带有变量 z 的表达式。我可以安全地假设 diff(atan2(y,x),z) 给了我想要的东西吗？
在math.stackexchange.com中有证据表明atan2在(-pi,pi)中是连续可微的，但在SymPy中是吗？
atan2(y, x) 关于 x 和 y 的偏导数由 SymPy 计算为
-y/(x**2 + y**2)
x/(x**2 + y**2)
只要x, y不一下子变成零，这些表达式就是连续的。 （假设实参 x，y，当然 - 我认为没有人将复数放入 atan2）。
上面的公式是硬编码的here，所以我们可以非常确定SymPy会return它们。
我想获得一个符号表达式，它是 atan2(y,x) 的导数，其中 y 和 x 是一些带有变量 z 的表达式。我可以安全地假设 diff(atan2(y,x),z) 给了我想要的东西吗？
在math.stackexchange.com中有证据表明atan2在(-pi,pi)中是连续可微的，但在SymPy中是吗？
atan2(y, x) 关于 x 和 y 的偏导数由 SymPy 计算为
-y/(x**2 + y**2)
x/(x**2 + y**2)
只要x, y不一下子变成零，这些表达式就是连续的。 （假设实参 x，y，当然 - 我认为没有人将复数放入 atan2）。
上面的公式是硬编码的here，所以我们可以非常确定SymPy会return它们。