squarefreed

In fact, we find a factor Hp(f,[x_1,…,x_n]) of the squarefreed iterated resultant, and prove that the multivariate discriminant 𝛥(f) is a factor of Hp(f,[x_1,…,x_n]).