|
Table data: (P,Q)
such that (P)⟹(Q)
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
WeierstrassZeta | ζ(z,τ) | Weierstrass zeta function |
CC | C | Complex numbers |
Lattice | Λ(a,b) | Complex lattice with periods a, b |
HH | H | Upper complex half-plane |
UnsignedInfinity | ∞~ | Unsigned infinity |
Source code for this entry:
Entry(ID("69be32"), SymbolDefinition(WeierstrassZeta, WeierstrassZeta(z, tau), "Weierstrass zeta function"), Table(TableRelation(Tuple(P, Q), Implies(P, Q)), TableHeadings(Description("Domain"), Description("Codomain")), List(TableSection("Numbers"), Tuple(And(Element(z, SetMinus(CC, Lattice(1, tau))), Element(tau, HH)), Element(WeierstrassZeta(z, tau), CC)), Tuple(And(Element(z, Lattice(1, tau)), Element(tau, HH)), Element(WeierstrassZeta(z, tau), Set(UnsignedInfinity))))))