fmpz_poly_mat_solve, fmpz_poly_mat_solve_fflu
Synopsis
#include <flint/fmpz_poly_mat.h>int fmpz_poly_mat_solve(fmpz_poly_mat_t X, fmpz_poly_t den, const fmpz_poly_mat_t A, const fmpz_poly_mat_t B)sourceint fmpz_poly_mat_solve_fflu(fmpz_poly_mat_t X, fmpz_poly_t den, const fmpz_poly_mat_t A, const fmpz_poly_mat_t B)sourceFor a square A of dimension n and an n \times k matrix B, sets (X, den) with AX = \mathit{den} \cdot B and \mathit{den} = \det A, and returns 1 if A is nonsingular; returns 0 with den = 0 if A is singular. Both use fraction-free elimination (fmpz_poly_mat_solve calls fmpz_poly_mat_solve_fflu). X may be A but not B.
Cite this page
The FLINT team, “fmpz_poly_mat_solve, fmpz_poly_mat_solve_fflu (fmpz_poly_mat.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_poly_mat/fmpz_poly_mat_solve.html (generated 2026-10-20).
@misc{flint-doc-fmpz-poly-mat-fmpz-poly-mat-solve,
author = {{The FLINT team}},
title = {{fmpz\_poly\_mat\_solve, fmpz\_poly\_mat\_solve\_fflu (fmpz\_poly\_mat.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/fmpz_poly_mat/fmpz_poly_mat_solve.html},
note = {Generated 2026-10-20}
}