ExtendedRealNumbers, ProjectiveRealNumbers, SignExtendedComplexNumbers, ProjectiveComplexNumbers
Synopsis
#include <flint/fexpr_builtin.h>ExtendedRealNumbersProjectiveRealNumbersSignExtendedComplexNumbersProjectiveComplexNumbersExtended number systems: ExtendedRealNumbers (\overline{\mathbb{R}}), equal to \mathbb{R} \cup \{\pm \infty\}, ProjectiveRealNumbers (\hat{\mathbb{R}}_{\infty}), equal to \mathbb{R} \cup \{\tilde \infty\}, SignExtendedComplexNumbers (\overline{\mathbb{C}}_{[e^{i \theta}] \infty}), the complex numbers with all signed infinities, and ProjectiveComplexNumbers (\hat{\mathbb{C}}_{\infty}) = \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-10-20).
@misc{flint-doc-fexpr-builtin-ExtendedRealNumbers,
author = {{The FLINT team}},
title = {{ExtendedRealNumbers, ProjectiveRealNumbers, SignExtendedComplexNumbers, ProjectiveComplexNumbers (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/ExtendedRealNumbers.html},
note = {Generated 2026-10-20}
}