Assumptions:
TeX:
\operatorname{atan2}\!\left(0, x\right) = \begin{cases} 0, & x \ge 0\\\pi, & x < 0\\ \end{cases} x \in \mathbb{R}
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
Atan2 | Two-argument inverse tangent | |
Pi | The constant pi (3.14...) | |
RR | Real numbers |
Source code for this entry:
Entry(ID("a6776b"), Formula(Equal(Atan2(0, x), Cases(Tuple(0, GreaterEqual(x, 0)), Tuple(Pi, Less(x, 0))))), Variables(x), Assumptions(Element(x, RR)))