FLINT3.7.0-dev

Supremum, Infimum, Minimum, Maximum, ArgMin, ArgMax, ArgMinUnique, ArgMaxUnique

Synopsis#include <flint/fexpr_builtin.h>
Supremum
Infimum
Minimum
Maximum
ArgMin
ArgMax
ArgMinUnique
ArgMaxUnique

Extrema over sets: Supremum(f(x), For(x, S)) (sup⁡ x∈Sf(x)\mathop{\operatorname{sup}\,}\limits_{x \in S} f(x)), Infimum(f(x), For(x, S)) (inf⁡ x∈Sf(x)\mathop{\operatorname{inf}\,}\limits_{x \in S} f(x)), Minimum(f(x), For(x, S)) (min⁡ x∈Sf(x)\mathop{\min\,}\limits_{x \in S} f(x)), Maximum(f(x), For(x, S)) (max⁡ x∈Sf(x)\mathop{\max\,}\limits_{x \in S} f(x)), the sets of minimizers ArgMin(f(x), For(x, S)) (arg min⁡ x∈Sf(x)\mathop{\operatorname{arg\,min}\,}\limits_{x \in S} f(x)) and maximizers ArgMax, and the unique minimizer or maximizer ArgMinUnique, ArgMaxUnique.

Cite this page

The FLINT team, “Supremum, Infimum, Minimum, Maximum, ArgMin, ArgMax, ArgMinUnique, ArgMaxUnique (fexpr_builtin.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fexpr_builtin/Supremum.html (generated 2026-11-02).