Есть ли способ, используя 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.
Некоторые из этих свойств, скорее всего, не реализованы. Другие имеют другое значение, например is_even используется для запроса целочисленной четности. –