FLINT3.7.0-dev

Fun

Synopsis#include <flint/fexpr_builtin.h>
Fun

Fun(x, expr) is the anonymous function mapping x to expr, rendered Fun(x, Pow(x, 2)) (x \mapsto {x}^{2}); x is bound within the expression.

Cite this page

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