FLINT3.7.0-dev

RealSignedInfinities, ComplexSignedInfinities, RealInfinities, ComplexInfinities

Synopsis#include <flint/fexpr_builtin.h>
RealSignedInfinities
ComplexSignedInfinities
RealInfinities
ComplexInfinities

Sets of infinities: RealSignedInfinities ({±∞}\{\pm \infty\}), equal to {+∞,−∞}\{+\infty, -\infty\}, ComplexSignedInfinities ({[eiθ]∞}\{[e^{i \theta}] \infty\}), equal to {eiθ∞:θ∈R}\{e^{i \theta} \infty : \theta \in \mathbb{R}\}, and the same sets together with unsigned infinity, RealInfinities ({∞^,±∞}\{\hat{\infty}, \pm \infty\}) and ComplexInfinities ({∞^,[eiθ]∞}\{\hat{\infty}, [e^{i \theta}] \infty\}).

Cite this page

The FLINT team, “RealSignedInfinities, ComplexSignedInfinities, RealInfinities, ComplexInfinities (fexpr_builtin.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fexpr_builtin/RealSignedInfinities.html (generated 2026-11-02).