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 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. X may be A but not B.

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-10-20).