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)))