_fmpz_mat_reconstruct_matwise
Synopsis
#include <flint/fmpz_mat.h>int _fmpz_mat_reconstruct_matwise(fmpz_mat_t Z, fmpz_t den, const fmpz_mat_t x, const fmpz_t m, const fmpz_t N, const fmpz_t D, const fmpz_t den_init)sourceTries to reconstruct a matrix congruent to modulo , with entries of bounded by in absolute value and a common denominator at most that is a multiple of den_init. Each entry is first tried with the denominator found so far, and otherwise rationally reconstructed with numerator bound and denominator bound , the new factor being multiplied into den and the earlier entries. Returns 1 on success and 0 if an entry could not be reconstructed. The result is unique when .
Cite this page
The FLINT team, “_fmpz_mat_reconstruct_matwise (fmpz_mat.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_mat/_fmpz_mat_reconstruct_matwise.html (generated 2026-11-02).
@misc{flint-doc-fmpz-mat-fmpz-mat-reconstruct-matwise,
author = {{The FLINT team}},
title = {{\_fmpz\_mat\_reconstruct\_matwise (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_reconstruct_matwise.html},
note = {Generated 2026-11-02}
}