|
Table data:
such that
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
WeierstrassSigma | Weierstrass sigma function | |
CC | Complex numbers | |
HH | Upper complex half-plane |
Source code for this entry:
Entry(ID("5f3210"), SymbolDefinition(WeierstrassSigma, WeierstrassSigma(z, tau), "Weierstrass sigma function"), Table(TableRelation(Tuple(P, Q), Implies(P, Q)), TableHeadings(Description("Domain"), Description("Codomain")), List(TableSection("Numbers"), Tuple(And(Element(z, CC), Element(tau, HH)), Element(WeierstrassSigma(z, tau), CC)))))