Skip to main content

g_function_ty

Function g_function_ty 

Source
pub fn g_function_ty() -> Expr
Expand description

GFunction : Nat → Type — non-normalised Eisenstein series G_k = ∑_{(c,d)≠(0,0)} (cτ+d)^{-k}.