Assumptions:
TeX:
G_{2}\!\left(\tau\right) = 2 \zeta\!\left(\frac{1}{2}, \tau\right)
\tau \in \mathbb{H}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| EisensteinG | Eisenstein series | |
| WeierstrassZeta | Weierstrass zeta function | |
| HH | Upper complex half-plane |
Source code for this entry:
Entry(ID("b52b6f"),
Formula(Equal(EisensteinG(2, tau), Mul(2, WeierstrassZeta(Div(1, 2), tau)))),
Variables(tau),
Assumptions(Element(tau, HH)))