FLINT3.7.0-dev

_fmpz_mat_solve_dixon

Synopsis#include <flint/fmpz_mat.h>
void _fmpz_mat_solve_dixon(fmpz_mat_t X, fmpz_t mod, const fmpz_mat_t A, const fmpz_mat_t B, const nmod_mat_t Ainv, ulong p, const fmpz_t N, const fmpz_t D)source

The lifting loop of fmpz_mat_solve_dixon, given A^{-1} \bmod p and the bounds N, D of fmpz_mat_solve_bound.

Cite this page

The FLINT team, “_fmpz_mat_solve_dixon (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_dixon.html (generated 2026-10-20).