The following table lists all conditions such that HankelH1(nu, z) is defined in Fungrim.
|
Table data: (P,Q)
such that (P)⟹(Q)
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
HankelH1 | Hν(1)(z) | Hankel function of the first kind |
CC | C | Complex numbers |
Source code for this entry:
Entry(ID("24d383"), SymbolDefinition(HankelH1, HankelH1(nu, z), "Hankel function of the first kind"), Description("The following table lists all conditions such that", SourceForm(HankelH1(nu, z)), "is defined in Fungrim."), Table(TableRelation(Tuple(P, Q), Implies(P, Q)), TableHeadings(Description("Domain"), Description("Codomain")), List(TableSection("Numbers"), Tuple(And(Element(nu, CC), Element(z, SetMinus(CC, Set(0)))), Element(HankelH1(nu, z), CC)))))