ComplexLimit

Input: RealLimit(f(z), For(z, a))
$$\lim_{z \to a} f(z)$$

Limiting value, complex variable. Equivalent to Limit(f(z), For(z, a), Element(z, CC)).

Input: RealLimit(f(z), For(z, a), P(z))
$$\lim_{z \to a,\,P(z)} f(z)$$

Equivalent to Limit(f(z), For(z, a), And(Element(z, CC), P(z)).

Last updated: 2020-03-06 00:22:16