Zeros

Input: Zeros(f(x), ForElement(x, S))
$$\mathop{\operatorname{zeros}\,}\limits_{x \in S} f(x)$$

The set of values $x \in S$ satisfying $f(x) = 0$.

Input: Zeros(f(x), ForElement(x, S), P(x))
$$\mathop{\operatorname{zeros}\,}\limits_{x \in S,\,P(x)} f(x)$$

The set of values $x \in S$ satisfying $P(x)$ and $f(x) = 0$.

Symbolic evaluation examples

Input: Zeros(x**4 - 4*x**2 + 2, ForElement(x, CC), Greater(Re(x), 0))
$$\mathop{\operatorname{zeros}\,}\limits_{x \in \mathbb{C},\,\operatorname{Re}(x) > 0} \left[{x}^{4} - 4 {x}^{2} + 2\right]$$
Output: Set(Sqrt(Add(2, Sqrt(2))), Sqrt(Sub(2, Sqrt(2))))   (evaluated by pygrim in 0.0403 s)
$$\left\{\sqrt{2 + \sqrt{2}}, \sqrt{2 - \sqrt{2}}\right\}$$

Last updated: 2020-03-06 00:22:16