Bill Allombert on Thu, 07 Jun 2018 09:04:46 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: Counting real roots of integer polynomials


On Thu, Jun 07, 2018 at 08:48:45AM +0200, Dirk Laurie wrote:
> You don't need polrootsreal. A Sturm sequence is adequate. Since your
> polynomials have integer coefficients, you can do it in rational
> arithmetic if necessary.
> 
> https://en.wikipedia.org/wiki/Sturm%27s_theorem
 
and the GP function for that is polsturm.

Cheers,
Bill.