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