FLINT3.7.0-dev

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#

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