The following table lists all conditions such that BesselY(nu, z) is defined in Fungrim.
|
Table data: (P,Q)
such that (P)⟹(Q)
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
BesselY | Yν(z) | Bessel function of the second kind |
RR | R | Real numbers |
OpenInterval | (a,b) | Open interval |
Infinity | ∞ | Positive infinity |
CC | C | Complex numbers |
Source code for this entry:
Entry(ID("5bb42e"), SymbolDefinition(BesselY, BesselY(nu, z), "Bessel function of the second kind"), Description("The following table lists all conditions such that", SourceForm(BesselY(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, RR), Element(z, OpenInterval(0, Infinity))), Element(BesselY(nu, z), RR)), Tuple(And(Element(nu, SetMinus(CC, Set(0))), Element(z, CC)), Element(BesselY(nu, z), CC)))))