UniqueZero

Input: UniqueZero(f(x), ForElement(x, S))
$$\mathop{\operatorname{zero*}\,}\limits_{x \in S} f(x)$$

The unique value $x \in S$ satisfying $f(x) = 0$. The result is Undefined if such a value does not exist or is not unique.

Input: UniqueZero(f(x), ForElement(x, S), P(x))
$$\mathop{\operatorname{zero*}\,}\limits_{x \in S,\,P(x)} f(x)$$

The unique value $x \in S$ satisfying $P(x)$ and $f(x) = 0$. The result is Undefined if such a value does not exist or is not unique.

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