Fungrim entry: 30a054

E_{2}\!\left({e}^{2 \pi i / 3}\right) = \frac{2 \sqrt{3}}{\pi}

TeX:

E_{2}\!\left({e}^{2 \pi i / 3}\right) = \frac{2 \sqrt{3}}{\pi}

Definitions:

Fungrim symbol	Notation	Short description
`EisensteinE`	$E_{k}\!\left(\tau\right)$	Normalized Eisenstein series
`Exp`	${e}^{z}$	Exponential function
`Pi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit
`Sqrt`	$\sqrt{z}$	Principal square root

Source code for this entry:

Entry(ID("30a054"),
    Formula(Equal(EisensteinE(2, Exp(Div(Mul(Mul(2, Pi), ConstI), 3))), Div(Mul(2, Sqrt(3)), Pi))))

Topics using this entry

2021-03-15 19:12:00.328586 UTC