`fmpz_mat_CRT_ui`

Synopsis#include <flint/fmpz_mat.h>

void fmpz_mat_CRT_ui(fmpz_mat_t res, const fmpz_mat_t mat1, const fmpz_t m1, const nmod_mat_t mat2, int sign)source

Given mat1 with entries in $[0, m_1)$ (or $(-m_1/2, m_1/2]$ if sign is 1) and mat2 modulo $m_2$ coprime to $m_1$ , sets res to the matrix congruent to mat1 modulo $m_1$ and to mat2 modulo $m_2$ with entries in $[0, m_1 m_2)$ if sign is 0 and in $(-m_1 m_2/2, m_1 m_2/2]$ if sign is 1. res may be mat1. Throws if $m_1$ is not invertible modulo $m_2$ .

Guides#

Exact linear algebra over the integers

Cite this page

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

@misc{flint-doc-fmpz-mat-fmpz-mat-CRT-ui,
  author       = {{The FLINT team}},
  title        = {{fmpz\_mat\_CRT\_ui (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_CRT_ui.html},
  note         = {Generated 2026-11-02}
}

Edit this page · PDF version · Built with fdoc from 0a4634bf95