factor PolynomialDiscriminant[x^3+x^2-2x-1,x]