Fungrim entry: 8f43ab

\theta_{1}\!\left(0 , \tau\right) = 0

Assumptions:

\tau \in \mathbb{H}

TeX:

\theta_{1}\!\left(0 , \tau\right) = 0

\tau \in \mathbb{H}

Definitions:

Fungrim symbol	Notation	Short description
`JacobiTheta`	$\theta_{j}\!\left(z , \tau\right)$	Jacobi theta function
`HH`	$\mathbb{H}$	Upper complex half-plane

Source code for this entry:

Entry(ID("8f43ab"),
    Formula(Equal(JacobiTheta(1, 0, tau), 0)),
    Variables(tau),
    Assumptions(Element(tau, HH)))

Topics using this entry

2021-03-15 19:12:00.328586 UTC