z1/2=z
Assumptions:z∈C
TeX:
{z}^{1 / 2} = \sqrt{z}
z \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|
| Pow | ab
| Power |
| Sqrt | z
| Principal square root |
| CC | C
| Complex numbers |
Source code for this entry:
Entry(ID("634687"),
Formula(Equal(Pow(z, Div(1, 2)), Sqrt(z))),
Variables(z),
Assumptions(Element(z, CC)))