Fungrim home page

Fungrim entry: 97b736

z=z1/2\sqrt{z} = {z}^{1 / 2}
Assumptions:zCz \in \mathbb{C}
TeX:
\sqrt{z} = {z}^{1 / 2}

z \in \mathbb{C}
Definitions:
Fungrim symbol Notation Short description
Sqrtz\sqrt{z} Principal square root
Powab{a}^{b} Power
CCC\mathbb{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)))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-08-21 11:44:15.926409 UTC