References:
- https://math.stackexchange.com/questions/1334684/what-is-the-exact-value-of-eta6i/1334940
TeX:
\eta\!\left(5 i\right) = \frac{\eta(i)}{\sqrt{5 \varphi}}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| DedekindEta | Dedekind eta function | |
| ConstI | Imaginary unit | |
| Sqrt | Principal square root | |
| GoldenRatio | The golden ratio (1.618...) |
Source code for this entry:
Entry(ID("d2900f"),
Formula(Equal(DedekindEta(Mul(5, ConstI)), Div(DedekindEta(ConstI), Sqrt(Mul(5, GoldenRatio))))),
References("https://math.stackexchange.com/questions/1334684/what-is-the-exact-value-of-eta6i/1334940"))