FLINT3.7.0-dev

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)source
int 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)source

For a square AA of dimension nn and an n×kn \times k matrix BB, sets (XX, den) with AX=den⋅BAX = \mathit{den} \cdot B and den=det⁡A\mathit{den} = \det A, and returns 1 if AA is nonsingular; returns 0 with den = 0 if AA is singular. Both use fraction-free elimination (fmpz_poly_mat_solve calls fmpz_poly_mat_solve_fflu). XX may be AA but not BB.

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-11-02).