Come faccio a calcolare il discriminante dell'equazione di terzo grado X^3 - (Y^2 + 1) per vedere che è irriducibile?
Oppure devo calcolare il discriminante dell'equazione di secondo grado in y cioè l'equazione -Y^2 + X^3 - 1 = 0 il cui discriminante è 4*(X^3 - 1). Le radici sono - sqrt(X^3 - 1) e + sqrt(X^3 - 1). Ma che me ne faccio di esse?
Non ho capito dopo che devo fare per stabilire l'irriducibilità del polinomio considerato.