FLINT3.7.0-dev

_fmpz_mod_poly_reduce_matrix_mod_poly

Synopsis#include <flint/fmpz_mod_poly.h>
void _fmpz_mod_poly_reduce_matrix_mod_poly(fmpz_mat_t A, const fmpz_mat_t B, const fmpz_mod_poly_t f, const fmpz_mod_ctx_t ctx)source

Initialises AA and sets its rows to the rows of BB reduced modulo ff: BB is a matrix of powers gi mod hg^i \bmod h as above and ff a divisor of hh, so that AA is the corresponding matrix modulo ff, with ⌊deg⁡f⌋+1\lfloor \sqrt{\deg f} \rfloor + 1 rows and deg⁡f\deg f columns.

Cite this page

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