Fungrim home page

Fungrim entry: 87e9ed

η ⁣(2i)=η ⁣(i)23/8\eta\!\left(2 i\right) = \frac{\eta\!\left(i\right)}{{2}^{3 / 8}}
\eta\!\left(2 i\right) = \frac{\eta\!\left(i\right)}{{2}^{3 / 8}}
Fungrim symbol Notation Short description
DedekindEtaη ⁣(τ)\eta\!\left(\tau\right) Dedekind eta function
ConstIii Imaginary unit
Powab{a}^{b} Power
Source code for this entry:
    Formula(Equal(DedekindEta(Mul(2, ConstI)), Div(DedekindEta(ConstI), Pow(2, Div(3, 8))))))

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-19 14:38:23.809000 UTC