Python 求实函数的性质

有没有一种方法，可以使用

sympy

，算出一个函数的（一些）属性，被认为是一个实函数

例如，如果

>>> x = Symbol('x', real=True)
>>> f = Lambda(x, sqrt((x-2)/(x+2)))

然后像

>>> f.domain()
(-oo, -2) U [2, oo)
>>> f.image()  # there is "imageset", but it is not expanding on the set of reals
[0, 1) U (1, oo)
>>> f.is_injective()
True
>>> f.is_bounded()
False
>>> f.is_even  # currently returns None
False

---

其中一些是在Wolfram Alpha中实现的。

其中一些是在和中实现的，尽管它们还没有从Symphy import导出到

*

，因此您必须手动导入它们。其中一些功能仍然有限，因此您可能还没有得到答案

其中一些属性可能未实现。另一些则有不同的含义，例如is_甚至用于查询整数奇偶校验。