FLINT3.7.0-dev

IntegersGreaterEqual, IntegersLessEqual, Range

Synopsis#include <flint/fexpr_builtin.h>
IntegersGreaterEqual
IntegersLessEqual
Range

Integer ranges: IntegersGreaterEqual(x) (Z≥x\mathbb{Z}_{\ge x}) and IntegersLessEqual(x) (Z≤x\mathbb{Z}_{\le x}) for an extended real number xx, and Range(a, b) ({a,a+1,…,b}\{a, a + 1, \ldots, b\}), the integers from aa to bb (empty if a>ba > 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-11-02).