elog(z)=z
Assumptions:z∈C
TeX:
{e}^{\log(z)} = z
z \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|
| Exp | ez
| Exponential function |
| Log | log(z)
| Natural logarithm |
| CC | C
| Complex numbers |
Source code for this entry:
Entry(ID("296627"),
Formula(Equal(Exp(Log(z)), z)),
Variables(z),
Assumptions(Element(z, CC)))