FLINT3.7.0-dev

fmpz_mat_randajtai

Synopsis#include <flint/fmpz_mat.h>
void fmpz_mat_randajtai(fmpz_mat_t mat, flint_rand_t state, double alpha)source

Sets the square matrix mat to a random lower triangular Ajtai matrix. With b_i = \lfloor (2n - i)^\alpha \rfloor, the diagonal entry (i, i) is random in [1, 2^{b_i - 1}], the entries below it in column i are random in (-2^{b_i} + 1, 2^{b_i} - 1), and the entries above the diagonal are zero. Throws if mat is not square.

Cite this page

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