Hello,

I have a problem: all of a polynomial real zero-finding.

The problem is as follows:

Be a Real polynomial p (x) = (am) * x ** m + (am-1) * x ** m-1 + …. + a1 * x + a0

with m = 2 * k and real parameters (Am. .. a0)

are all zeros of p (x) all real?

i.e. the output to be rlqe (by quantifier elimination) must be true or false!

I have tried to solve with realroots and r_solve but no success.

Thank you very much.