CharPoly(M: MAT, X: RINGELEM): RINGELEM
/**/ use R ::= QQ[x]; /**/ CharPoly(matrix([[1,2,3],[4,5,6],[7,8,9]]), x); x^3 -15*x^2 -18*x