Supremum, Infimum, Minimum, Maximum, ArgMin, ArgMax, ArgMinUnique, ArgMaxUnique
#include <flint/fexpr_builtin.h>SupremumInfimumMinimumMaximumArgMinArgMaxArgMinUniqueArgMaxUniqueExtrema over sets: Supremum(f(x), For(x, S)) (\mathop{\operatorname{sup}\,}\limits_{x \in S} f(x)), Infimum(f(x), For(x, S)) (\mathop{\operatorname{inf}\,}\limits_{x \in S} f(x)), Minimum(f(x), For(x, S)) (\mathop{\min\,}\limits_{x \in S} f(x)), Maximum(f(x), For(x, S)) (\mathop{\max\,}\limits_{x \in S} f(x)), the sets of minimizers ArgMin(f(x), For(x, S)) (\mathop{\operatorname{arg\,min}\,}\limits_{x \in S} f(x)) and maximizers ArgMax, and the unique minimizer or maximizer ArgMinUnique, ArgMaxUnique.
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-10-20).
@misc{flint-doc-fexpr-builtin-Supremum,
author = {{The FLINT team}},
title = {{Supremum, Infimum, Minimum, Maximum, ArgMin, ArgMax, ArgMinUnique, ArgMaxUnique (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/Supremum.html},
note = {Generated 2026-10-20}
}