Corner of the fundamental domain.
TeX:
{e}^{2 \pi i / 3} = \frac{-1 + \sqrt{3} i}{2} \in \mathcal{F}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Exp | Exponential function | |
| ConstPi | The constant pi (3.14...) | |
| ConstI | Imaginary unit | |
| Sqrt | Principal square root | |
| ModularGroupFundamentalDomain | Fundamental domain for action of the modular group |
Source code for this entry:
Entry(ID("21b67f"),
Formula(EqualAndElement(Exp(Div(Mul(Mul(2, ConstPi), ConstI), 3)), Div(Add(-1, Mul(Sqrt(3), ConstI)), 2), ModularGroupFundamentalDomain)),
Description("Corner of the fundamental domain."))