Fungrim home page

Fungrim entry: 0d4608

θ3 ⁣(0,i)Q\theta_{3}\!\left(0 , i\right) \notin \overline{\mathbb{Q}}
Consequence of Nesterenko's theorem.
\theta_{3}\!\left(0 , i\right) \notin \overline{\mathbb{Q}}
Fungrim symbol Notation Short description
JacobiThetaθj ⁣(z,τ)\theta_{j}\!\left(z , \tau\right) Jacobi theta function
ConstIii Imaginary unit
AlgebraicNumbersQ\overline{\mathbb{Q}} Algebraic numbers
Source code for this entry:
    Formula(NotElement(JacobiTheta(3, 0, ConstI), AlgebraicNumbers)),
    Description("Consequence of Nesterenko's theorem."))

Topics using this entry

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