FLINT3.7.0-dev

nmod_poly_mat_solve, nmod_poly_mat_solve_fflu

Synopsis#include <flint/nmod_poly_mat.h>
int nmod_poly_mat_solve(nmod_poly_mat_t X, nmod_poly_t den, const nmod_poly_mat_t A, const nmod_poly_mat_t B)source
int nmod_poly_mat_solve_fflu(nmod_poly_mat_t X, nmod_poly_t den, const nmod_poly_mat_t A, const nmod_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. XX may be AA but not BB.

Cite this page

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