FLINT3.7.0-dev

Less, LessEqual, Greater, GreaterEqual

Synopsis#include <flint/fexpr_builtin.h>
Less
LessEqual
Greater
GreaterEqual

Order relations Less(x, y) (x < y), LessEqual(x, y) (x \le y), Greater(x, y) (x > y) and GreaterEqual(x, y) (x \ge y). With more arguments they denote chains, such as Less(x, y, z) (x < y < z).

Cite this page

The FLINT team, “Less, LessEqual, Greater, GreaterEqual (fexpr_builtin.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fexpr_builtin/Less.html (generated 2026-10-20).