Fungrim home page

Fungrim entry: f53771

Symbol: ModularLambda λ ⁣(τ)\lambda\!\left(\tau\right) Modular lambda function
The modular lambda function λ ⁣(τ)\lambda\!\left(\tau\right) is a function of one variable τ\tau in the upper half-plane.
Domain Codomain
τH\tau \in \mathbb{H} λ ⁣(τ)C\lambda\!\left(\tau\right) \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\!\left(\tau\right) 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-09-15 14:14:26.267625 UTC