如何在Sympy中添加限制假设？

Question

我想在限制中添加一些假设 假设0<x<1，然后$$ limit_ {n \ to \ infty} x ^ n = 0 $$

from sympy import *
x = var('x, n')
limit(x**n, n, oo)

但我收到错误NotImplementedError: Result depends on the sign of sign(log(x))。

有没有办法同意处理这个？

Answer 1

from sympy import *
from sympy.assumptions import assuming, Q
x, n = symbols("x n")

假设你可以说：

with assuming(...):

在你的情况下：

with assuming(Q.is_true(0 < x), Q.is_true(x <1):
    print(limit(x**n, x, oo))

不幸的是，我无法对其进行测试，但您可以自行阅读：http://docs.sympy.org/latest/modules/assumptions/assume.html