fmpz_mat_solve_fflu_precomp
Synopsis
#include <flint/fmpz_mat.h>int fmpz_mat_solve_fflu_precomp(fmpz_mat_t X, const slong * perm, const fmpz_mat_t FFLU, const fmpz_mat_t B)sourceSolves AX = \mathit{den} \cdot B given the output FFLU of fmpz_mat_fflu for A, with den its denominator and perm its row permutation (which must not be NULL). Returns 1 on success. For a nonsingular A this always succeeds; for a rank-deficient A it computes the solution whose non-pivot entries are zero, if exact divisions allow it, and returns 0 if a division is inexact.
The sign of the permutation is not taken into account: if perm is odd, the result satisfies AX = -\mathit{den} \cdot B. X may be B.
Cite this page
The FLINT team, “fmpz_mat_solve_fflu_precomp (fmpz_mat.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_mat/fmpz_mat_solve_fflu_precomp.html (generated 2026-10-20).
@misc{flint-doc-fmpz-mat-fmpz-mat-solve-fflu-precomp,
author = {{The FLINT team}},
title = {{fmpz\_mat\_solve\_fflu\_precomp (fmpz\_mat.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/fmpz_mat/fmpz_mat_solve_fflu_precomp.html},
note = {Generated 2026-10-20}
}