FLINT3.7.0-dev

fmpz_mod_mat_nullspace

Synopsis#include <flint/fmpz_mod_mat.h>
slong fmpz_mod_mat_nullspace(fmpz_mod_mat_t X, const fmpz_mod_mat_t A, const fmpz_mod_ctx_t ctx)source

Computes a basis of the right nullspace {x:Ax=0}\{x : Ax = 0\} of AA and returns its dimension (the nullity) kk. The basis vectors are written to the first kk columns of XX, and all other entries of XX are set to zero. XX is not resized: it must have as many rows as AA has columns and at least kk columns (allocate it square, with the number of columns of AA, when kk is not known).

Guides#

Cite this page

The FLINT team, “fmpz_mod_mat_nullspace (fmpz_mod_mat.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_mod_mat/fmpz_mod_mat_nullspace.html (generated 2026-11-02).