Fungrim home page

Fungrim entry: f04e01

ε ⁣(1,b,0,1)=eπib/12\varepsilon\!\left(1, b, 0, 1\right) = {e}^{\pi i b / 12}
bZb \in \mathbb{Z}
TeX:
\varepsilon\!\left(1, b, 0, 1\right) = {e}^{\pi i b / 12}
Definitions:
Fungrim symbol Notation Short description
DedekindEtaEpsilonε ⁣(a,b,c,d)\varepsilon\!\left(a, b, c, d\right) Root of unity in the functional equation of the Dedekind eta function
Expez{e}^{z} Exponential function
ConstPiπ\pi The constant pi (3.14...)
ConstIii Imaginary unit
ZZZ\mathbb{Z} Integers
Source code for this entry:
Entry(ID("f04e01"),
    Formula(Equal(DedekindEtaEpsilon(1, b, 0, 1), Exp(Div(Mul(Mul(ConstPi, ConstI), b), 12)))),
    Variables(b),
    Element(b, ZZ))

Topics using this entry

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