Deje $M \in \mathbb{Z}_{n \times n}$ ser una matriz cuadrada con coeficientes enteros. Deje $P(x)$ ser su polinomio característico $$ P(x) = \det\left(x \cdot \mathbb{I}_{n \times n}- M\right) $$ Me gustaría calcular el discriminante de $P(x)$, y me pregunto si puede ser obtenido a partir de $M$ directamente.
La intención es determinar si $M$ tiene distintos valores propios.
Estoy buscando referencias, ideas, algoritmos. Gracias.