使用SymPy的新假设

Question

我对SymPy当前的假设存在一些问题。 看看this主题。其中一个提示是使用假设模块（参考here）。

我尝试进行以下计算$ \ lim_ {x \ to \ infty} \ frac {\ ln {x}} {x ^ k} $。我想评估这个限额为$ k> 0 $。

所以我尝试了这个：

 with assuming(k>0):
     limit((log(x))/(x**k),x,oo)

我也试过这个：

eval(limit((log(x))/(x**k),x,oo),k>0)

但无论如何，我得到了这个错误：

NotImplementedError: Result depends on the sign of -sign(k)

在

的情况下

with assume(k>0):
    limit((log(x))/(x**k),x,oo)

我收到此错误：

TypeError: 'module' object is not callable

任何想法我做错了什么？

Answer 1

这似乎有效。您链接的thread中的第一个答案是“SymPy的假设系统现在有点混乱”。我不确定自那以后这是否发生了变化。

k = Symbol('k', positive=True)
print limit((log(x))/(x**k),x,oo)