FLINT3.7.0-dev

ExtendedRealNumbers, ProjectiveRealNumbers, SignExtendedComplexNumbers, ProjectiveComplexNumbers

Synopsis#include <flint/fexpr_builtin.h>
ExtendedRealNumbers
ProjectiveRealNumbers
SignExtendedComplexNumbers
ProjectiveComplexNumbers

Extended number systems: ExtendedRealNumbers (R‾\overline{\mathbb{R}}), equal to R∪{±∞}\mathbb{R} \cup \{\pm \infty\}, ProjectiveRealNumbers (R^∞\hat{\mathbb{R}}_{\infty}), equal to R∪{∞~}\mathbb{R} \cup \{\tilde \infty\}, SignExtendedComplexNumbers (C‾[eiθ]∞\overline{\mathbb{C}}_{[e^{i \theta}] \infty}), the complex numbers with all signed infinities, and ProjectiveComplexNumbers (C^∞\hat{\mathbb{C}}_{\infty}) =C∪{∞~}= \mathbb{C} \cup \{\tilde \infty\} (the Riemann sphere).

Cite this page

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