| ||||||||
Table data: (P,Q)
such that (P)⟹(Q)
Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| WeierstrassP | ℘(z,τ) | Weierstrass elliptic 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("f7a534"),
SymbolDefinition(WeierstrassP, WeierstrassP(z, tau), "Weierstrass elliptic 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(WeierstrassP(z, tau), CC)), Tuple(And(Element(z, Lattice(1, tau)), Element(tau, HH)), Element(WeierstrassP(z, tau), Set(UnsignedInfinity))))))