/**************************************************************************\
MODULE: mat_poly_ZZ
SUMMARY:
Routine for computing the characteristic polynomial of a matrix over ZZ.
\**************************************************************************/
#include <NTL/mat_ZZ.h>
#include <NTL/ZZX.h>
void CharPoly(ZZX& f, const mat_ZZ& M);
// f = characteristic polynomial of M