This operator is equivalent to ComplexLimit except that whereas ComplexLimit in general is undefined when a
is a pole (because the direction of the resulting infinity depends on the direction of approach), MeromorphicLimit is taken to give UnsignedInfinity ( ∞~
) when a
is a pole.
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
MeromorphicLimit | limz→af(z) | Limiting value, allowing poles |
ComplexLimit | limz→af(z) | Limiting value, complex variable |
UnsignedInfinity | ∞~ | Unsigned infinity |
Source code for this entry:
Entry(ID("2be0b5"), SymbolDefinition(MeromorphicLimit, MeromorphicLimit(f(z), For(z, a)), "Limiting value, allowing poles"), Description("This operator is equivalent to", SourceForm(ComplexLimit), "except that whereas", SourceForm(ComplexLimit), "in general is undefined when", a, "is a pole (because the direction of the resulting infinity depends on the direction of approach),", SourceForm(MeromorphicLimit), "is taken to give", SourceForm(UnsignedInfinity), "(", UnsignedInfinity, ")", "when", a, "is a pole."))