FLINT3.7.0-dev

Item, Length, Cardinality, Concatenation

Synopsis#include <flint/fexpr_builtin.h>
Item
Length
Cardinality
Concatenation

The element with index n of a tuple or list Item(L, n) ({L}_{n}), the length of a tuple or list Length(L) (\# L), the cardinality of a set Cardinality(S) (\# S), and the concatenation of lists Concatenation(L, M) (L \,^\frown M).

Cite this page

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