Python 如何定义Sympy中符号之间的关系条件

我想计算

exp（（a-b）*x）

函数对趋向无穷大的

x

的极限，其中符号a和b被定义为实和正：

a = Symbol('a', real=True, positive=True)
b = Symbol('b', real=True, positive=True)

---

但是，限制取决于差异

a-b

。如果

ab

，则限制为无穷大。如何设置这些条件？

让

d=a-b

然后用不同条件的限制逐段定义一个：

>>> oolim = lambda A: limit(exp(A*x),x,oo)
>>> f = Piecewise((oolim(d), a>b), (oolim(0), Eq(a,b)), (oolim(-d),True)); f
Piecewise((oo, a > b), (1, Eq(a, b)), (0, True))

您可以将

a

和/或

b

的值替换为

f

，表达式将计算/更新：

>>> f.subs({a:3, b:5})
0