Overview
Types and mathematical domains
FLINT often offers several types for the same mathematical object: four representations of \mathbb{Z}/n\mathbb{Z}, three of finite fields, and ball, floating-point and exact representations of real numbers, besides the generic rings of gr. The sections below compare the types by domain and explain how to compute with rigorous ball arithmetic. The naming and calling conventions common to all types are in Types, naming and aliasing, and the ways in which one algorithm serves many types in Generic programming.
In this section#
User guideChoosing typesHow to choose among FLINT's types for integers, residues, finite fields, polynomials, matrices, p-adic and algebraic numbers, real and complex numbers and power series, with their limits, their performance and the generic alternative.User guideBall arithmeticRigorous real and complex arithmetic with balls: the inclusion principle, printing, overestimation, predicates, precision and accuracy, the guess-and-verify strategy, and the conventions specific to the ball types.
Cite this page
The FLINT team, “Types and mathematical domains,” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/guide/types/index.html (generated 2026-10-20).
@misc{flint-doc-guide-types-index,
author = {{The FLINT team}},
title = {{Types and mathematical domains}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/guide/types/index.html},
note = {Generated 2026-10-20}
}