Limit, SequenceLimit, RealLimit, LeftLimit, RightLimit, ComplexLimit, MeromorphicLimit, SequenceLimitInferior, SequenceLimitSuperior
#include <flint/fexpr_builtin.h>LimitSequenceLimitRealLimitLeftLimitRightLimitComplexLimitMeromorphicLimitSequenceLimitInferiorSequenceLimitSuperiorLimits: Limit(f(x), For(x, a)) (\lim_{x \to a} f(x)), the limit of a sequence SequenceLimit(a(n), For(n, Infinity)) (\lim_{n \to \infty} a(n)), limits through real arguments RealLimit, from the left LeftLimit(f(x), For(x, a)) (\lim_{x \to {a}^{-}} f(x)) or the right RightLimit, through complex arguments ComplexLimit, the limit in the sense of meromorphic functions MeromorphicLimit, and the limit inferior and superior of sequences SequenceLimitInferior, SequenceLimitSuperior.
The FLINT team, “Limit, SequenceLimit, RealLimit, LeftLimit, RightLimit, ComplexLimit, MeromorphicLimit, SequenceLimitInferior, SequenceLimitSuperior (fexpr_builtin.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fexpr_builtin/Limit.html (generated 2026-10-20).
@misc{flint-doc-fexpr-builtin-Limit,
author = {{The FLINT team}},
title = {{Limit, SequenceLimit, RealLimit, LeftLimit, RightLimit, ComplexLimit, MeromorphicLimit, SequenceLimitInferior, SequenceLimitSuperior (fexpr\_builtin.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/fexpr_builtin/Limit.html},
note = {Generated 2026-10-20}
}