TeX:
\operatorname{BranchCuts}\!\left(\operatorname{atan}\!\left(z\right), z, \mathbb{C}\right) = \left\{\left(-\infty, -1\right] i, \left[1, \infty\right) i\right\}
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
Atan | Inverse tangent | |
CC | Complex numbers | |
OpenClosedInterval | Open-closed interval | |
Infinity | Positive infinity | |
ConstI | Imaginary unit | |
ClosedOpenInterval | Closed-open interval |
Source code for this entry:
Entry(ID("3b11d3"), Formula(Equal(BranchCuts(Atan(z), z, CC), Set(Mul(OpenClosedInterval(Neg(Infinity), -1), ConstI), Mul(ClosedOpenInterval(1, Infinity), ConstI)))))