FLINT3.7.0-dev

fq_zech_mat_charpoly

Synopsis#include <flint/fq_zech_poly.h>
void fq_zech_mat_charpoly(fq_zech_poly_t p, const fq_zech_mat_t M, const fq_zech_ctx_t ctx)

Sets p to the characteristic polynomial \det(xI - M) of the square matrix M; throws FLINT_ERROR if M is not square. This is a wrapper of gr_mat_charpoly, which uses the Berkowitz algorithm for n \le 12 and Danilevsky's algorithm otherwise (for fq_zech_zech, from n = 5); see Characteristic and minimal polynomials.

Generated from the same template as fq_mat_charpoly, whose documentation has the details.

Cite this page

The FLINT team, “fq_zech_mat_charpoly (fq_zech_poly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fq_zech_poly/fq_zech_mat_charpoly.html (generated 2026-10-20).