与Python的符号集成

Question

我想用Python以符号方式计算分布。 分发是

f(z) = \frac{1}{(b-a)^2}\int^b_a z\mathbb{1}_{[a,b]}(zw)dw

如何计算这个积分知道

[a,b]\bigcap [a/z,b/z] \neq \emptyset