FLINT3.7.0-dev

_nmod_poly_reduce_matrix_mod_poly

Synopsis#include <flint/nmod_poly.h>
void _nmod_poly_reduce_matrix_mod_poly(nmod_mat_t A, const nmod_mat_t B, const nmod_poly_t f)source

Initialises AA as an m×nm \times n matrix, n=deg⁡fn = \deg f, m=⌊n⌋+1m = \lfloor \sqrt n \rfloor + 1, and sets row 0 to 1 and row ii to row ii of BB reduced modulo ff for 1≤i<m1 \le i < m. AA must not be initialised before the call; BB needs at least mm rows and at least deg⁡f+1\deg f + 1 columns.

Cite this page

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