_fmpz_mat_solve_attempt_worthwhile
Synopsis
#include <flint/fmpz_mat.h>int _fmpz_mat_solve_attempt_worthwhile(const fmpz_t m, const fmpz_t snum, const fmpz_t sden, const fmpz_t Amax, const fmpz_t Bmax, slong n, slong cols, slong step_bits, double step_cost)sourceDecides from a probe result (snum/sden) whether reconstructing the full solution modulo m can succeed: either the size certificate can hold at this modulus, or an explicit verification is estimated to be cheaper than the lifting steps still needed to reach it.
Cite this page
The FLINT team, “_fmpz_mat_solve_attempt_worthwhile (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_attempt_worthwhile.html (generated 2026-10-20).
@misc{flint-doc-fmpz-mat-fmpz-mat-solve-attempt-worthwhile,
author = {{The FLINT team}},
title = {{\_fmpz\_mat\_solve\_attempt\_worthwhile (fmpz\_mat.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/fmpz_mat/_fmpz_mat_solve_attempt_worthwhile.html},
note = {Generated 2026-10-20}
}