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 bi=⌊(2n−i)α⌋b_i = \lfloor (2n - i)^\alpha \rfloor, the diagonal entry (i,i)(i, i) is random in [1,2bi−1][1, 2^{b_i - 1}], the entries below it in column ii are random in (−2bi+1,2bi−1)(-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-11-02).