Fungrim entry: e28209

\left|{e}^{2 \pi i \tau}\right| \lt 0.004334

Assumptions:

\tau \in \mathcal{F}

TeX:

\left|{e}^{2 \pi i \tau}\right| \lt 0.004334

\tau \in \mathcal{F}

Definitions:

Fungrim symbol	Notation	Short description
`Abs`	$\left\|z\right\|$	Absolute value
`Exp`	${e}^{z}$	Exponential function
`ConstPi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit
`ModularGroupFundamentalDomain`	$\mathcal{F}$	Fundamental domain for action of the modular group

Source code for this entry:

Entry(ID("e28209"),
    Formula(Less(Abs(Exp(Mul(Mul(Mul(2, ConstPi), ConstI), tau))), Decimal("0.004334"))),
    Variables(tau),
    Assumptions(Element(tau, ModularGroupFundamentalDomain)))

Topics using this entry

Modular transformations

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

2019-06-18 07:49:59.356594 UTC