FLINT3.7.0-dev

_arb_mat_charpoly, arb_mat_charpoly

Synopsis#include <flint/arb_mat.h>
void _arb_mat_charpoly(arb_ptr poly, const arb_mat_t mat, slong prec)source
void arb_mat_charpoly(arb_poly_t poly, const arb_mat_t mat, slong prec)source

Set poly to the characteristic polynomial \det(xI - A) of the square n \times n matrix A (an exception is raised otherwise). The underscore version writes n + 1 coefficients. Wrappers of _gr_mat_charpoly_berkowitz, the division-free algorithm of Berkowitz with O(n^4) operations, which avoids divisions by balls that contain zero (Characteristic and minimal polynomials). A non-finite matrix gives indeterminate coefficients.

Cite this page

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