Fungrim entry: 664b4c

j(\tau) = {\left({\left(\frac{\eta(\tau)}{\eta\!\left(2 \tau\right)}\right)}^{8} + {2}^{8} {\left(\frac{\eta\!\left(2 \tau\right)}{\eta(\tau)}\right)}^{16}\right)}^{3}

Assumptions:

\tau \in \mathbb{H}

TeX:

j(\tau) = {\left({\left(\frac{\eta(\tau)}{\eta\!\left(2 \tau\right)}\right)}^{8} + {2}^{8} {\left(\frac{\eta\!\left(2 \tau\right)}{\eta(\tau)}\right)}^{16}\right)}^{3}

\tau \in \mathbb{H}

Definitions:

Fungrim symbol	Notation	Short description
`ModularJ`	$j(\tau)$	Modular j-invariant
`Pow`	${a}^{b}$	Power
`DedekindEta`	$\eta(\tau)$	Dedekind eta function
`HH`	$\mathbb{H}$	Upper complex half-plane

Source code for this entry:

Entry(ID("664b4c"),
    Formula(Equal(ModularJ(tau), Pow(Add(Pow(Div(DedekindEta(tau), DedekindEta(Mul(2, tau))), 8), Mul(Pow(2, 8), Pow(Div(DedekindEta(Mul(2, tau)), DedekindEta(tau)), 16))), 3))),
    Variables(tau),
    Assumptions(Element(tau, HH)))

Topics using this entry

Modular j-invariant

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

2021-03-15 19:12:00.328586 UTC