Fungrim home page

Fungrim entry: f2e2c2

BranchPoints ⁣(η ⁣(τ),τ,H{~})={}\operatorname{BranchPoints}\!\left(\eta\!\left(\tau\right), \tau, \mathbb{H} \cup \left\{{\tilde \infty}\right\}\right) = \left\{\right\}
\operatorname{BranchPoints}\!\left(\eta\!\left(\tau\right), \tau, \mathbb{H} \cup \left\{{\tilde \infty}\right\}\right) = \left\{\right\}
Fungrim symbol Notation Short description
DedekindEtaη ⁣(τ)\eta\!\left(\tau\right) Dedekind eta function
HHH\mathbb{H} Upper complex half-plane
UnsignedInfinity~{\tilde \infty} Unsigned infinity
Source code for this entry:
    Formula(Equal(BranchPoints(DedekindEta(tau), tau, Union(HH, Set(UnsignedInfinity))), Set())))

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