IntegersGreaterEqual, IntegersLessEqual, Range
Synopsis
#include <flint/fexpr_builtin.h>IntegersGreaterEqualIntegersLessEqualRangeInteger ranges: IntegersGreaterEqual(x) (\mathbb{Z}_{\ge x}) and IntegersLessEqual(x) (\mathbb{Z}_{\le x}) for an extended real number x, and Range(a, b) (\{a, a + 1, \ldots, b\}), the integers from a to b (empty if a > b).
Cite this page
The FLINT team, “IntegersGreaterEqual, IntegersLessEqual, Range (fexpr_builtin.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fexpr_builtin/IntegersGreaterEqual.html (generated 2026-10-20).
@misc{flint-doc-fexpr-builtin-IntegersGreaterEqual,
author = {{The FLINT team}},
title = {{IntegersGreaterEqual, IntegersLessEqual, Range (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/IntegersGreaterEqual.html},
note = {Generated 2026-10-20}
}