Fungrim home page

Fungrim entry: f53771

Symbol: ModularLambda λ(τ)\lambda(\tau) Modular lambda function
The modular lambda function λ(τ)\lambda(\tau) is a function of one variable τ\tau in the upper half-plane.
Domain Codomain
τH\tau \in \mathbb{H} λ(τ)C\lambda(\tau) \in \mathbb{C}
Table data: (P,Q)\left(P, Q\right) such that (P)    (Q)\left(P\right) \implies \left(Q\right)
Fungrim symbol Notation Short description
ModularLambdaλ(τ)\lambda(\tau) Modular lambda function
HHH\mathbb{H} Upper complex half-plane
CCC\mathbb{C} Complex numbers
Source code for this entry:
    SymbolDefinition(ModularLambda, ModularLambda(tau), "Modular lambda function"),
    Description("The modular lambda function", ModularLambda(tau), "is a function of one variable", tau, "in the upper half-plane."),
    Table(TableRelation(Tuple(P, Q), Implies(P, Q)), TableHeadings(Description("Domain"), Description("Codomain")), List(Tuple(Element(tau, HH), Element(ModularLambda(tau), CC)))))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-12-30 15:00:46.909060 UTC